127 search results - page 1 / 26 » Integrity Checking in Deductive Databases |
VLDB
1991
ACM
13 years 8 months ago
1991
ACM
We propose a new method for integrity checking in deductive databases.The methodaugmentsadatabasewith asetof transition and internal eventsrules,which explicitly definetheinsertio...
VLDB
1987
ACM
13 years 8 months ago
1987
ACM
PEPM
1995
ACM
13 years 8 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
DEXAW
2006
IEEE
13 years 10 months ago
2006
IEEE
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
FQAS
2004
Springer
13 years 8 months ago
2004
Springer
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...