Adding efficient data management to logic programming systems

Authors:
G. Terracina;N. Leone;V. Lio;C. Panetta
Affiliations:
Dipartimento di Matematica, Università della Calabria, Rende (CS), Italy;Dipartimento di Matematica, Università della Calabria, Rende (CS), Italy;Dipartimento di Matematica, Università della Calabria, Rende (CS), Italy;Dipartimento di Matematica, Università della Calabria, Rende (CS), Italy
Venue:
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Year:
2006

Citing 11
Cited 0

A generalization of the differential approach to recursive query evaluation

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

Principles of database and knowledge-base systems, Vol. I
Performance evaluation of data intensive logic programs

Foundations of deductive databases and logic programming
On the power of magic

Journal of Logic Programming
The Stanford GraphBase: a platform for combinatorial computing

The Stanford GraphBase: a platform for combinatorial computing
Magic conditions

ACM Transactions on Database Systems (TODS)
Database System Implementation

Database System Implementation
Census Data Repair: a Challenging Application of Disjunctive Logic Programming

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
System Description: DLV

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
The INFOMIX system for advanced integration of incomplete and inconsistent data

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: (i) the quantity of data that can be handled contemporarily is limited, due to the fact that reasoning is generally carried out in main memory; (ii) the interaction with external (and independent) DBMSs is not trivial and, in several cases, not allowed at all; (iii) the efficiency of present implementations is still not sufficient for their utilization in complex reasoning tasks involving massive amounts of data. This paper provides a contribution in this setting; it presents a new system, called DLVDB, which aims to solve all these problems.