Update Semantics for Incomplete Databases

A database containing some incomplete information is viewed as a set of possible states of the real world. The semantics of updates is given based on simple set operations on the set of states. Some basic results concerning the capabilities of known models of incomplete databases to handle updates are exhibited.

[1]  Serge Abiteboul,et al.  Update Propagation in the IFO Database Model , 1985, FODO.

[2]  Gabriel M. Kuper,et al.  On the equivalence of logical databases , 1984, PODS '84.

[3]  Nicolas Spyratos,et al.  Update semantics of relational views , 1981, TODS.

[4]  Raymond Reiter,et al.  A sound and sometimes complete query evaluation algorithm for relational databases with null values , 1986, JACM.

[5]  Tomasz Imielinski.  On Algebraic Query Processing in Logical Databases , 1982, Advances in Data Base Theory.

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

[7]  Gösta Grahne,et al.  Dependency Satisfaction in Databases with Incomplete Information , 1984, VLDB.

[8]  Moshe Y. Vardi.  Querying logical databases , 1985, J. Comput. Syst. Sci..

[9]  Tomasz Imielinski,et al.  Incomplete Information in Relational Databases , 1984, JACM.

[10]  Serge Abiteboul,et al.  Transactions in Relational Databases (Preliminary Report) , 1984, VLDB.

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

[12]  Joachim Biskup,et al.  A foundation of CODD's relational maybe-operations , 1983, TODS.

[13]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

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

[15]  Tomasz Imielinski,et al.  Incomplete information and dependencies in relational databases , 1983, SIGMOD '83.

[16]  Serge Abiteboul,et al.  Transactions and integrity constraints , 1985, PODS '85.

[17]  Yannis Vassiliou,et al.  Null values in data base management a denotational semantics approach , 1979, SIGMOD '79.