5482 search results - page 75 / 1097 » Logic Programming and Databases |
SIGMOD
2000
ACM
15 years 2 months ago
2000
ACM
Media recovery protects a database from failures of the stable medium by maintaining an extra copy of the database, called the backup, and a media recovery log. When a failure occ...
PODS
1993
ACM
15 years 1 months ago
1993
ACM
DBPL
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
ICLP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...