Inclusion dependencies and the universal instance

The power of the relational model with inclusion dependencies is compared with that of the universal instance model. A characterization of allowable sets of inclusion dependencies is made, the relational and universal instance models are proved equivalent given this restriction.

[1]  Douglas Stott Parker,et al.  Reflections on Boyce-Codd Normal Form , 1982, VLDB.

[2]  Y. Edmund Lien,et al.  On the Equivalence of Database Models , 1982, JACM.

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

[4]  Ronald Fagin,et al.  Inclusion dependencies and their interaction with functional dependencies , 1982, PODS.

[5]  Ramez Elmasri,et al.  The Structural Model for Database Design , 1979, ER.

[6]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[7]  David S. Johnson,et al.  Testing containment of conjunctive queries under functional and inclusion dependencies , 1982, J. Comput. Syst. Sci..

[8]  Paolo Atzeni,et al.  Assumptions in relational database theory , 1982, PODS '82.

[9]  Edward Seroret.  Inclusion dependencies and the universal instance , 1983, PODS 1983.

[10]  Ronald Fagin,et al.  A simplied universal relation assumption and its properties , 1982, TODS.

[11]  Peter Honeyman,et al.  A new characterization of independence , 1983, SIGMOD '83.

[12]  Catriel Beeri,et al.  Compatible attributes in a universal relation , 1982, PODS '82.

[13]  Yehoshua Sagiv,et al.  Can we use the universal instance assumption without using nulls? , 1981, SIGMOD '81.

[14]  Edward Sciore.  Improving database schemes by adding attributes , 1983, PODS '83.

[15]  David Maier,et al.  Specifying connections for a universal relation scheme database , 1982, SIGMOD '82.

[16]  David Maier,et al.  Toward logical data independence: a relational query language without relations , 1982, SIGMOD '82.