Database theory and cylindric lattices

The relational model for databases [Co I, Co2] provides a valuable formal foundation for understanding the issues of database design. A relational database consists of a set of tables (relations), where each table contains a set of records (tuples). For example, we might have a database with two relations Rand S, where R has two columns labeled EMP (employee) and SAL (salary), and S has two columns labeled PRJ (project) and MGR (manager).

[1]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[2]  Jeffrey D. Ullman,et al.  Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization , 1982, JACM.

[3]  Catriel Beeri,et al.  Formal Systems for Tuple and Equality Generating Dependencies , 1984, SIAM J. Comput..

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

[5]  John C. Mitchell.  The Implication Problem for Functional and Inclusion Dependencies , 1984, Inf. Control..

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

[7]  Catriel Beeri,et al.  A complete axiomatization for functional and multivalued dependencies in database relations , 1977, SIGMOD '77.

[8]  G. Birkhoff,et al.  On the Structure of Abstract Algebras , 1935 .

[9]  G. Huet,et al.  Equations and rewrite rules: a survey , 1980 .

[10]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[11]  Setsuo Ohsuga,et al.  INTERNATIONAL CONFERENCE ON VERY LARGE DATA BASES , 1977 .

[12]  A. Tarski.  Contributions to the theory of models. III , 1954 .

[13]  E. F. Codd,et al.  Further Normalization of the Data Base Relational Model , 1971, Research Report / RJ / IBM / San Jose, California.

[14]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[15]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[16]  Stavros S. Cosmadakis,et al.  Equational theories and database constraints , 1985, STOC '85.

[17]  Catriel Beeri,et al.  A Proof Procedure for Data Dependencies , 1984, JACM.

[18]  Ronald Fagin,et al.  Inclusion Dependencies and Their Interaction with Functional Dependencies , 1984, J. Comput. Syst. Sci..

[19]  Nicolas Spyratos,et al.  Partition semantics for relations , 1985, PODS '85.

[20]  Tomasz Imielinski,et al.  The Relational Model of Data and Cylindric Algebras , 1984, J. Comput. Syst. Sci..

[21]  A. Tarski,et al.  Cylindric Set Algebras , 1981 .

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

[23]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

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

[25]  Catriel Beeri,et al.  A Sophisticate's Introduction to Database Normalization Theory , 1978, VLDB.

[26]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[27]  W. W. Armstrong,et al.  Dependency Structures of Data Base Relationships , 1974, IFIP Congress.

[28]  George Gratzer,et al.  Universal Algebra , 1979 .

[29]  Ashok K. Chandra,et al.  Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.