Simplifying schema mappings

ACM International Conference Proceeding Series

Volumn , Issue , 2011, Pages 114-125

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lenzerini, Maurizio ^b   Vardi, Moshe Y ^c  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c Rice University   (United States)

Author keywords

Conjunctive queries; GAV; Graph databases; LAV; Schema mappings

Indexed keywords

FORMAL SPECIFICATION; QUERY LANGUAGES; RELATIONAL DATABASE SYSTEMS;

COMPLEXITY BOUNDS; CONJUNCTIVE QUERY; GAV; GRAPH DATABASE; LAV; LOGICAL IMPLICATIONS; MAPPING SPECIFICATIONS; PROPERTY; SCHEMA MAPPINGS; THREE PARAMETERS;

GRAPH DATABASES;

EID: 79952357845     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1938551.1938568     Document Type: Conference Paper

References (47)

1. S. Abiteboul. Querying semi-structured data. In Proc. of ICDT'97, pages 1-18.
2. S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web: from Relations to Semistructured Data and XML. Morgan Kaufmann, 2000.
3. S. Abiteboul and O. Duschka. Complexity of answering queries using materialized views. In Proc. of PODS'98, pages 254-265.
4. S. Abiteboul, G. Gottlob, and M. Manna. Distributed XML design. In Proc. of PODS 2009, pages 247-258.
5. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995.
6. B. Alexe, P. Kolaitis, and W.-C. Tan. Characterizing schema mappings via data examples. In Proc. of PODS 2010, pages 261-271.
7. M. Arenas, P. Barcelo, R. Fagin, and L. Libkin. Locally consistent transformations and query answering in data exchange. In Proc. of PODS 2004.
8. M. Arenas, R. Fagin, and A. Nash. Composition with target constraints. In Proc. of ICDT 2010.
9. M. Arenas and L. Libkin. XML data exchange: Consistency and query answering. In Proc. of PODS 2005, pages 13-24.
10. M. Arenas, J. Pérez, J. L. Reutte, and C. Riveros. Foundations of schema mapping management. In Proc. of PODS 2010, pages 227-238.
11. M. Arenas, J. Pérez, and C. Riveros. The recovery of a schema mapping: Bringing exchanged data back. ACM Trans. on Database Systems, 34(4), 2009.
12. P. C. Arocena, A. Fuxman, and R. J. Miller. Composing local-as-view mappings: Closure and applications. In Proc. of ICDT 2010, pages 209-218.
13. F. Baader and R. Küsters. Unification in a description logic with transitive closure of roles. In R. Nieuwenhuis and A. Voronkov, editors, Proc. of LPAR 2001, volume 2250 of LNCS, pages 217-232. Springer.
14. B. Barcelò. Logical foundations of relational data exchange. SIGMOD Record, 38(1):49-58, 2009.
15. B. Barcelò, C. A. Hurtado, L. Libkin, and P. T. Wood. Expressive languages for path queries over graph-structured data. In Proc. of PODS 2009.
16. R. Berger. The undecidability of the dominoe problem. Mem. Amer. Math. Soc., 66:1-72, 1966.
17. P. A. Bernstein and H. Ho. Model management and schema mappings: Theory and practices. In Proc. of VLDB 2007, pages 1439-1440.
18. P. Buneman. Semistructured data. In Proc. of PODS'97, pages 117-121.
19. D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi. Containment of conjunctive regular path queries with inverse. In Proc. of KR 2000.
20. D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi. Query processing using views for regular path queries with inverse. In Proc. of PODS 2000.
21. D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi. Rewriting of regular expressions and regular path queries. J. of Computer and System Sciences, 64(3):443-465, 2002.
22. D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi. Reasoning on regular path queries. SIGMOD Record, 32(4):83-92, 2003. (Pubitemid 40290268)
23. D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi. View synthesis from schema mappings. CoRR Technical Report abs/1003.1179, arXiv.org e-Print archive, Mar. 2010. Available at http://arxiv.org/abs/1003.1179.
24. A. K. Chandra and P. M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In Proc. of STOC'77, pages 77-90.
25. I. F. Cruz, A. O. Mendelzon, and P. T. Wood. A graphical query language supporting recursion. In Proc. of ACM SIGMOD, pages 323-330, 1987.
26. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data exchange: Semantics and query answering. Theor. Comp. Sci., 336(1):89-124, 2005. (Pubitemid 40612385)
27. R. Fagin, P. G. Kolaitis, A. Nash, and L. Popa. Towards a theory of schema-mapping optimization. In Proc. of PODS 2008, pages 33-42.
28. R. Fagin, P. G. Kolaitis, and L. Popa. Data exchange: Getting to the core. ACM Trans. on Database Systems, 30(1):174-210, 2005. (Pubitemid 41201814)
29. R. Fagin, P. G. Kolaitis, L. Popa, and W. C. Tan. Reverse data exchange: Coping with nulls. In Proc. of PODS 2009, pages 23-32.
30. R. Fagin, P. G. Kolaitis, L. Popa, and W.-C. Tan. Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. on Database Systems, 30(4):994-1055, 2005.
31. R. Fagin, P. G. Kolaitis, L. Popa, and W.-C. Tan. Quasi-inverses of schema mappings. ACM Trans. on Database Systems, 33(2):1-52, 2008.
32. E. Franconi and S. Tessaris. The logic of RDF and SPARQL: a tutorial. In Proc. of PODS 2006.
33. A. Fuxman, P. G. Kolaitis, R. J. Miller, and W. C. Tan. Peer data exchange. ACM Trans. on Database Systems, 31(4):1454-1498, 2005.
34. G. Gottlob, R. Pichler, and V. Savenkov. Normalization and optimization of schema mappings. PVLDB, 2(1):1102-1113, 2009.
35. G. Grahne and A. O. Mendelzon. Tableau techniques for querying information sources through global schemas. In Proc. of ICDT'99, volume 1540 of LNCS, pages 332-347. Springer.
36. A. Y. Halevy, A. Rajaraman, and J. Ordille. Data integration: The teenage years. In Proc. of VLDB 2006, pages 9-16.
37. P. G. Kolaitis. Schema mappings, data exchange, and metadata management. In Proc. of PODS 2005.
38. M. Lenzerini. Data integration: A theoretical perspective. In Proc. of PODS 2002, pages 233-246.
39. A. Y. Levy, A. O. Mendelzon, Y. Sagiv, and D. Srivastava. Answering queries using views. In Proc. of PODS'95, pages 95-104.
40. L. Libkin and C. Sirangelo. Data exchange and schema mappings in open and closed worlds. In Proc. of PODS 2008, pages 139-148.
41. J. Madhavan and A. Y. Halevy. Composing mappings among data sources. In Proc. of VLDB 2003.
42. W. Martens, M. Niewerth, and T. Schwentick. Schema design for XML repositories: Complexity and tractability. In Proc. of PODS 2010, pages 239-250.
43. J.-E. Pin. Syntactic semigroups. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Language Theory, volume 1, chapter 10, pages 679-746. Springer, 1997.
44. Y. Sagiv and M. Yannakakis. Equivalences among relational expressions with the union and difference operators. J. of the ACM, 27(4):633-655, 1980.
45. B. ten Cate and P. G. Kolaitis. Structural characterizations of schema-mapping languages. In Proc. of ICDT 2009, pages 63-72.
46. J. D. Ullman. Information integration using logical views. In Proc. of ICDT'97, volume 1186 of LNCS.
47. P. van Emde Boas. The convenience of tilings. In Complexity, Logic, and Recursion Theory, volume 187 of Lecture Notes in Pure and Applied Mathematics, pages 331-363. Marcel Dekker Inc., 1997.