Composing Schema Mappings: Second-Order Dependencies to the Rescue

@inproceedings{Fagin2004ComposingSM,
  title={Composing Schema Mappings: Second-Order Dependencies to the Rescue},
  author={Ronald Fagin and Phokion G. Kolaitis and L. Popa and W. Tan},
  booktitle={PODS},
  year={2004}
}
  • Ronald Fagin, Phokion G. Kolaitis, +1 author W. Tan
  • Published in PODS 2004
  • Computer Science
  • A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the target schema). A fundamental problem is composing schema mappings: given two successive schema mappings, derive a schema mapping between the source schema of the first and the target schema of the second that has the same effect as applying successively the two schema mappings.In this article, we give a rigorous… CONTINUE READING
    255 Citations
    Inverting schema mappings
    • 74
    • PDF
    The structure of inverses in schema mappings
    • 21
    • PDF
    Structural characterizations of schema-mapping languages
    • 73
    • PDF
    Composition and inversion of schema mappings
    • 39
    • Highly Influenced
    • PDF
    Tabular Representation of Schema Mappings: Semantics and Algorithms
    • 1
    • PDF
    Towards a theory of schema-mapping optimization
    • 86
    • PDF
    Nested mappings: schema mapping reloaded
    • 146
    • PDF
    Composition with target constraints
    • 34
    • PDF
    Propagating Dependencies under Schema Mappings: A Graph-based Approach
    • PDF

    References

    SHOWING 1-7 OF 7 REFERENCES
    Composing Mappings Among Data Sources
    • 302
    • Highly Influential
    • PDF
    Complexity of answering queries using materialized views
    • 563
    • Highly Influential
    • PDF
    Formal Systems for Tuple and Equality Generating Dependencies
    • 113
    • Highly Influential
    The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
    • 1,006
    • Highly Influential
    • PDF
    Data integration: a theoretical perspective
    • 2,710
    • Highly Influential
    • PDF
    A Proof Procedure for Data Dependencies
    • 399
    • Highly Influential
    Applying Model Management to Classical Meta Data Problems
    • 592
    • Highly Influential
    • PDF