Chase termination: A constraints rewriting approach

Proceedings of the VLDB Endowment

Volumn 3, Issue 1, 2010, Pages 93-104

  Greco, Sergio ^a   Spezzano, Francesca ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC DATA INTERCHANGE;

CHASE ALGORITHM; TERMINATION CONDITION;

STRUCTURAL PROPERTIES;

EID: 78049358421     PISSN: None     EISSN: 21508097     Source Type: Conference Proceeding    
DOI: 10.14778/1920841.1920858     Document Type: Article

References (16)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. C. Beeri and R. Ramakrishnan. On the power of magic. J. Log. Program., 10(1/2/3&4):255-299, 1991.
3. C. Beeri and M. Y. Vardi. Formal systems for tuple and equality generating dependencies. SIAM J. Comput., 13(1):76-98, 1984.
4. L. E. Bertossi. Consistent query answering in databases. SIGMOD Record, 35(2):68-76, 2006.
5. A. Calì, G. Gottlob, and M. Kifer. Taming the infinite chase: Query answering under expressive relational constraints. In Description Logics, 2008.
6. J. Chomicki. Consistent query answering: Five easy pieces. In ICDT, pages 1-17, 2007.
7. G. DeGiacomo, D. Lembo, M. Lenzerini, and R. Rosati. On reconciling data exchange, data integration, and peer data management. In PODS, pages 133-142, 2007.
8. A. Deutsch, A. Nash, and J. B. Remmel. The chase revisited. In PODS, pages 149-158, 2008.
9. R. Fagin. Horn clauses and database dependencies. J. ACM, 29(4):952-985, 1982.
10. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data exchange: semantics and query answering. Theor. Comput. Sci., 336(1):89-124, 2005.
11. R. Fagin, P. G. Kolaitis, and L. Popa. Data exchange: getting to the core. ACM Trans. Database Syst., 30(1):174-210, 2005.
12. P. G. Kolaitis, J. Panttaja, and W. C. Tan. The complexity of data exchange. In PODS, pages 30-39, 2006.
13. M. Lenzerini. Data integration: A theoretical perspective. In PODS, pages 233-246, 2002.
14. B. Marnette. Generalized schema-mappings: from termination to tractability. In PODS, pages 13-22, 2009.
15. M. Meier, M. Schmidt, and G. Lausen. On chase termination beyond stratification. PVLDB, 2(1):970-981, 2009.
16. M. Meier, M. Schmidt, and G. Lausen. On chase termination beyond stratification. CoRR, abs/0906.4228, 2009.