Optimizing the distributed evaluation of stratified programs via structural analysis

Authors:
Rosamaria Barilaro;Francesco Ricca;Giorgio Terracina
Affiliations:
Department of Mathematics, University of Calabria, Italy;Department of Mathematics, University of Calabria, Italy;Department of Mathematics, University of Calabria, Italy
Venue:
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Year:
2011

Citing 13
Cited 1

Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Foundations of deductive databases and logic programming

Foundations of deductive databases and logic programming
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
A new paradigm for parallel and distributed rule-processing

SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Predictive dynamic load balancing of parallel and distributed rule and query processing

SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Conjunctive Query Containment Revisited

ICDT '97 Proceedings of the 6th International Conference on Database Theory
The INFOMIX system for advanced integration of incomplete and inconsistent data

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Issues in parallel execution of non-monotonic reasoning systems

Parallel Computing
Weighted hypertree decompositions and optimal query plans

Journal of Computer and System Sciences
Algorithms for acyclic database schemes

VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Experimenting with recursive queries in database and logic programming systems

Theory and Practice of Logic Programming
Experimenting with parallelism for the instantiation of ASP programs

Journal of Algorithms
OpenRuleBench: an analysis of the performance of rule engines

Proceedings of the 18th international conference on World wide web

Distributed ontology based data access via logic programming

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems

Quantified Score

Hi-index	0.00

Visualization

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.