The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March/April (1998 vol.10)
pp: 328-341
ABSTRACT
<p><b>Abstract</b>—A differential calculus for first-order logic is developed to enforce database integrity. Formal differentiation of first-order sentences is useful in maintaining database integrity, since once a database constraint is expressed as a first-order sentence, its derivative with respect to a transaction provides the necessary and sufficient condition for maintaining integrity. The derivative is often much simpler to test than the original constraint since it maintains integrity differentially by assuming integrity before the transaction, and testing only for new violations. The formal differentiation requires no resolution search, but only substitution. It is more efficient than resolution-based approaches; and it provides a considerably more general solution than previous substitution-based methods since it is valid for all first-order sentences and with all transactions involving arbitrary collections of atomic changes to the database. It also produces a large number of sufficient conditions that are often less strict than those of the previous approaches; and it can be extended to accommodate many dynamic constraints.</p>
INDEX TERMS
Database integrity, integrity maintenance, relational database, first-order logic, formal differentiation.
CITATION
Levent V. Orman, "Differential Relational Calculus for Integrity Maintenance", IEEE Transactions on Knowledge & Data Engineering, vol.10, no. 2, pp. 328-341, March/April 1998, doi:10.1109/69.683760
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool