Abstract
The attention received by query optimization is constantly growing, but efficiently reasoning over natively distributed data is still an open issue. Three main problems must be faced in this context: (i) rules to be processed may contain many atoms and may involve complex joins among them; (ii) the original distribution of input data is a fact and must be considered in the optimization process; (iii) the integration of the reasoning engine with DBMSs must be tight enough to allow efficient interactions but general enough to avoid limitations in kind and location of databases. This paper provides an optimization strategy based on structural analysis facing these issues.
This work has been partially supported by the Calabrian Region under PIA (Pacchetti Integrati di Agevolazione industria, artigianato e servizi) project DLVSYSTEM approved in BURC n. 20 parte III del 15/05/2009 - DR n. 7373 del 06/05/2009.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Minker [8], pp. 89–148
Balduccini, M., Pontelli, E., Elkhatib, O., Le, H.: Issues in parallel execution of non-monotonic reasoning systems. Parallel Computing 31(6), 608–647 (2005)
Calimeri, F., Perri, S., Ricca, F.: Experimenting with Parallelism for the Instantiation of ASP Programs. Journal of Algorithms in Cognition, Informatics and Logics 63(1-3), 34–54 (2008)
Chekuri, C., Rajaraman, A.: Conjunctive query containment revisited, pp. 56–70 (1998)
Dewan, H.M., Stolfo, S.J., Hernández, M., Hwang, J.-J.: Predictive dynamic load balancing of parallel and distributed rule and query processing. In: Proc. of ACM SIGMOD 1994, pp. 277–288. ACM, New York (1994)
Leone, N., et al.: The INFOMIX system for advanced integration of incomplete and inconsistent data. In: Proc. of SIGMOD 2005, pp. 915–917. ACM, New York (2005)
Liang, S., Fodor, P., Wan, H., Kifer, M.: Openrulebench: an analysis of the performance of rule engines. In: Proc. of WWW 2009, pp. 601–610 (2009)
Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Washington DC (1988)
Scarcello, F., Greco, G., Leone, N.: Weighted hypertree decompositions and optimal query plans. JCSS 73(3), 475–506 (2007)
Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8(2), 129–165 (2008)
Ullman, J.D.: Principles of Database and Knowledge Base Systems. Computer Science Press, Rockvillie (1989)
Wolfson, O., Ozeri, A.: A new paradigm for parallel and distributed rule-processing. In: SIGMOD Conference 1990, New York, USA, pp. 133–142 (1990)
Yannakakis, M.: Algorithms for acyclic database schemes. In: Proc. of VLDB 1981, Cannes, France, pp. 82–94 (1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barilaro, R., Ricca, F., Terracina, G. (2011). Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. In: Delgrande, J.P., Faber, W. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. Lecture Notes in Computer Science(), vol 6645. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20895-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-20895-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20894-2
Online ISBN: 978-3-642-20895-9
eBook Packages: Computer ScienceComputer Science (R0)