Magic Sets and their application to data integration

Journal of Computer and System Sciences

Volumn 73, Issue 4, 2007, Pages 584-609

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

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Answer sets; Data integration; Logic programming; Magic Sets; Modularity; Stable models

Indexed keywords

COMPUTATIONAL COMPLEXITY; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OPTIMIZATION; PROBLEM SOLVING; QUERY PROCESSING; SEMANTICS;

ANSWER SETS; MAGIC SETS; MODULARITY; STABLE MODELS;

DATABASE SYSTEMS;

EID: 33947330453     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2006.10.012     Document Type: Article

References (59)

1. Ullman J.D. Principles of Database and Knowledge Base Systems (1989), Computer Science Press
2. Gelfond M., and Lifschitz V. The stable model semantics for logic programming. Logic Programming: Proceedings Fifth International Conference and Symposium (1988), MIT Press, Cambridge, MA 1070-1080
3. Bidoit N., and Froidevaux C. Negation by default and unstratifiable logic programs. Theoret. Comput. Sci. 78 (1991) 85-112
4. Dantsin E., Eiter T., Gottlob G., and Voronkov A. Complexity and expressive power of logic programming. ACM Comput. Surveys 33 3 (2001) 374-425
5. Leone N., Pfeifer G., Faber W., Eiter T., Gottlob G., Perri S., and Scarcello F. The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7 3 (2006) 499-562
6. I. Niemelä, P. Simons, T. Syrjänen, Smodels: A system for answer set programming, in: C. Baral, M. Truszczyński (Eds.), Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR 2000, Breckenridge, Colorado, USA, 2000
7. Arenas M., Bertossi L.E., and Chomicki J. Specifying and querying database repairs using logic programs with exceptions. Proc. of the 4th Int. Conf. on Flexible Query Answering Systems, FQAS 2000 (2000), Springer 27-41
8. Greco G., Greco S., and Zumpano E. A logic programming approach to the integration, repairing and querying of inconsistent databases. Proc. of the 17th Int. Conf. on Logic Programming, ICLP '01. Lecture Notes in Artificial Intelligence vol. 2237 (2001), Springer 348-364
9. P. Barceló, L. Bertossi, Repairing databases with annotated predicate logic, in: Proc. the 10th Int. Workshop on Non-Monotonic Reasoning, NMR 2002, 2002, pp. 160-170
10. A. Calì, D. Lembo, R. Rosati, Query rewriting and answering under constraints in data integration systems, in: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, IJCAI 2003, 2003, pp. 16-21
11. L. Bravo, L. Bertossi, Logic programming for consistently querying data integration systems, in: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, IJCAI 2003, 2003, pp. 10-15
12. Chomicki J., and Marcinkowski J. Minimal-change integrity maintenance using tuple deletions. Inform. and Comput. 197 1-2 (2005) 90-121
13. Schlipf J. The expressive powers of logic programming semantics. J. Comput. System Sci. 51 1 (1995) 64-86 abstract in: Proc. PODS '90, pp. 196-204
14. F. Bancilhon, D. Maier, Y. Sagiv, J.D. Ullman, Magic Sets and other strange ways to implement logic programs, in: Proc. Int. Symposium on Principles of Database Systems, 1986, pp. 1-16
15. Beeri C., and Ramakrishnan R. On the power of magic. J. Logic Program. 10 1-4 (1991) 255-259
16. Mumick I.S., Finkelstein S.J., Pirahesh H., and Ramakrishnan R. Magic is relevant. in: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990, pp. 247-258, URL:. http://citeseer.nj.nec.com/article/mumick90magic.html
17. Lifschitz V., and Turner H. Splitting a logic program. In: Van Hentenryck P. (Ed). Proceedings of the 11th International Conference on Logic Programming, ICLP '94 (1994), MIT Press, Santa Margherita Ligure 23-37
18. Eiter T., Gottlob G., and Mannila H. Disjunctive datalog. ACM Trans. Database Systems 22 3 (1997) 364-418
19. Gelfond M., and Lifschitz V. Classical negation in logic programs and disjunctive databases. New Generation Computing 9 (1991) 365-385
20. M. Lenzerini, Data integration: A theoretical perspective, in: Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2002, 2002, pp. 233-246
21. L. Bertossi, J. Chomicki, A. Cortes, C. Gutierrez, Consistent answers from integrated data sources, in: Proc. of the 6th Int. Conf. on Flexible Query Answering Systems, FQAS 2002, 2002, pp. 71-85
22. Bertossi L., and Chomicki J. Query answering in inconsistent databases. In: Chomicki J., van der Meyden R., and Saake G. (Eds). Logics for Emerging Applications of Databases (2003), Springer 43-83 (Chapter 2)
23. Chomicki J., Marcinkowski J., and Staworko S. Hippo: A system for computing consistent answers to a class of SQL queries. 9th International Conference on Extending Database Technology, EDBT 2004 (2004), Springer 841-844
24. Chomicki J., Marcinkowski J., and Staworko S. Computing consistent query answers using conflict hypergraphs. Proc. 13th ACM Conference on Information and Knowledge Management, CIKM 2004 (2004), ACM Press 417-426
25. A. Fuxman, E. Fazli, R.J. Miller, Conquer: Efficient management of inconsistent databases, in: SIGMOD Conference, 2005
26. Fuxman A., and Miller R.J. First-order query rewriting for inconsistent databases. In: Eiter T., and Libkin L. (Eds). Proceedings of the 10th International Conference on Database Theory, ICDT 2005. Lecture Notes in Comput. Sci. vol. 3363 (2005), Springer 337-351
27. Arenas M., Bertossi L., and Chomicki J. Scalar aggregation in FD-inconsistent databases. International Conference on Database Theory, ICDT 2001 (2001), Springer 39-53
28. Chomicki J., and Marcinkowski J. Minimal-change integrity maintenance using tuple deletions. Inform. and Comput. 197 (2005) 90-121
29. Arenas M., Bertossi L.E., and Chomicki J. Consistent query answers in inconsistent databases. Proc. of the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS '99 (1999) 68-79
30. Dung P.M. On the relations between stable and well-founded semantics of logic programs. Theoret. Comput. Sci. 105 1 (1992) 7-25
31. Ullman J.D. Principles of Database and Knowledge Base Systems, vol. 2 (1989), Computer Science Press
32. Abiteboul S., Hull R., and Vianu V. Foundations of Databases (1995), Addison-Wesley
33. Arkin E.M., Papadimitriou C.H., and Yannakakis M. Modularity of cycles and paths in graphs. J. ACM 38 2 (1991) 255-274
34. Johnson D.S. A catalog of complexity classes. In: van Leeuwen J. (Ed). Handbook of Theoretical Computer Science, vol. A (1990), Elsevier Science (Chapter 2)
35. M.Y. Vardi, Complexity of relational query languages, in: Proceedings of the 14th Symposium on Theory of Computation, STOC, 1982, pp. 137-146
36. A. Calì, D. Lembo, R. Rosati, On the decidability and complexity of query answering over inconsistent and incomplete databases, in: Proc. of the 22st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2003, 2003, pp. 260-271
37. INFOMIX Project Team. Demo Scenario. Tech. Rep. INFOMIX S7-1, INFOMIX Project Consortium, available at (June 2004). http://sv.mat.unical.it/infomix
38. Calì A., Calvanese D., De Giacomo G., and Lenzerini M. Data integration under integrity constraints. Inform. Syst. 29 2 (2004) 147-163
39. D. Lembo, M. Lenzerini, R. Rosati, Methods and techniques for query rewriting, Tech. Rep. D5.2, Infomix Consortium, October 2003
40. D. Lembo, Dealing with inconsistency and incompleteness in data integration, PhD thesis, Università di Roma "La Sapienza," 2004
41. Stuckey P.J., and Sudarshan S. Compiling query constraints. Proceedings of the Thirteenth Symposium on Principles of Database Systems, PODS '94 (1994), ACM Press 56-67
42. Ross K.A. Modular stratification and Magic Sets for datalog programs with negation. J. ACM 41 6 (1994) 1216-1266
43. Kemp D.B., Srivastava D., and Stuckey P.J. Bottom-up evaluation and query optimization of well-founded models. Theoret. Comput. Sci. 146 (1995) 145-184
44. Seshadri P., Hellerstein J.M., Pirahesh H., Leung T.Y.C., Ramakrishnan R., Srivastava D., Stuckey P.J., and Sudarshan S. Cost-based optimization for magic: Algebra and implementation. In: Jagadish H.V., and Mumick I.S. (Eds). Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data (1996), ACM Press 435-446
45. Behrend A. Soft stratification for Magic Set based query evaluation in deductive databases. Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (2003), ACM Press 102-110
46. Greco S. Binding propagation techniques for the optimization of bound disjunctive queries. IEEE Trans. Knowledge and Data Engineering 15 2 (2003) 368-385
47. Cumbo C., Faber W., and Greco G. Enhancing the magic-set method for disjunctive datalog programs. Proceedings of the 20th International Conference on Logic Programming-ICLP '04. Lecture Notes in Comput. Sci. vol. 3132 (2004) 371-385
48. G. Greco, S. Greco, I. Trubitsyna, E. Zumpano, Optimization of bound disjunctive queries with constraints, theory and practice of logic programming
49. T. Eiter, M. Fink, G. Greco, D. Lembo, Efficient evaluation of logic programs for querying data integration systems, in: Proc. of the 19th Int. Conf. on Logic Programming, ICLP '03, 2003, pp. 163-177
50. Fagin R., Kolaitis P., Miller R.J., and Popa L. Data exchange: Semantics and query answering. Special Issue for Selected Papers from the 2003 International Conference on Database Theory. Theoret. Comput. Sci. 336 (2005) 89-124
51. Fagin R., Kolaitis P.G., and Popa L. Data exchange: Getting to the core. ACM Trans. Database Systems 30 1 (2005) 174-210
52. Gottlob G. Computing cores for data exchange: New algorithms and practical solutions. PODS '05: Proceedings of the Twenty-Fourth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (2005), ACM Press, New York, NY 148-159
53. Kolaitis P.G., Panttaja J., and Tan W. The complexity of data exchange. PODS '06: Proceedings of the Twenty-Fifth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (2006), ACM Press, New York, NY 30-39
54. Gottlob G., and Nash A. Data exchange: Computing cores in polynomial time. PODS '06: Proceedings of the Twenty-Fifth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (2006), ACM Press, New York, NY 40-49
55. Benjelloun O., Sarma A.D., Hayworth C., and Widom J. An introduction to ULDBs and the trio system. Special Issue on Probabilistic Databases. IEEE Data Engineering Bulletin 29 (2006) 5-16
56. Dalvi N.N., Miklau G., and Suciu D. Asymptotic conditional probabilities for conjunctive queries. In: Eiter T., and Libkin L. (Eds). Proceedings of the 10th International Conference on Database Theory, ICDT '05. Lecture Notes in Comput. Sci. vol. 3363 (2005), Springer 289-305
57. Boulos J., Dalvi N., Mandhani B., Mathur S., Re C., and Suciu D. MYSTIQ: A system for finding more answers by using probabilities. SIGMOD '05: Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data (2005), ACM Press, New York, NY 891-893
58. J. Widom, Trio: A system for integrated management of data, accuracy, and lineage, in: Proceedings of the second Biennial Conference on Innovative Data Systems Research CIRD '05, 2005, pp. 262-276
59. Libkin L. Data exchange and incomplete information. PODS '06: Proceedings of the Twenty-Fifth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (2006), ACM Press, New York, NY 60-69