Magic sets for data integration

Proceedings of the National Conference on Artificial Intelligence

Volumn 3, Issue , 2008, Pages 1528-1531

  Faber, Wolfgang ^a   Greco, Gianluigi ^a   Leone, Nicola ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIONICS; INFORMATION THEORY; SEMANTICS;

DATA INTEGRATIONS; INCONSISTENT DATABASES; INDEPENDENT EVALUATIONS; QUERY ANSWERING; QUERY EQUIVALENCES; REWRITING ALGORITHMS; STABLE MODEL SEMANTICS;

ARTIFICIAL INTELLIGENCE;

EID: 57749096198     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Arenas, M.; Bertossi, L. E.; and Chomicki, J. 2000. Specifying and querying database repairs using logic programs with exceptions. In FQAS 2000, 27-41.
2. Bancilhon, F; Maier, D.; Sagiv, Y.; and Ullman, J. D. 1986. Magic Sets and Other Strange Ways to Implement Logic Programs. In PODS'86, 1-16.
3. Beeri, C., and Ramakrishnan, R. 1991. On the power of magic. JLP 10(l-4):255-259.
4. Bonatti, P. A. 2004. Reasoning with infinite stable models. Artificial Intelligence 156(1):75-111.
5. Bravo, L., and Bertossi, L. 2003. Logic programming for consistently querying data integration systems. In IJCAI 2003, 10-15.
6. Eiter, T; Gottlob, G.; and Mannila, H. 1997. Disjunctive Datalog. ACM TODS 22(3):364-418.
7. Faber, W.; Greco, G.; and Leone, N. 2005. Magic sets and their application to data integration. In ICDT'05, LNCS 3363
8. Faber, W.; Greco, G.; and Leone, N. 2007. Magic Sets and their Application to Data Integration. JCSS 73(4):584-609.
9. Gelfond, M., and Lifschitz, V. 1988. The Stable Model Semantics for Logic Programming. In ICLP'88, 1070-1080. Cambridge, Mass.: MIT Press.
10. Greco, G.; Greco, S.; and Zumpano, E. 2001. A logic programming approach to the integration, repairing and querying of inconsistent databases. In ICLP'01, LNCS 2237
11. INFOMIX Project Team. 2004. Demo Scenario. Tech. Report INFOMIX S7-1, INFOMIX Project Consortium. http://sv.mat.unical.it/infomix.
12. Lembo, D.; Lenzerini, M.; and Rosati, R. 2003. Methods and techniques for query rewriting. Tech. Report D5.2, Infomix Consortium.
13. Lembo, D. 2004. Dealing with Inconsistency and Incompleteness in Data Integration. Ph.D. Dissertation, Universit di Roma "La Sapienza".
14. Leone, N.; Gottlob, G.; Rosati, R.; Eiter, T; Faber, W.; Fink, M.; Greco, G.; Ianni, G.; Kalka, E.; Lembo, D.; Lenzerini, M.; Lio, V.; Nowicki, B.; Ruzzi, M.; Staniszkis, W.; and Terracina, G. 2005. The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In SIGMOD 2005, 915-917. ACM Press.
15. Lifschitz, V., and Turner, H. 1994. Splitting a Logic Program. In ICLP'94, 23-37. MIT Press.
16. Schlipf, J. S. 1995. The Expressive Powers of Logic Programming Semantics. JCSS 5l(l):64-86.