Closed world data exchange

ACM Transactions on Database Systems

Volumn 36, Issue 2, 2011, Pages

  Hernich, André ^a   Libkin, Leonid ^b   Schweikardt, Nicole ^c  

^a HUMBOLDT UNIVERSITY   (Germany)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c GOETHE UNIVERSITY   (Germany)

Author keywords

Canonical universal solution; Certain answers; Closed world assumption; Core; Databases; Maybe answers; Null values; The chase

Indexed keywords

CERTAIN ANSWERS; CLOSED WORLD ASSUMPTION; CORE; MAYBE ANSWERS; NULL VALUE; THE CHASE; UNIVERSAL SOLUTIONS;

SEMANTICS;

EID: 79960768768     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/1966385.1966392     Document Type: Article

References (51)

1. ABITEBOUL, S. AND DUSCHKA, O. M. 1998. Complexity of answering queries using materialized views. In Proceedings of the 17th ACM Symposium on Principles of Database Systems (PODS). 254-263.
2. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley.
3. ABITEBOUL, S., KANELLAKIS, P. C., AND GRAHNE, G. 1991. On the representation and querying of sets of possible worlds. Theor. Comput. Sci. 78, 1, 159-187.
4. AFRATI, F. N. AND KOLAITIS, P. G. 2008. Answering aggregate queries in data exchange. In Proceedings of the 27th ACM Symposium on Principles of Database Systems (PODS). 129-138.
5. ARENAS, M., BARCELö, P., FAGIN, R., AND LIBKIN, L. 2004. Locally consistent transformations and query answering in data exchange. In Proceedings of the 23th ACM Symposium on Principles of Database Systems (PODS). 229-240.
6. ARENAS, M., BARCELö, P., LIBKIN, L., AND MURLAK, F. 2010. Relational and XML Data Exchange. Morgan & Claypool.
7. ARENAS, M., BARCELö, P., AND REUTTER, J. 2009a. Query languages for data exchange: Beyond unions of conjunctive queries. In Proceedings of the 12th International Conference on Database Theory (ICDT). 73-83.
8. ARENAS, M. AND LIBKIN, L. 2008. XML data exchange: Consistency and query answering. J. ACM 55, 2, Article 7.
9. ARENAS, M., PéREZ, J., AND RIVEROS, C. 2009b. The recovery of a schema mapping: Bringing exchanged data back. ACM Trans. Datab. Syst. 34, 4, Article 22.
10. BARCELö, P. 2009. Logical foundations of relational data exchange. SIGMOD Record 38, 1, 49-58.
11. BEERI, C. AND VARDI, M. Y. 1984. A proof procedure for data dependencies. J. ACM 31, 4, 718-741.
12. BUNEMAN, P., DAVIDSON, S. B., AND WATTERS, A. 1991a. A semantics for complex objects and approximate answers. J. Comput. Syst. Sci. 43, 1, 170-218. (Pubitemid 21680392)
13. BUNEMAN, P., JUNG, A., AND OHORI, A. 1991b. Using power domains to generalize relational databases. Theor. Comput. Sci. 91, 1, 23-55.
14. CALí, A., GOTTLOB, G., AND KIFER, M. 2008. Taming the infinite chase: Query answering under expressive relational constraints. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR). 70-80.
15. CHANDRA, A. K. AND MERLIN, P. M. 1977. Optimal implementation of conjunctive queries in relational data bases. In Proceedings of the 9th ACM Symposium on Theory of Computing (STOC). 77-90.
16. DATE, C. J. AND DARWEN, H. 1997. A Guide to the SQL Standard. Addison-Wesley.
17. DEUTSCH, A.,NASH, A., AND REMMEL, J. 2008. The chase revisited. In Proceedings of the 27th ACM Symposium on Principles of Database Systems (PODS). 149-158.
18. DEUTSCH, A. AND TANNEN, V. 2003. Reformulation of XML queries and constraints. In Proceedings of the 9th Conference on Database Theory (ICDT). 225-241.
19. FAGIN, R. 2007. Inverting schema mappings. ACM Trans. Datab. Syst. 32, 4, Article 25.
20. FAGIN, R., KOLAITIS, P. G.,MILLER, R. J., AND POPA, L. 2005a. Data exchange: Semantics and query answering. Theor. Comput. Sci. 336, 1, 89-124. (Pubitemid 40612385)
21. FAGIN, R., KOLAITIS, P. G., NASH, A., AND POPA, L. 2008. Towards a theory of schema-mapping optimization. In Proceedings of the 27th Symposium on Principles of Database Systems (PODS). 33-42.
22. FAGIN, R., KOLAITIS, P. G., AND POPA, L. 2005b. Data exchange: Getting to the core. ACM Trans. Datab. Syst. 30, 1, 174-210. (Pubitemid 41201814)
23. FAGIN, R., KOLAITIS, P. G., POPA, L., AND TAN, W. C. 2005. Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Datab. Sys. 30, 4, 994-1055.
24. FUXMAN, A., KOLAITIS, P. G., MILLER, R. J., AND TAN, W. C. 2006. Peer data exchange. ACM Trans. Datab. Syst. 31, 4, 1454-1498. (Pubitemid 46103277)
25. GOTTLOB, G. AND NASH, A. 2008. Efficient core computation in data exchange. J. ACM 55, 2, Article 9.
26. GOTTLOB, G., PICHLER, R., AND SAVENKOV, V. 2009. Normalization and optimization of schema mappings. Proc. VLDB 2, 1, 1102-1113.
27. GUNTER, C. A. 1992. The mixed powerdomain. Theor. Comput. Sci. 103, 2, 311-334.
28. HAAS, L. M., HERNáNDEZ, M. A., HO, H., POPA, L., AND ROTH, M. 2005. Clio grows up: From research prototype to industrial tool. In Proceedings of the 31th ACM SIGMOD International Conference on Management of Data (SIGMOD). 805-810. (Pubitemid 43038980)
29. HELL, P. AND NEŠETŘIL, J. 1992. The core of a graph. Discrete Math. 109, 1-3, 117-126.
30. HERNICH, A. 2010. Answering non-monotonic queries in relational data exchange. In Proceedings of the 13th International Conference on Database Theory (ICDT). 143-154.
31. HERNICH, A. AND SCHWEIKARDT, N. 2007. CWA-solutions for data exchange settings with target dependencies. In Proceedings of the 26th ACM Symposium on Principles of Database Systems (PODS). 113-122. (Pubitemid 47620886)
32. HERNICH, A. AND SCHWEIKARDT, N. 2010. Logic and data exchange: Which solutions are "good" solutions? In Logic and the Foundations of Game and Decision Theory (LOFT 8), G. Bonanno, B. L̈we, andW. van der Hoek, Eds., Lecture Notes in Computer Science Series, vol. 6006. Springer-Verlag, 61-85.
33. IMIELINSKI, T. AND LIPSKI, JR.,W. 1984. Incomplete information in relational databases. J. ACM 31, 4, 761-791.
34. KOLAITIS, P. G. 2005. Schema mappings, data exchange, and metadata management. In Proceedings of the 24th ACM Symposium on Principles of Database Systems (PODS). 61-75. (Pubitemid 43275470)
35. KOLAITIS, P. G., PANTTAJA, J., AND TAN, W. C. 2006. The complexity of data exchange. In Proceedings of the 25th ACM Symposium on Principles of Database Systems (PODS). 30-39. (Pubitemid 46946464)
36. LAUSEN, G.,MEIER,M., AND SCHMIDT,M. 2009. On chase termination beyond stratification. Computing Research Repository (CoRR), arXiv:0906.4228v2.
37. LIBKIN, L. 1998. Models of approximation in databases. Theor. Comput. Sci. 190, 2, 167-210. (Pubitemid 128638653)
38. LIBKIN, L. 2006. Data exchange and incomplete information. In Proceedings of the 25th ACM Symposium on Principles of Database Systems (PODS). 60-69. (Pubitemid 46946467)
39. LIBKIN, L. AND SIRANGELO, C. 2011. Data exchange and schemamappings in open and closed worlds. J. Comput. Sys. Sci. 77, 3, 542-571.
40. LIPSKI, JR., W. 1979. On semantic issues connected with incomplete information in databases. ACM Trans. Datab. Syst. 4, 3, 262-296. (Pubitemid 10410577)
41. MAcDRY, A. 2005. Data exchange: On the complexity of answering queries with inequalities. Inform. Proc. Lett. 94, 253-257.
42. MARNETTE, B. 2009. Generalized schema mappings: From termination to tractability. In Proceedings of the 28th ACM Symposium on Principles of Database Systems (PODS). 13-22.
43. MECCA, G., PAPOTTI, P., AND RAUNICH, S. 2009. Core schema mappings. In Proceedings of the ACM SIGMOD Conference. 655-668.
44. MILLER, R. J., HERNáNDEZ, M. A., HAAS, L. M., YAN, L.-L., HO, C. T. H., FAGIN, R., AND POPA, L. 2001. The Clio project: Managing heterogeneity. SIGMOD Record 30, 1, 78-83. (Pubitemid 33604427)
45. PAPADIMITRIOU, C. H. 1994. Computational Complexity. Addison-Wesley.
46. REITER, R. 1978. On closed world databases. In Logic and Databases, H. Gallaire and J. Minker, Eds., Plenum Press, 55-76.
47. REITER, R. 1984. Towards a logical reconstruction of relational database theory. In On Conceptual Modeling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, Eds., Springer-Verlag, 191-233.
48. SHU, N. C., HOUSEL, B. C., TAYLOR, R. W., GHOSH, S. P., AND LUM, V. Y. 1977. EXPRESS: A data EXtraction, Processing, and REStructuring system. ACM Trans. Datab. Syst. 2, 2, 134-174.
49. VAN DER MEYDEN, R. 1998. Logical approaches to incomplete information: A survey. In Logics for Databases and Information Systems. Kluwer, 307-356.
50. VARDI, M. Y. 1982. The complexity of relational query languages. In Proceedings of the 14th ACM Symposium on Theory of Computing (STOC). 137-146.
51. ZANIOLO, C. 1984. Database relations with null values. J. Comput. Syst. Sci. 28, 1, 142-166.