Sciweavers

VLDB
1991
ACM
114views Database» more  VLDB 1991»
14 years 2 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é