Database Integrity Constraints
Monitoring dynamic integrity constraints based on temporal logic - all 3 versions »
UW Lipeck, G Saake - Information Systems, 1987 - portal.acm.org
… A. Prasad Sistla , Ouri Wolfson, Temporal conditions and integrity constraints in
active database systems, ACM SIGMOD Record, v.24 n.2, p.269-280, May 1995. …
Cited by 95 - Related Articles - Web Search
Integrity constraint checking in stratified databases
JW Lloyd, EA Sonenberg, RW Topor - Journal of Logic Programming, 1987 - portal.acm.org
… Gupta , Jennifer Widom, Local verification of global integrity constraints in
distributed … SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p …
Cited by 95 - Related Articles - Web Search
[BOOK] Active Database Systems: Triggers and Rules for Advanced Database Processing
J Widom, S Ceri - 1996 - books.google.com
… with pow- erful rule processing (or” trigger”) capabilities, providing a uniform
and effi- cient mechanism for database integrity constraints, views and …
Cited by 733 - Related Articles - Web Search
Materialized view maintenance and integrity constraint checking: trading space for time - all 9 versions »
KA Ross, D Srivastava, S Sudarshan - ACM SIGMOD Record, 1996 - portal.acm.org
… complex integrity constraints (called assertions) [16]. These integrity constraints
have to be checked on updates to the underlying database relations; hence …
Cited by 163 - Related Articles - Web Search
Temporal conditions and integrity constraints in active database systems - all 6 versions »
AP Sistla, O Wolfson - Proceedings of the 1995 ACM SIGMOD international conference …, 1995 - portal.acm.org
Page 1. Temporal Conditions and Integrity Constraints in Active Database Systems *
A. Prasad Sistla, Ouri Wolfson Electrical Engineering …
Cited by 64 - Related Articles - Web Search
Efficient checking of temporal integrity constraints using bounded history encoding - all 8 versions »
J Chomicki - ACM Transactions on Database Systems (TODS), 1995 - portal.acm.org
… Mathematical Logic; H.2.3 [Database Management]. Languages Additional Key Words
and Phrases: Active databases, database integrity, integrity constraints, …
Cited by 99 - Related Articles - Web Search
A theorem-proving approach to database integrity
F Sadri, R Kowalski - Foundations of deductive databases and logic programming …, 1988 - portal.acm.org
… Raymond Reiter, On integrity constraints, Proceedings of the 2nd conference on … Design
of LDV: A Multilevel Secure Relational Database Management, IEEE …
Cited by 88 - Related Articles - Web Search
Thémis: A database programming language handling integrity constraints - all 5 versions »
V Benzaken, A Doucet - The VLDB Journal The International Journal on Very Large …, 1995 - Springer
… The work described by Sheard and Stemple (1989) consists of proving at compile time
that database transactions respect integrity constraints, to reduce the …
Cited by 43 - Related Articles - Web Search
[PDF] Integrity constraints checking in deductive databases - all 3 versions »
A Olive - Proc. VLDB, 1991 - acm.org
… They assume that the database (including integrity constraints) before and after
any updates is range-restricted.Updatesconsideredareinsertionsand deletions …
Cited by 78 - Related Articles - View as HTML - Web Search
Data integration under integrity constraints - all 6 versions »
A Calì, D Calvanese, G De Giacomo, M Lenzerini - Information Systems, 2004 - portal.acm.org
… ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.58 … Daniela
Florescu , Alon Y. Levy , Dan Suciu, Verifying Integrity Constraints on Web …
Cited by 78 - Related Articles - Web Search
Local verification of global integrity constraints in distributed databases - all 6 versions »
A Gupta, J Widom - ACM SIGMOD Record, 1993 - portal.acm.org
… of the original database in order to check integrity constraints; namely the
data that is local to the site where the modification is made. …
Cited by 74 - Related Articles - Web Search
Revision programming, database updates and integrity constraints - all 2 versions »
W Marek, M Truszczynski - International Conference on Data Base theory, ICDT. LNCS, 1995 - Springer
Page 1. Revision programming, database updates and integrity constraints
V. Wiktor Marek and Mirostaw Truszczyfiski Department of …
Cited by 48 - Related Articles - Web Search
[PDF] Ode as an Active Database: Constraints and Triggers - all 6 versions »
NH Gehani, HV Jagadish - Proceedings of the 17th International Conference on Very …, 1991 - csse.monash.edu.au
… Triggers, like integrity constraints, monitor the database for some conditions,
except that these conditions do not represent consistency violations [20]. …
Cited by 263 - Related Articles - View as HTML - Web Search
[BOOK] A first course in database systems - all 2 versions »
JD Ullman, J Widom - 1997 - Prentice-Hall, Inc. Upper Saddle River, NJ, USA
… Paloma Martínez , Elena Castro , Manuel Velasco, Preserving relationship cardinality
constraints in relational schemata, Database integrity: challenges and …
Cited by 342 - Related Articles - Web Search
Integrity checking for multiple updates
A Hsu, T Imielinski - Proceedings of the 1985 ACM SIGMOD international conference …, 1985 - portal.acm.org
… Stefan Böttcher, Concurrent checking of global cross-database integrity constraints,
Integrity and internal control in information systems V, Kluwer Academic …
Cited by 63 - Related Articles - Web Search
[PDF] The Role of Integrity Constraints in Database Interoperation - all 9 versions »
MWW Vermeer, PMG Apers - Proc. 22nd Int. Conf. on Very Large Data Bases (VLDB’96) - acm.org
… has been an important research subject for the last few years, so far little attention
has been paid to the role of database integrity constraints in this …
Cited by 38 - Related Articles - View as HTML - Web Search
Consistency checking in complex object database schemata with integrity constraints - all 20 versions »
D Beneventano, S Bergamaschi, S Lodi, C Sartori - IEEE Transactions on Knowledge and Data Engineering, 1998 - doi.ieeecomputersociety.org
… The first formalism,. … 10, No. 4; JULY/AUGUST 1998, pp. 576-598. Consistency Checking
in Complex Object Database Schemata with Integrity Constraints * …
Cited by 47 - Related Articles - Web Search
[PDF] Database Processing - all 6 versions »
DM Kroenke’s - myweb.msoe.edu
… referential integrity constraints • Normalization works through classes of relations
called normal forms Page 7. 7 DAVID M. KROENKE’S DATABASE PROCESSING …
Cited by 104 - Related Articles - View as HTML - Web Search
[BOOK] Principles of database and knowledge-base systems, Vol. I
JD Ullman - 1988 - Computer Science Press, Inc. New York, NY, USA
Cited by 1076 - Related Articles - Web Search
On the feasibility of checking temporal integrity constraints - all 5 versions »
J Chomicki, D Niwiński - … ACM SIGACT-SIGMOD-SIGART symposium on Principles of database …, 1993 - portal.acm.org
… integrity (involving single database states) to temporal integrity (involving … the
computational feasibility of check- ing temporal integrity constraints. …
Cited by 47 - Related Articles - Web Search