Abstract
The exploitation of ASP systems for solving real application problems pointed out the need of combining the expressive power of ASP programming with the efficient data management features of existing DBMSs. This paper presents DLVDB, an extension to the DLV system allowing to instantiate logic programs directly on databases and to handle input and output data distributed on several databases.
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
Cumbo, C., Faber, W., Greco, G., Leone, N.: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. Technical report
Dell’Armi, T., Faber, W., Ielpa, G., Koch, C., Leone, N., Perri, S., Pfeifer, G.: System Description: DLV. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 409–412. Springer, Heidelberg (2001)
Faber, W., Leone, N., Mateis, C., Pfeifer, G.: Using Database Optimization Techniques for Nonmonotonic Reasoning. In: INAP Organizing Committee, editor, Proceedings of the 7th International Workshop on Deductive Databases and Logic Programming (DDLP 1999), September 1999, pp. 135–139. Prolog Association of Japan (1999)
Franconi, E., Laureti Palma, A., Leone, N., Perri, S., Scarcello, F.: Census Data Repair: a Challenging Application of Disjunctive Logic Programming. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 561–578. Springer, Heidelberg (2001)
Niemelä, I., Simons, P., Syrjänen, T.: Smodels: A System for Answer Set Programming. In: Baral, C., Truszczyński, M. (eds.) Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), Breckenridge, Colorado, USA (April 2000)
Ullman, J.D.: Principles of Database and Knowledge Base Systems. Computer Science Press, Rockville (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leone, N., Lio, V., Terracina, G. (2003). DLVDB: Bridging the Gap between ASP Systems and DBMSs. In: Lifschitz, V., Niemelä, I. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2004. Lecture Notes in Computer Science(), vol 2923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24609-1_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-24609-1_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20721-4
Online ISBN: 978-3-540-24609-1
eBook Packages: Springer Book Archive