Please use this identifier to cite or link to this item:
Title: Integrity constraint checking in deductive databases using the Prolog not-predicate
Authors: Ling, T.-W. 
Keywords: deductive database
full integrity constraint checking
incremental integrity constraint checking
Integrity constraint
integrity constraint formula
Prolog not-predicate
Issue Date: Jun-1987
Citation: Ling, T.-W. (1987-06). Integrity constraint checking in deductive databases using the Prolog not-predicate. Data and Knowledge Engineering 2 (2) : 145-168. ScholarBank@NUS Repository.
Abstract: In a deductive (or relational) database, integrity constraints are data dependencies which database states are compelled to obey. Different ways of expressing integrity constraints were proposed in several papers, e.g. tuple calculus, closed first-order formula, clause, etc. In this paper, we propose a special form of closed first-order formula, called IC-formula, which uses the Prolog nested not-predicate to express integrity constraints. The IC-formulas are more expressive than other existing ways of expressing integrity constraints. The soundness and completeness of the method for verifying IC-formulas in a deductive database is proved. The full checking of the IC-formulas of a deductive database can be implemented easily by Prolog systems. Methods for doing incremental integrity constraint checking for the operations of inserting, deleting, and modifying a tuple in a relational or deductive database are presented. The concept of a key of a relation is also used to further simplify incremental integrity constraint checking. These incremental integrity constraint checking methods can be implemented easily by Prolog systems. © 1987.
Source Title: Data and Knowledge Engineering
ISSN: 0169023X
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

checked on Jan 26, 2020

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.