Constraint checking with partial information

A Gupta, Y Sagiv, JD Ullman, J Widom - Proceedings of the thirteenth …, 1994 - dl.acm.org
A Gupta, Y Sagiv, JD Ullman, J Widom
Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994dl.acm.org
Constraints are a valuable tool for managing information across multiple databases, as well
as for general purposes of assuring data integrity. However, efficient implementation of
constraint checking is difficult. In this paper we explore techniques for assuring constraint
satisfaction without performing a complete evaluation of the constraints. We consider
methods that use only constraint definitions, methods that use constraints and updates, and
methods that use constraints, updates, and “local” data.
Constraints are a valuable tool for managing information across multiple databases, as well as for general purposes of assuring data integrity. However, efficient implementation of constraint checking is difficult. In this paper we explore techniques for assuring constraint satisfaction without performing a complete evaluation of the constraints. We consider methods that use only constraint definitions, methods that use constraints and updates, and methods that use constraints, updates, and “local” data.
ACM Digital Library