Implementing Temporal Integrity Constraints Using an Active DBMS

Implementing Temporal Integrity Constraints Using an Active DBMS (1994)

Cached

Download Links

[www.cs.toronto.edu]
[129.130.10.93]
[solo.uwaterloo.ca]

Other Repositories/Bibliography

DBLP

by David Toman , Jan Chomicki

Venue:	IEEE Transactions on Knowledge and Data Engineering
Citations:	39 - 12 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Implementing Temporal Integrity Constraints Using an Active DBMS	user correction - Legacy Corrections
AUTHOR NAME	David Toman	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computing and Information Science; Kansas State University, Manhattan	SVM HeaderParse 0.2
AUTHOR ADDR	KS 66506	SVM HeaderParse 0.1
AUTHOR NAME	Jan Chomicki	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computing and Information Science; Kansas State University, Manhattan	SVM HeaderParse 0.2
AUTHOR ADDR	KS 66506	SVM HeaderParse 0.1
ABSTRACT	The system presented in this paper allows automatic and efficient translation of integrity constraints formulated in past temporal logic into rules of the Starburst DBMS. During the compilation the set of constraints is checked for the safe evaluation property. The result of the compilation is a set of Starburst SQL statements that define all the necessary rules needed for enforcing the given constraints. There is no need for an additional runtime constraint monitor. When the rules are activated, all updates to the database that violate any of the constraints are automatically rejected (i.e., the corresponding transaction is aborted). In addition to efficient implementation, this approach offers a clean separation of application programs and the integrity checking code. 1 Introduction Since the introduction of databases, the notions of data consistency and integrity constraints have been an playing important role in the database application design process. The constraints can usuall...	user correction - Legacy Corrections
YEAR	1994	user correction - Legacy Corrections
VENUE	IEEE Transactions on Knowledge and Data Engineering	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	566--582	INFERENCE
VOLUME	7	INFERENCE
CITATIONS	12 found	ParsCit 1.0