FOL Modeling of Integrity Constraints (Dependencies)

DEFINITION Integrity constraints (also known as dependencies in the relational model) are domain-specific declarations which indicate the intended meaning of the data stored in a database. They complement the description of the structure of the data (e.g. in the relational model the structure is given by listing the names of tables and the names and types of their attributes). Integrity constraints express properties that must be satisfied by all instances of a database schema that can arise in the intended application domain (e.g. “no two distinct employees may have the same ssn value”, “departments have a single manager”, etc.).

[1]  David Maier,et al.  Generalized Mutual Dependencies And The Decomposition Of Database Relations , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[2]  Mihalis Yannakakis,et al.  Algebraic dependencies , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[3]  Claude Delobel,et al.  Normalization and hierarchical dependencies in the relational data model , 1978, TODS.

[4]  Alberto O. Mendelzon,et al.  Tableau Techniques for Querying Information Sources through Global Schemas , 1999, ICDT.

[5]  Alin Deutsch,et al.  Rewriting queries using views with access patterns under integrity constraints , 2005, Theor. Comput. Sci..

[6]  David Maier,et al.  On the foundations of the universal relation model , 1984, TODS.

[7]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[8]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[9]  Egon Börger,et al.  Trends in theoretical computer science , 1988 .

[10]  Alin Deutsch,et al.  XML queries and constraints, containment and reformulation , 2005, Theor. Comput. Sci..

[11]  Paris C. Kanellakis,et al.  Elements of Relational Database Theory , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[12]  Seymour Ginsburg,et al.  Properties of functional-dependency families , 1982, JACM.

[13]  C. J. Date.  Referential Integrity , 1981, VLDB.

[14]  Catriel Beeri,et al.  The Implication Problem for Data Dependencies , 1981, ICALP.

[15]  Jean-Marie Nicolas.  First order logic formalization for functional, multivalued and mutual dependencies , 1978, SIGMOD '78.

[16]  Ronald Fagin,et al.  Multivalued dependencies and a new normal form for relational databases , 1977, TODS.

[17]  Kamran Parsaye-Ghomi,et al.  Inferences involving embedded multivalued dependencies and transitive dependencies , 1980, SIGMOD '80.

[18]  Yehoshua Sagiv,et al.  Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies , 1982, JACM.

[19]  E. F. Codd,et al.  Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.

[20]  Ronald Fagin,et al.  The theory of data dependencies - a survey , 1984 .

[21]  Moshe Y. Vardi.  On decomposition of relational databases , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[22]  Carlo Zaniolo,et al.  Analysis and design of relational schemata for database systems. , 1976 .

[23]  Ronald Fagin,et al.  Horn clauses and database dependencies , 1982, JACM.