Locally consistent transformations and query answering in data exchange

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn 23, Issue , 2004, Pages 229-240

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

^a UNIVERSITY OF TORONTO   (Canada)

^b IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; DATA PROCESSING; DATA STRUCTURES; PROBLEM SOLVING; SET THEORY;

DATA EXCHANGE; QUERY ANSWERING; RELATIONAL CALCULUS; TARGET QUERIES;

QUERY LANGUAGES;

EID: 3142707202     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1055558.1055592     Document Type: Conference Paper

References (28)

1. S. Abiteboul and O. Duschka. Complexity of answering queries using materialized views. In PODS 1998, pages 254-263.
2. S. Abiteboul, R. Hull and V. Vianu. Foundations of Databases, Addison Wesley, 1995.
3. S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM 45(5), pages 798-842, 1998.
4. C. Beeri and M. Y. Vardi. A proof procedure for data dependencies. Journal of the. ACM 31(4), pages 718-741, 1984.
5. O. Duschka and A. Levy. Recursive plans for information gathering. In IJCAI 1997, pages 778-784.
6. H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer Verlag, 1995.
7. R. Fagin. Horn clauses and database dependencies. Journal of the ACM 29(4), pages 952-985, 1982.
8. R. Fagin. Probabilities on finite models. Journal of Symbolic Logic 41(1), pages 50-58, 1976.
9. R. Fagin, Ph. Kolaitis, R. Miller and L. Popa. Data exchange: semantics arid query answering. In ICDT 2003, pages 207-224.
10. R. Fagin, Ph. Kolaitis and L. Popa. Data exchange: getting to the core. In PODS 2003, pages 90-101.
11. R. Fagin, L. Stockmeyer and M. Vardi. On monadic NP vs monadic co-NP. Information and Computation 120(1), pages 78-92, 1995.
12. H. Gaifman. On local and non-local properties. In Proceedings of the Herbrand Symposium, Logic Colloquium '81, North Holland, 1982.
13. E. Grädel and Y. Gurevich. Metafinite model theory. Information and Computation 140(1), pages 26-81, 1998.
14. A. Halevy. Theory of answering queries using views. SIGMOD Record 29(4), pages 40-47, 2000.
15. W. Hanf. Model-theoretic methods in the study of elementary logic. In J.W. Addison et al, eds, The Theory of Models, North Holland, pages 132-145, 1965.
16. P. Hell and J. Nešeřil. The core of a graph. Discrete Mathematics 109, pages 117-126, 1992.
17. L. Hella. Logical hierarchies in PTIME. Information and Computation 129(1), pages 1-19, 1996.
18. L. Hella, L. Libkin, J. Nurmonen and L. Wong. Logics with aggregate operators. Journal of the ACM 48(4), pages 880-907, 2001.
19. R. Hull and M. Yoshikawa. ILOG: declarative creation and manipulation of object identifiers. In VLDB 1990, pages 455-468.
20. T. Imielinski and W. Lipski. Incomplete information in relational databases. Journal of the ACM 31(4), pages 761-791, 1984.
21. A. Klug. Equivalence of relational algebra and relational calculus query languages having aggregate functions. Journal of the ACM 29(3), pages 699-717, 1982.
22. K. Larsen. On grouping in relational algebra. International Journal of Foundations of Computer Science 10(3), pages 301-311, 1999.
23. M. Lenzerini. Data integration: a theoretical perspective. In PODS 2002, pages 233-246.
24. A. Levy, A. Mendelzon, Y. Sagiv and D. Srivastava. Answering queries using views. In PODS 1995, pages 95-104.
25. L. Libkin. Logics with counting and local properties. ACM Transactions on Computational Logic 1(1), pages 33-59, 2000.
26. D. Maier, A. O. Mendelzon and Y. Sagiv. Testing implications of data dependencies. ACM Transactions on Database Systems 4(4), pages 455-469, 1979.
27. N. Shu, B. Housel, R. Taylor, S. Ghosh and V. Lum. EXPRESS: a data extraction, processing, and restructuring system. ACM Transactions on Database Systems 2(2), pages 134-174, 1977.
28. J. Van den Bussche, D. Van Gucht, M. Andries and M. Gyssens. On the completeness of object-creating database transformation languages. Journal of the ACM 44(2), pages 272-319, 1997.