8 search results - page 2 / 2 » Deleting Redundancy in Proof Reconstruction |
DBPL
1995
Springer
13 years 8 months ago
1995
Springer
We study the problem of maintaining recursively-de ned views, such as the transitive closure of a relation, in traditional relational languages that do not have recursion mechanis...
SIGMOD
2005
ACM
14 years 4 months ago
2005
ACM
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
ACNS
2008
Springer
13 years 11 months ago
2008
Springer
Compliance storage is an increasingly important area for businesses faced with a myriad of new document retention regulations. Today, businesses have turned to Write-One Read Many ...