Dynamic Magic Sets and super-coherent answer set programs

AI Communications

Volumn 24, Issue 2, 2011, Pages 125-145

  Alviano, Mario ^a   Faber, Wolfgang ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

general answer set programming; Magic sets; query answering optimization

Indexed keywords

ANSWER SET; ANSWER SET PROGRAMMING; DATA INTEGRATION; DATALOG; MAGIC SETS; PERFORMANCE GAIN; QUERY ANSWERING; QUERY ANSWERING OPTIMIZATION; QUERY OPTIMIZATION; SEARCH SPACES; STRATIFIED NEGATION;

DIAMONDS; OPTIMIZATION;

QUERY PROCESSING;

EID: 79955579286     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: 10.3233/AIC-2011-0492     Document Type: Article

References (16)

1. S. Abiteboul, R. Hull and V. Vianu, Foundations of Databases, Addison-Wesley, Reading, MA, USA, 1995.
2. M. Alviano, W. Faber, G. Greco and N. Leone, Magic sets for disjunctive datalog programs, Technical Report 09/2009, Dipartimento di Matematica, Universita della Calabria, Italy, 2009, available at: http://www.wfaber.com/ research/papers/TRMAT092009.pdf.
3. F. Bancilhon, D. Maier, Y. Sagiv and J.D. Ullman, Magic sets and other strange ways to implement logic programs, in: Proceedings of the Fifth Symposium on Principles of Database Systems, ACM Press, New York, NY, USA, 1986, pp. 1-16.
4. C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge Univ. Press, Cambridge, UK,2003.
5. C. Beeri and R. Ramakrishnan, On the power of magic, Journal of Logic Programming 10(1-4) (1991), 255-259.
6. C. Drescher, M. Gebser, T. Grote, B. Kaufmann, A. König, M. Ostrowski and T. Schaub, Conflict-driven disjunctive answer set solving, in: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, G. Brewka and J. Lang, eds, AAAI Press, Menlo Park, CA, USA, 2008,pp. 422-432.
7. W. Faber, Enhancing efficiency and expressiveness in answer set programming systems, PhD thesis, Institut fur Informationssysteme, Technische Universität Wien, 2002.
8. W. Faber, G. Greco and N. Leone, Magic sets and their application to data integration, Journal ofComputer and System Sciences 73(4) (2007), 584-609. (Pubitemid 46440976)
9. M. Gebser, T. Schaub and S. Thiele, Gringo: A new grounder for answer set programming, in: Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR'07, Tempe, AZ, May 2007, C. Baral, G. Brewka and J. Schlipf, eds, LNCS, Vol. 4483, Springer-Verlag, Heidelberg, Germany, pp. 266-271.
10. R.P. Goldman and M.S. Boddy, Expressive planning and explicit knowledge, in: Proceedings AIPS-96, AAAI Press, Menlo Park, CA, USA, 1996, pp. 110-117.
11. S. Greco, Binding propagation techniques for the optimization of bound disjunctive queries, IEEE Transactions on Knowledge and Data Engineering 15(2) (2003), 368-385.
12. T. Janhunen, I. Niemelä, D. Seipel, P. Simons and J.-H. You, Unfolding partiality and disjunctions in stable model semantics, ACM Transactions on Computational Logic 7(1) (2006),1-37. (Pubitemid 43924967)
13. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri and F. Scarcello, The DLV system for knowledge representation and reasoning, ACM Transactions on Computational Logic 7(3) (2006), 499-562. (Pubitemid 44330485)
14. N. Leone, P. Rullo and F. Scarcello, Disjunctive stable models: unfounded sets, fixpoint semantics and computation, Information and Computation 135(2) (1997), 69-112. (Pubitemid 127452754)
15. Y. Lierler, Disjunctive answer set programming via satisfiability, In Logic Programming and Nonmonotonic Reasoning - 8th International Conference, LPNMR'05, Diamante, Italy, September 2005, C. Baral, G. Greco, N. Leone and G. Ter- racina, eds, LNCS, Vol. 3662, Springer-Verlag, Heidelberg, Germany, pp. 447-451.
16. J.D. Ullman, Principles of Database and Knowledge Base Systems, Computer Science Press, New York, NY, USA, 1989.