Magic sets and their application to data integration

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3363 LNCS, Issue , 2005, Pages 306-320

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

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA INTEGRATION; DATALOG; DATALOG PROGRAMS; INTEGRATION SYSTEMS; MAGIC SETS; SOUNDNESS AND COMPLETENESS; STABLE MODEL SEMANTICS;

DATA HANDLING;

SEMANTICS;

EID: 77049088991     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30570-5_21     Document Type: Conference Paper

References (32)

1. Ullman, J.D.: Principles of Database and Knowledge Base Systems. Computer Science Press (1989)
2. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP/SLP'88, Cambridge, Mass., MIT Press (1988) 1070-1080
3. Bidoit, N., Froidevaux, C.: Negation by Default and Unstratifiable Logic Programs. Theoretical Computer Science 78 (1991) 85-112
4. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Surveys 33 (2001) 374-425
5. Bidoit, N., Froidevaux, C.: General Logical Databases and Programs: Default Logic Semantics and Stratification. Information and Computation 91 (1991) 15-54
6. Marek, V.W., Truszczyński, M.: Autoepistemic Logic. JACM 38 (1991) 588-619
7. Schlipf, J.: The Expressive Powers of Logic Programming Semantics. JCSS 51 (1995) 64-86 Abstract in Proc. PODS 90, pp. 196-204.
8. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM TOCL (2004) To appear.
9. Niemelä, I., Simons, P., Syrjänen, T.: Smodels: A System for Answer Set Programming. In: NMR'2000 (2000)
10. Arenas, M., Bertossi, L.E., Chomicki, J.: Specifying and querying database repairs using logic programs with exceptions. In: Proc. of FQAS 2000, Springer (2000) 27-41
11. Greco, G., Greco, S., Zumpano, E.:Alogic programming approach to the integration, repairing and querying of inconsistent databases. In: Proc. of ICLP'01, Springer (2001) 348-364
12. Barceló, P., Bertossi, L.: Repairing databases with annotated predicate logic. In: Proc. the 10th Int.Workshop on Non-Monotonic Reasoning (NMR 2002). (2002) 160-170
13. Calí, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. of IJCAI 2003. (2003) 16-21
14. Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. of IJCAI 2003. (2003) 10-15
15. Chomicki, J., Marcinkowski, J.: Minimal-Change Integrity Maintenance Using Tuple Deletions. Information and Computation (2004) to Appear.
16. Lifschitz, V., Turner, H.: Splitting a Logic Program. In Van Hentenryck, P., ed.: ICLP'94, MIT Press (1994) 23-37
17. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM TODS 22 (1997) 364-418
18. Dung, P.M.: On the Relations between Stable and Well-Founded Semantics of Logic Programs. Theoretical Computer Science 105 (1992) 7-25
19. Beeri, C., Ramakrishnan, R.: On the power of magic. JLP 10 (1991) 255-259
20. Calí, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Data integration under integrity constraints. Information Systems 29 (2004) 147-163
21. Calí, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: PODS '03. (2003) 260-271
22. Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: PODS'86. (1986) 1-16
23. Mumick, I.S., Finkelstein, S.J., Pirahesh, H., Ramakrishnan, R.: Magic is relevant. In: SIGMOD Conference 1990. (1990) 247-258
24. Stuckey, P.J., Sudarshan, S.: Compiling query constraints. In: PODS'94, ACM Press (1994) 56-67
25. Ross, K.A.: Modular Stratification and Magic Sets for Datalog Programs with Negation. JACM 41 (1994) 1216-1266
26. Kemp, D.B., Srivastava, D., Stuckey, P.J.: Bottom-up evaluation and query optimization of well-founded models. Theoretical Computer Science 146 (1995) 145-184
27. Seshadri, P., Hellerstein, J.M., Pirahesh, H., Leung, T.Y.C., Ramakrishnan, R., Srivastava, D., Stuckey, P.J., Sudarshan, S.: Cost-based optimization for magic: Algebra and implementation. In: SIGMOD Conference 1996, ACM Press (1996) 435-446
28. Behrend, A.: Soft stratification for magic set based query evaluation in deductive databases. In: PODS 2003, ACM Press (2003) 102-110
29. Greco, S.: Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. IEEE TKDE 15 (2003) 368-385
30. Cumbo, C., Faber, W., Greco, G.: Enhancing the magic-set method for disjunctive datalog programs. In: Proc. of ICLP'04, Saint-Malo, France (2004) Forthcoming.
31. Greco, G., Greco, S.,Trubitsyna, I., Zumpano, E.: Optimization of Bound Disjunctive Queries with Constraints. TPLP (to appear (CoRR report cs.LO/0406013))
32. Eiter, T., Fink, M., Greco, G., Lembo, D.: : Efficient evaluation of logic programs for querying data integration systems. In: Proc. of ICLP'03. (2003) 163-177