research-article

Mapping polymorphism

Authors:

Mauricio A. Hernández,

Lucian PopaAuthors Info & Claims

ICDT '10: Proceedings of the 13th International Conference on Database Theory

Pages 196 - 208

https://doi.org/10.1145/1804669.1804695

Published: 23 March 2010 Publication History

Abstract

We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a type-checking algorithm such that typable mappings are necessarily satisfiable. We add type variables to the schema language and present a theory of polymorphism, including a sound and complete type inference algorithm and a semantic notion of a principal type of a mapping. Principal types, which intuitively correspond to the minimum amount of schema structure required by the mappings, have an important application for mapping reuse. Concretely, we show that mappings can be reused, with the same semantics, on any schemas as long as these schemas are expansions (i.e., subtypes) of the principal types.

References

[1]

M. Arenas, J. Pérez, and C. Riveros. The Recovery of a Schema Mapping: Bringing Exchanged Data Back. In PODS, pages 13--22, 2008.

Digital Library

[2]

P. A. Bernstein. Applying Model Management to Classical Meta Data Problems. In CIDR, pages 209--220, 2003.

[3]

P. A. Bernstein, T. J. Green, S. Melnik, and A. Nash. Implementing Mapping Composition. In VLDB, pages 55--66, 2006.

Digital Library

[4]

P. A. Bernstein and S. Melnik. Model Management 2.0: Manipulating Richer Mappings. In SIGMOD, pages 1--12, 2007.

Digital Library

[5]

P. A. Bernstein, S. Melnik, and J. E. Churchill. Incremental Schema Matching. In VLDB (demo), pages 1167--1170, 2006.

Digital Library

[6]

V. Borkar, M. Carey, D. Engovatov, D. Lychagin, T. Westmann, and W. Wong. XQSE: An XQuery Scripting Extension for the AquaLogic Data Services Platform. In ICDE, pages 1307--1316, 2008.

Digital Library

[7]

J. V. den Bussche, D. V. Gucht, and S. Vansummeren. A crash course on database queries. In PODS, pages 143--154, 2007.

Digital Library

[8]

R. Fagin. Inverting schema mappings. ACM TODS, 32(4), 2007.

Digital Library

[9]

R. Fagin, L. M. Haas, M. A. Hernández, R. J. Miller, L. Popa, and Y. Velegrakis. Clio: Schema Mapping Creation and Data Exchange. In Conceptual Modeling: Foundations and Applications, Essays in Honor of John Mylopoulos, pages 198--236. Springer, 2009.

Digital Library

[10]

R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data exchange: semantics and query answering. Theor. Comput. Sci., 336(1):89--124, 2005.

Digital Library

[11]

R. Fagin, P. G. Kolaitis, L. Popa, and W. Tan. Composing Schema Mappings: Second-Order Dependencies to the Rescue. TODS, 30(4):994--1055, 2005.

Digital Library

[12]

J. N. Foster, B. C. Pierce, and A. Schmitt. A logic your typechecker can count on: Unordered tree types in practice. In PLAN-X, informal proceedings, Jan. 2007.

[13]

M. Friedman, A. Y. Levy, and T. D. Millstein. Navigational Plans For Data Integration. In AAAI/IAAI, pages 67--73, 1999.

Digital Library

[14]

A. Fuxman, M. A. Hernández, H. Ho, R. J. Miller, P. Papotti, and L. Popa. Nested Mappings: Schema Mapping Reloaded. In VLDB, pages 67--78, 2006.

Digital Library

[15]

A. Fuxman, M. A. Hernandez, H. Ho, R. J. Miller, P. Papotti, and L. Popa. Nested mappings: schema mapping reloaded. Technical Report CSRG-561, Department of Computer Science, University of Toronto, 2007.

[16]

V. Gapeyev, M. Y. Levin, B. C. Pierce, and A. Schmitt. The Xtatic experience. In PLAN-X, Jan. 2005. University of Pennsylvania Technical Report MS-CIS-04-24, Oct 2004.

[17]

B. R. Gaster and M. P. Jones. A polymorphic type system for extensible records and variants. Technical Report NOTTCS-TR-96-3, Department of Computer Science, University of Nottingham, November 1996.

[18]

M. Greenwald, J. Moore, B. Pierce, and A. Schmitt. A language for bi-directional tree transformations. Technical report, Department of Computer and Information Science, University of Pennsylvania., 2003.

[19]

L. M. Haas, M. A. Hernández, H. Ho, L. Popa, and M. Roth. Clio Grows Up: From Research Prototype to Industrial Tool. In SIGMOD, pages 805--810, 2005.

Digital Library

[20]

