Solutions and query rewriting in data exchange

Information and Computation

Volumn 228-229, Issue , 2013, Pages 28-61

  Arenas, Marcelo ^a   Barceló, Pablo ^b   Fagin, Ronald ^c   Libkin, Leonid ^d  

^a PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE   (Chile)

^b UNIVERSITY OF CHILE   (Chile)

^c IBM ALMADEN RESEARCH CENTER   (United States)

^d UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Data exchange; Locality; Query answering; Query rewriting; Universal solutions

Indexed keywords

ALTERNATIVE SEMANTICS; LOCALITY; PARTICULAR SOLUTION; PROPERTIES OF SOLUTIONS; QUERY ANSWERING; QUERY REWRITINGS; RELATIONAL ALGEBRA; UNIVERSAL SOLUTIONS;

MACHINERY; TOOLS;

ELECTRONIC DATA INTERCHANGE;

EID: 84880295799     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2013.06.002     Document Type: Article

References (32)

1. Marcelo Arenas, Leopoldo Bertossi, and Jan Chomicki Consistent query answers in inconsistent databases Proceedings of the 18th ACM Symposium on Principles of Database Systems PODSE'14;99 1999 68 79
2. Marcelo Arenas, Pablo Barceló, Ronald Fagin, and Leonid Libkin Locally consistent transformations and query answering in data exchange Proceedings of the 23rd ACM Symposium on Principles of Database Systems PODSE'14;04 2004 229 240
3. Marcelo Arenas, Pablo Barceló, Leonid Libkin, and Filip Murlak Relational and XML Data Exchange 2010 Morgan & Claypool Publishers
4. Foto Afrati, and Phokion Kolaitis Answering aggregate queries in data exchange Proceedings of the 27th ACM Symposium on Principles of Database Systems PODSE'14;08 2008 129 138
5. Pablo Barceló Logical foundations of relational data exchange SIGMOD Record 38 1 2009 49 58
6. Catriel Beeri, and Moshe Vardi A proof procedure for data dependencies Journal of the ACM 31 4 1984 718 741
7. Oliver Duschka, and Alon Y. Levy Recursive plans for information gathering Proceedings of the 15th International Joint Conference on Artificial Intelligence IJCAIE'14;97 1997 778 784
8. Andrzej Ehrenfeucht An application of games to the completeness problem for formalized theories Fundamenta Mathematicae 49 1961 129 141
9. Kousha Etessami Counting quantifiers, successor relations, and logarithmic space Journal of Computer and System Sciences 54 3 1997 400 411 (Pubitemid 127433381)
10. Ronald Fagin Horn clauses and database dependencies Journal of the ACM 29 4 1982 952 985
11. Ronald Fagin Easier ways to win logical games Proceedings of the DIMACS Workshop on Finite Models and Descriptive Complexity 1997 American Mathematical Society 1 32
12. Ronald Fagin, and Phokion G. Kolaitis Local transformations and conjunctive-query equivalence Proceedings of the 31st ACM Symposium on Principles of Database Systems PODSE'14;12 2012 179 190
13. Ronald Fagin, Phokion Kolaitis, Renee Miller, and Lucian Popa Data exchange: semantics and query answering Theoretical Computer Science 336 1 2005 89 124 (Pubitemid 40612385)
14. Ronald Fagin, Phokion Kolaitis, and Lucian Popa Data exchange: getting to the core ACM Transactions on Database Systems 30 1 2005 174 210 (Pubitemid 41201814)
15. Roland Fraïssé Sur quelques classifications des systèmes de relations Publications Scientifiques de LE'14; Université DE'14;Alger. Série A 1 1954 35 182
16. Ronald Fagin, Larry Stockmeyer, and Moshe Vardi On monadic NP vs monadic coNP Information and Computation 120 1 1995 78 92
17. Haim Gaifman On local and non-local properties Proceedings of the Herbrand Symposium Logic Colloquium 1982 North-Holland 105 135
18. Georg Gottlob, and Alan Nash Efficient core computation in data exchange Journal of the ACM 55 2 2008
19. William P. Hanf Model-theoretic methods in the study of elementary logic J.W. Addison, L. Henkin, A. Tarski, The Theory of Models 1965 North-Holland 132 145
20. Lauri Hella, Leonid Libkin, and Juha Nurmonen Notions of locality and their logical characterizations over finite models Journal of Symbolic Logic 64 4 1999 1751 1773
21. André Hernich, Leonid Libkin, and Nicole Schweikardt Closed world data exchange ACM Transactions on Database Systems 36 2 2011 14
22. Pavol Hell, and Jaroslav NešetrÌil The core of a graph Discrete Mathematics 109 1-3 1992 117 126
23. Pavol Hell, and Jaroslav NešetrÌil Graphs and Homomorphisms 2004 Oxford University Press
24. Barron Housel, Richard Taylor, Sakti Ghosh, and Vincent Y. Lum EXPRESS: a data extraction, processing, and restructuring system ACM Transactions on Database Systems 2 2 1977 134 174
25. Tomasz Imielinski, and Witold Lipski Incomplete information in relational databases Journal of the ACM 31 4 1984 761 791
26. Phokion Kolaitis Schema mappings, data exchange, and metadata management Proceedings of the 24th ACM Symposium on Principles of Database Systems PODSE'14;05 2005 61 75 (Pubitemid 43275470)
27. Maurizio Lenzerini Data integration: a theoretical perspective Proceedings of the 21st ACM Symposium on Principles of Database Systems PODSE'14;02 2002 233 246 (Pubitemid 35009497)
28. Leonid Libkin Elements of Finite Model Theory 2004 Springer-Verlag
29. Leonid Libkin, and Cristina Sirangelo Data exchange and schema mappings in open and closed worlds Journal of Computer and System Sciences 77 3 2011 542 571
30. David Maier, Alberto Mendelzon, and Yehoshua Sagiv Testing implications of data dependencies ACM Transactions on Database Systems 4 4 1979 455 469
31. Juha Nurmonen On winning strategies with unary quantifiers Journal of Logic and Computation 6 6 1996 779 798 (Pubitemid 126650223)
32. Juha Nurmonen Counting modulo quantifiers on finite structures Information and Computation 160 1-2 2000 62 87