Answering non-monotonic queries in relational data exchange

Logical Methods in Computer Science

Volumn 7, Issue 3, 2011, Pages

  Hernich, André ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 80355148316     PISSN: None     EISSN: 18605974     Source Type: Journal    
DOI: 10.2168/LMCS-7(3:09)2011     Document Type: Article

References (38)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. F. N. Afrati and P. G. Kolaitis. Answering aggregate queries in data exchange. In Proceedings of the 27th ACM Symposium on Principles of Database Systems (PODS), pages 129-138, June 2008.
3. M. Arenas, P. Barceló, R. Fagin, and L. Libkin. Locally consistent transformations and query answering in data exchange. In Proceedings of the 23th ACM Symposium on Principles of Database Systems (PODS), pages 229-240, June 2004.
4. M. Arenas, P. Barceló, L. Libkin, and F. Murlak. Relational and XML Data Exchange. Morgan & Claypool, 2010.
5. M. Arenas, P. Barcelo, and J. Reutter. Query languages for data exchange: Beyond unions of conjunctive queries. In Proceedings of the 12th International Conference on Database Theory (ICDT), pages 73-83, Mar. 2009.
6. P. Barceló. Logical foundations of relational data exchange. SIGMOD Record, 38(1):49-58, Mar. 2009.
7. E. P. F. Chan. A possible world semantics for disjunctive databases. IEEE Transactions on Knowledge and Data Engineering, 5(2):282-292, Apr. 1993.
8. A. Deutsch, A. Nash, and J. Remmel. The chase revisited. In Proceedings of the 27th ACM Symposium on Principles of Database Systems (PODS), pages 149-158, June 2008.
9. J. Dix, U. Furbach, and I. Niemelä. Nonmonotonic reasoning: Towards efficient calculi and implementations. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume II, chapter 19, pages 1241-1354. The MIT Press, 2001.
10. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data exchange: Semantics and query answering. Theoretical Computer Science, 336(1):89-124, May 2005.
11. R. Fagin, P. G. Kolaitis, A. Nash, and L. Popa. Towards a theory of schema-mapping optimization. In Proceedings of the 27th Symposium on Principles of Database Systems (PODS), pages 33-42, June 2008.
12. R. Fagin, P. G. Kolaitis, and L. Popa. Data exchange: Getting to the core. ACM Transactions on Database Systems, 30(1):174-210, Mar. 2005.
13. H. Gallaire, J. Minker, and J.-M. Nicholas. Logic and databases: A deductive approach. ACM Comput- ing Surveys, 16(2):153-185, June 1984.
14. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP- Completeness. W. H. Freeman and Company, 1979.
15. F. Geerts and B. Marnette. Static analysis of schema-mappings ensuring oblivious termination. In Proceedings of the 13th International Conference on Database Theory (ICDT), pages 183-195, Mar. 2010.
16. G. Gottlob and A. Nash. Efficient core computation in data exchange. Journal of the ACM, 55(2):Article 9, May 2008.
17. G. Gottlob, R. Pichler, and V. Savenkov. Normalization and optimization of schema mappings. PVLDB, 2(1):1102-1113, 2009.
18. L. M. Haas, M. A. Hernández, C. T. H. Ho, L. Popa, and M. Roth. Clio grows up: From research prototype to industrial tool. In Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD), pages 805-810, June 2005.
19. P. Hell and J. Nešetril. The core of a graph. Discrete Mathematics, 109(1-3):117-126, Nov. 1992.
20. A. Hernich. Answering non-monotonic queries in relational data exchange. In Proceedings of the 13th International Conference on Database Theory (ICDT), pages 143-154, Mar. 2010.
21. A. Hernich. Foundations of Query Answering in Relational Data Exchange. PhD thesis, Institut fur Informatik, Goethe-Universitat Frankfurt am Main, 2010. Published at Logos Verlag Berlin, ISBN 978-3-8325-2735-8, 2010.
22. A. Hernich, L. Libkin, and N. Schweikardt. Closed world data exchange. ACM Transactions on Database Systems, 36(2):Article 14, 2011.
23. A. Hernich and N. Schweikardt. CWA-solutions for data exchange settings with target dependencies. In Proceedings of the 26th ACM Symposium on Principles of Database Systems (PODS), pages 113-122, June 2007.
24. A. Hernich and N. Schweikardt. Logic and data exchange: Which solutions are "good" solutions? In G. Bonanno, B. Löwe, and W. van der Hoek, editors, Logic and the Foundations of Game and Decision Theory (LOFT 8), volume 6006 of Lecture Notes in Computer Science, pages 61-85. Springer-Verlag, 2010.
25. T. Imielinski and W. Lipski, Jr. Incomplete information in relational databases. Journal of the ACM, 31(4):761-791, Oct. 1984.
26. P. G. Kolaitis. Schema mappings, data exchange, and metadata management. In Proceedings of the 24th ACM Symposium on Principles of Database Systems (PODS), pages 61-75, June 2005.
27. P. G. Kolaitis, J. Panttaja, and W. C. Tan. The complexity of data exchange. In Proceedings of the 25th ACM Symposium on Principles of Database Systems (PODS), pages 30-39, June 2006.
28. M. Lenzerini. Data integration: A theoretical perspective. In Proceedings of the 21th ACM Symposium on Principles of Database Systems (PODS), pages 229-240, June 2002.
29. L. Libkin. Data exchange and incomplete information. In Proceedings of the 25th ACM Symposium on Principles of Database Systems (PODS), pages 60-69, June 2006.
30. L. Libkin and C. Sirangelo. Data exchange and schema mappings in open and closed worlds. In Pro- ceedings of the 27th ACM Symposium on Principles of Database Systems (PODS), pages 139-148, June 2008.
31. Jr. On semantic issues connected with incomplete information in databases. ACM Transac- tions on Database Systems, 4(3):262-296, Sept. 1979.
32. A. Madry. Data exchange: On the complexity of answering queries with inequalities. Information Pro- cessing Letters, 94(6):253-257, June 2005.
33. B. Marnette. Generalized schema mappings: From termination to tractability. In Proceedings of the 28th ACM Symposium on Principles of Database Systems (PODS), pages 13-22, June 2009.
34. G. Mecca, P. Papotti, S. Raunich, and M. Buoncristiano. Concise and expressive mappings with +Spicy. In PVLDB, volume 2, pages 1582-1585, 2009.
35. J. Minker. On indefinite databases and the closed world assumption. In D.W. Loveland, editor, Proceed- ings of the International Conference on Automated Deduction (CADE), volume 138 of Lecture Notes in Computer Science, pages 292-308. Springer-Verlag, June 1982.
36. R. Reiter. On closed world data bases. In H. Galaire and J. Minker, editors, Logic and Data Bases, pages 55-76. Plenum Press, 1978.
37. N. C. Shu, B. C. Housel, R. W. Taylor, S. P. Ghosh, and V. Y. Lum. EXPRESS: A data EXtraction, Processing, and REStructuring system. ACM Transactions on Database Systems, 2(2):134-174, June 1977.
38. A. H. Yahya and L. J. Henschen. Deduction in non-horn databases. Journal of Automated Reasoning, 1(2):141-160, June 1985.