Schema Transformations as an Aid in View Integration

Two important problems in view integration are identifying and merging semantically equivalent but structurally different modelling constructs. One way to address this problem is to standardize the schemas to be integrated by applying a number of schema transformations to them. We formalize the notion of schema transformation in the context of a logic based modelling approach. We then introduce several transformations and show how they can be used in the view integration process.

[1]  Ronald Fagin,et al.  Normal forms and relational database operators , 1979, SIGMOD '79.

[2]  Isamu Kobayashi,et al.  Losslessness and semantic correctness of database schema transformation: another look of schema equivalence , 1986, Inf. Syst..

[3]  Joachim Biskup,et al.  A formal view integration method , 1986, SIGMOD '86.

[4]  Amihai Motro,et al.  Superviews: Virtual Integration of Multiple Databases , 1987, IEEE Transactions on Software Engineering.

[5]  Wolfgang Effelsberg,et al.  Attribute equivalence in global schema design for heterogeneous distributed databases , 1984, Inf. Syst..

[6]  Paul Johannesson A Logic Based Approach to Schema Integration , 1991, ER.

[7]  Peter P. Chen The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[8]  Terry A. Halpin A Fact-Oriented Approach to Schema Transformation , 1991, MFDBS.

[9]  Catriel Beeri,et al.  Formal Models for Object Oriented Databases , 1989, DOOD.

[10]  Ramez Elmasri,et al.  The Category Concept: An Extension to the Entity-Relationship Model , 1985, Data Knowl. Eng..

[11]  James A. Larson,et al.  A Theory of Attribute Equivalence in Databases with Application to Schema Integration , 1989, IEEE Trans. Software Eng..

[12]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[13]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[14]  Richard Hull Relative Information Capacity of Simple Relational Database Schemata , 1986, SIAM J. Comput..