Sciweavers

VLDB
1991
ACM

Integrity Constraints Checking In Deductive Databases

13 years 7 months ago
Integrity Constraints Checking In Deductive Databases
We propose a new method for integrity checking in deductive databases.The methodaugmentsadatabasewith asetof transition and internal eventsrules,which explicitly definetheinsertionsanddeletions induced by a databaseupdate. Standard SLDNF resolution can then be used to checksatisfactionof integrity constraints. The method has the full power of the methods developed so far, and its implementation in Prologdoesnot require any meta-interpreter. A second main advantageis that it deals with both static anddynamicintegrityconstraints,providing a simple and uniform approachin which bothclassesof integrity constraintscanbe definedandefficiently enforced.
Antoni Olivé
Added 27 Aug 2010
Updated 27 Aug 2010
Type Conference
Year 1991
Where VLDB
Authors Antoni Olivé
Comments (0)