Answering non-monotonic queries in relational data exchange

ACM International Conference Proceeding Series

Volumn , Issue , 2010, Pages 143-154

  Hernich, André ^a  

^a GOETHE UNIVERSITY   (Germany)

Author keywords

certain answers; closed world assumption; core; deductive database

Indexed keywords

ANSWERING QUERIES; CERTAIN ANSWERS; CLOSED WORLD ASSUMPTION; DATA COMPLEXITY; DEDUCTIVE DATABASE; LOGICAL EQUIVALENCE; POLYNOMIAL-TIME; QUERY ANSWERING; RELATIONAL DATA; RELATIONAL DATABASE; SCHEMA MAPPINGS; SOURCE DATA; UNIVERSAL SOLUTIONS;

MAPPING; POLYNOMIAL APPROXIMATION; SEMANTICS; TARGETS;

DATABASE SYSTEMS;

EID: 77954493933     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1804669.1804688     Document Type: Conference Paper

References (29)

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 PODS, pages 129-138, 2008.
3. M. Arenas, P. Barceló, R. Fagin, and L. Libkin. Locally consistent transformations and query answering in data exchange. In PODS, pages 229-240, 2004.
4. M. Arenas, P. Barceló, and J. Reutter. Query languages for data exchange: Beyond unions of conjunctive queries. In ICDT, 2009.
5. M. Arenas and L. Libkin. XML data exchange: Consistency and query answering. JACM, 55(2):Article 7, 2008.
6. P. Barceló. Logical foundations of relational data exchange. SIGMOD Record, 38(1):49-58, 2009.
7. E. P. F. Chan. A possible world semantics for disjunctive databases. IEEE Transactions on Knowledge and Data Engineering, 5(2):282-292, 1993.
8. A. Deutsch, A. Nash, and J. Remmel. The chase revisited. In PODS, pages 149-158, 2008.
9. R. Fagin. Inverting schema mappings. In PODS, pages 50-59, 2006.
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, 2005. (Pubitemid 40612385)
11. R. Fagin, P. G. Kolaitis, and L. Popa. Data exchange: Getting to the core. ACM TODS, 30(1):174-210, 2005.
12. R. Fagin, P. G. Kolaitis, L. Popa, and W. C. Tan. Composing schema mappings: Second-order dependencies to the rescue. ACM TODS, 30(4):994-1055, 2005. (Pubitemid 43909010)
13. A. Fuxman, P. G. Kolaitis, R. J. Miller, and W. C. Tan. Peer data exchange. ACM TODS, 31(4):1454-1498, 2006.
14. H. Gallaire, J. Minker, and J.-M. Nicholas. Logic and databases: A deductive approach. ACM Computing Surveys, 16(2):153-185, June 1984.
15. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, 1979.
16. G. Gottlob and A. Nash. Efficient core computation in data exchange. JACM, 55(2):Article 9, 2008.
17. P. Hell and J. Nešetřil. The core of a graph. Discrete Mathematics, 109(1-3):117-126, 1992.
18. A. Hernich and N. Schweikardt. Logic and data exchange: Which solutions are "good" solutions? In Logic and the Foundations of Game and Decision Theory (LOFT 8). To appear.
19. A. Hernich and N. Schweikardt. CWA-solutions for data exchange settings with target dependencies. In PODS, pages 113-122, 2007.
20. T. Imielinski and W. Lipski. Incomplete information in relational databases. JACM, 31(4):761-791, 1984.
21. P. G. Kolaitis. Schema mappings, data exchange, and metadata management. In PODS, pages 61-75, 2005.
22. P. G. Kolaitis, J. Panttaja, and W. C. Tan. The complexity of data exchange. In PODS, pages 30-39, 2006.
23. L. Libkin. Data exchange and incomplete information. In PODS, pages 60-69, 2006.
24. L. Libkin and C. Sirangelo. Data exchange and schema mappings in open and closed worlds. In PODS, pages 139-148, 2008.
25. A. Ma̧dry. Data exchange: On the complexity of answering queries with inequalities. Information Processing Letters, 94(6):253-257, 2005. (Pubitemid 40626635)
26. J. Minker. On indefinite databases and the closed world assumption. In CADE, volume 138, pages 292-308, June 1982.
27. R. Reiter. On closed world data bases. In Logic and Data Bases, pages 55-76. Plenum Press, 1978.
28. R. van der Meyden. Logical approaches to incomplete information: A survey. In Logics for Databases and Information Systems, pages 307-356. Kluwer, 1998.
29. A. Yahya and L. J. Henschen. Deduction in non-horn databases. Journal of Automated Reasoning, 1(2):141-160, 1985.