Copyright © 1995 Published by Elsevier Science B.V.
Paper
A new method for integrity constraint checking in deductive databases
Received 28 June 1994;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
An update of a consistent database can influence the integrity of the database. The available integrity checking methods in deductive databases are often criticized for their lack of efficiency. The main goal of this paper is to present a new integrity checking method which does not have some of the disadvantages of existing methods. The main advantage of the proposed method is that the integrity check is performed primarily at compile time. In order to demonstrate the improvement in efficiency of the proposed method it was compared both fundamentally and experimentally with existing methods.
Author Keywords: Datalog; Deductive database; Inconsistency indicator; Inconsistency rule; Induced update; Integrity constraint;
; Potential update; Prolog






E-mail Article
Add to my Quick Links

Cited By in Scopus (7)





