A technique for translating states between database schemata

Consider two database schemata modeling the same reality. Given a state of the first schema, we can ask what information it provides about the state of the second schema. It turns out that this information can be represented by a table similar to a tableau of Aho, Sagiv and Ullman. We show a simple method to construct this table, by using results developed for tables of this type in the context of representing incomplete information in relational databases. We also consider a closely related notion of equivalence of database schemata, briefly sketching a method to test two schemata for equivalence.

[1]  Tomasz Imielinski,et al.  A systematic approach to relational database theory , 1982, SIGMOD '82.

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

[3]  J. D. Uiiman,et al.  Principles of Database Systems , 2004, PODS 2004.

[4]  Philip A. Bernstein,et al.  Synthesizing third normal form relations from functional dependencies , 1976, TODS.

[5]  Catriel Beeri,et al.  Equivalence of relational database schemes , 1979, SIAM J. Comput..

[6]  Alfred V. Aho,et al.  The theory of joins in relational data bases , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[7]  Tomasz Imielinski,et al.  On Representing Incomplete Information in a Relational Data Base , 1981, VLDB.

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

[9]  Jorma Rissanen,et al.  Theory of Relations for Databases - A Tutorial Survey , 1978, MFCS.

[10]  Alfred V. Aho,et al.  Equivalences Among Relational Expressions , 1979, SIAM J. Comput..

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

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

[13]  Catriel Beeri,et al.  Equivalence of Relational Database Schemes , 1981, SIAM J. Comput..

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

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

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