A new basis for the weak instance model

A new definition of the weak instance model is presented, which does not consider the missing values as existent though unknown, but just assumes that no information is available about them. It is possible to associate with the new definition logical theories that do not contain universally quantified variables. The new model enjoys various desirable properties of the old weak instance model, with respect to dependency satisfaction, query answering, and associated logical theories.

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

[2]  Paolo Atzeni,et al.  Efficient query answering in the representative instance approach , 1985, PODS '85.

[3]  Yehoshua Sagiv.  On computing restricted projections of representative instances , 1985, PODS '85.

[4]  Alberto O. Mendelzon,et al.  Database states and their tableaux , 1984, TODS.

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

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

[7]  Yehoshua Sagiv,et al.  A characterization of globally consistent databases and their correct access paths , 1983, TODS.

[8]  David Maier,et al.  Testing implications of data dependencies , 1979, SIGMOD '79.

[9]  Edward Ping Fung Chan.  Query answering and schema analysis under the weak instance model , 1984 .

[10]  Edward P. F. Chan.  Optimal computation of total projections with unions of simple chase join expressions , 1984, SIGMOD '84.

[11]  Peter Honeyman.  Extension Joins , 1980, VLDB.

[12]  Jeffrey D. Ullman,et al.  Universal Relation Interfaces for Database Systems , 1983, IFIP Congress.

[13]  Tadao Kasami,et al.  Some Results on the Representative Instance in Relational Databases , 1985, SIAM J. Comput..

[14]  Paolo Atzeni,et al.  Functional Dependencies and Constraints on Null Values in Database Relations , 1986, Inf. Control..

[15]  Mihalis Yannakakis,et al.  Independent Database Schemas , 1984, J. Comput. Syst. Sci..

[16]  Peter Honeyman,et al.  Testing satisfaction of functional dependencies , 1982, JACM.

[17]  Ronald Fagin,et al.  Horn clauses and database dependencies (Extended Abstract) , 1980, STOC '80.

[18]  Alberto O. Mendelzon,et al.  Notions of dependency satisfaction , 1982, JACM.

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