Sciweavers

VLDB
1991
ACM
114views Database» more  VLDB 1991»
13 years 8 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 definetheinsertio...
Antoni Olivé