By Topic

An integrity constraint checking method for temporal deductive databases

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Martin, C. ; Dept. de Llenguatges i Sistemes Inf., Univ. Politecnica de Catalunya, Barcelona, Spain ; Sistac, J.

The authors propose a method for integrity checking in the context of temporal deductive databases. A temporal deductive database is a deductive database that supports some aspect of time, in our case valid time, in which valid time is the time when the fact is true in the modelled reality. Their method augments a database with a set of transition and event rules, which explicitly define the insertions and deletions by database update. Standard SLDNF resolution can then be used to check satisfaction of integrity constraints. A temporal deductive database has to be consistent, that is, after performing an update the database must satisfy its set of integrity constraints. Using their method the temporal deductive database is always consistent because if a retroactive or proactive update violated some integrity constraint the update would be rejected

Published in:

Temporal Representation and Reasoning, 1996. (TIME '96), Proceedings., Third International Workshop on

Date of Conference:

19-20 May 1996