Skip to main content

Equivalence of Keyed Relational Schemas by Conjunctive Queries

The concept of two schemas being equivalent is fundamental to database design, schema integration, and data model translation. An important notion of schema equivalence, query equivalence, was introduced by Atzeni et al., and used to evaluate the correctness of schema transformations. The logically equivalent notion of calculous equivalence, as well as three progressively more general notions of schema equivalence were introduced in 1984 by Hull, who showed that two schemas with no dependencies are equivalent (under all four notions of equivalence) if and only if they are identical (up to renaming and re-ordering of attributes and relations). Hull also conjectured that the same result holds for schemas with primary keys. In this work, we resolve the conjecture in the affirmative for the case of query equivalence based on mappings using conjunctive relational queries with equality selections.

Citation
Joseph Albert, Yannis Ioannidis, Raghu Ramakrishnan, "Equivalence of Keyed Relational Schemas by Conjunctive Queries ", J. Comput. Syst. Sci. 58(3), June 1999: 512-534 (Expanded version of the PODS'97 paper; invited as one of the ten best papers of the conference.), 1999
TAGS
Access
Unknown
Published at
J. Comput. Syst. Sci. 58(3), June 1999: 512-534. Expanded version of the PODS'97 paper; invited as one of the ten best papers of the conference.
Related research area
No related research area
Related Organizations
No related organizations