H. Hosoya and B. C. Pierce. Xduce: A statically typed xml processing language. ACM Trans. Inter. Tech., 3(2):117--148, 2003.

Digital Library

[21]

M. Lenzerini. Data Integration: A Theoretical Perspective. In PODS, pages 233--246, 2002.

Digital Library

[22]

J. Madhavan, P. A. Bernstein, A. Doan, and A. Y. Halevy. Corpus-based Schema Matching. In ICDE, pages 57--68, 2005.

Digital Library

[23]

J. Madhavan and A. Y. Halevy. Composing Mappings Among Data Sources. In VLDB, pages 572--583, 2003.

Digital Library

[24]

E. Meijer, B. Beckman, and G. M. Bierman. LINQ: reconciling object, relations and XML in the .NET framework. In SIGMOD, page 706, 2006.

Digital Library

[25]

R. J. Miller, L. M. Haas, and M. A. Hernández. Schema Mapping as Query Discovery. In VLDB, pages 77--88, 2000.

Digital Library

[26]

P. Papotti and R. Torlone. Schema exchange: Generic mappings for transforming data and metadata. Data Knowl. Eng., 68(7):665--682, 2009.

Digital Library

[27]

L. Popa, Y. Velegrakis, R. J. Miller, M. A. Hernández, and R. Fagin. Translating Web Data. In VLDB, pages 598--609, 2002.

Digital Library

[28]

J. van den Bussche and E. Waller. Type inference in the polymorphic relational algebra. In PODS, pages 80--90, 1999.

Digital Library

[29]

J. Vouillon. Polymorphic regular tree types and patterns. In POPL 06, pages 103--114, New York, NY, USA, 2006. ACM.

Digital Library

[30]

J. B. Wells. The essence of principal typings. In ICALP '02, pages 913--925, London, UK, 2002. Springer-Verlag.

Digital Library

[31]

R. Wisnesky. Mapping dependence. Technical Report TR-09-09, Harvard University Computer Science Group. Available at ftp://ftp.deas.harvard.edu/techreports/tr-09-09.pdf, 2009.

[32]

R. Wisnesky, M. A. Hernandez, and L. Popa. Mapping polymorphism - proofs. Technical Report TR-10-09, Harvard University Computer Science Group. Available at ftp://ftp.deas.harvard.edu/techreports/tr-10-09.pdf, 2009.

Cited By

Atzeni PBellomarini LPapotti PTorlone R(2019)Meta-mappings for schema mapping reuseProceedings of the VLDB Endowment10.14778/3303753.330376112:5(557-569)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.14778/3303753.3303761
Fagin RKimelfeld BReiss FVansummeren S(2016)A Relational Framework for Information ExtractionACM SIGMOD Record10.1145/2935694.293569644:4(5-16)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.1145/2935694.2935696
Kimelfeld BHull RGrohe M(2014)Database principles in information extractionProceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems10.1145/2594538.2594563(156-163)Online publication date: 18-Jun-2014
https://dl.acm.org/doi/10.1145/2594538.2594563

Index Terms

Mapping polymorphism

Recommendations

Mapping DTDs to relational schemas with semantic constraints

XML is becoming a prevalent format and standard for data exchange in many applications. With the increase of XML data, there is an urgent need to research some efficient methods to store and manage XML data. As relational databases are the primary ...
Structural characterizations of schema-mapping languages
ICDT '09: Proceedings of the 12th International Conference on Database Theory

Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings and of their applications to several different data inter-operability tasks,...
Towards a theory of schema-mapping optimization
PODS '08: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

A schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data exchange and data integration, an extensive investigation of the foundations ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ICDT '10: Proceedings of the 13th International Conference on Database Theory

March 2010

260 pages

ISBN:9781605589473

DOI:10.1145/1804669

Editor:
Luc Segoufin
INRIA & ENS Chacan, France

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 March 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

EDBT/ICDT '10

EDBT/ICDT '10: EDBT/ICDT '10 joint conference

March 23 - 25, 2010

Lausanne, Switzerland

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
131
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Atzeni PBellomarini LPapotti PTorlone R(2019)Meta-mappings for schema mapping reuseProceedings of the VLDB Endowment10.14778/3303753.330376112:5(557-569)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.14778/3303753.3303761
Fagin RKimelfeld BReiss FVansummeren S(2016)A Relational Framework for Information ExtractionACM SIGMOD Record10.1145/2935694.293569644:4(5-16)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.1145/2935694.2935696
Kimelfeld BHull RGrohe M(2014)Database principles in information extractionProceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems10.1145/2594538.2594563(156-163)Online publication date: 18-Jun-2014
https://dl.acm.org/doi/10.1145/2594538.2594563

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten