Abstract
We consider in this paper an extension of Datalog with mechanisms for non-monotonic and non-deterministic reasoning and a simple form of temporal reasoning, which we refer to as Datalog++. First, we show how with this logic database language is possible to express problems in heterogeneous domains, such as operation research and concurrent programming. Second, we provide a methodology for the verification of Datalog++ programs, based on the declarative semantics, which is able to handle both atemporal and temporal properties.
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
K. R. Apt. Program verification and Prolog. In E. Borger, editor, Specification and Validation methods for Programming languages and systems. Oxford University press, 1994.
N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A Second Generation Deductive Databases Systems. Technical report, MCC Corporation, 1993.
F. Bonchi. Verification of Datalog++ Programs (in Italian). Master’s thesis, Department of Computer Science University of Pisa, 1998.
A. Brogi, V. S. Subrahmanian, and C. Zaniolo. The Logic of Totally and Partially Ordered Plans: a Deductive Database Approach. Annals of Mathematics in Artificial Intelligence, 19:59–96, 1997.
K.M. Chandy and J. Misra. Parrallel Program Design: A Foundation. Addison-Wesley, 1988.
J. Chomicki. Temporal deductive databases. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors, Temporal Databases: Theory, Design and Implementation, pages 294–320. Benjamin Cummings, 1993.
P. Derensart. Proof methods of declarative properties of definite programs. Theoretical Computer Science, 118:99–166, 1993.
M. Gelfond and V. Lifchitz. The Stable Model Semantics for logic programming. In Proc. of the 5th Int. Conf. on Logic Programming, pages 1070–1080, 1988.
F. Giannotti, S. Greco, D. Saccà, and C. Zaniolo. Programming with non Determinism in Deductive Databases. Annals of Mathematics in Artificial Intelligence, 19:97–125, 1997.
F. Giannotti, G. Manco, M. Nanni, D. Pedreschi, and F. Turini. Nondeterministic, nonmonotonic logic databases. To appear in IEEE Transaction on Knowledge and Data Engineering, 2000.
F. Giannotti, G. Manco, and D. Pedreschi. A Deductive Data Model for Representing and Querying Semistructured Data. In Proc. 5th Int. Conf. on Deductive and Object-Oriented Databases (DOOD97), December 1997.
F. Giannotti, D. Pedreschi, D. Saccà, and C. Zaniolo. Non-Determinism in Deductive Databases. In Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases (DOOD91), volume 566 of Lecture Notes in Computer Science, pages 129–146, 1991.
V. Marek and V.S. Subrahmanian. The relation between stable, supported, default and auto-epistemic semantics for general logic programs. Theoretical Computer Science, 103:365–386, 1992.
A. Pnueli. The temporal logic of programs. In Proceedings of the 18 th. IEEE Symposium on Foundations of Computer Science, pages 44–57, 1977.
D. Saccà and C. Zaniolo. Stable Models and Non-determinism in Logic Programs with Negation. In Proc. of the ACM Symp. on Principles of Database Systems.
C. Zaniolo. Active Database Rules with Transaction Conscious Stable Model Semantics. In Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD95), volume 1013 of Lecture Notes in Computer Science, pages 55–72, 1995.
C. Zaniolo, N. Arni, and K. Ong. Negation and Aggregates in Recursive Rules: The LDL++ Approach. In Proc. 3rd Int. Conf. on Deductive and Object-Oriented Databases (DOOD93), volume 760 of Lecture Notes in Computer Science, 1993.
C. Zaniolo, S. Ceri, C. Faloutsos, R.T Snodgrass, V.S. Subrahmanian, and R. Zicari. Advanced Database Systems. Morgan Kaufman, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bonchi, F., Giannotti, F., Pedreschi, D. (2000). On Verification in Logic Database Languages. In: Lloyd, J., et al. Computational Logic — CL 2000. CL 2000. Lecture Notes in Computer Science(), vol 1861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44957-4_64
Download citation
DOI: https://doi.org/10.1007/3-540-44957-4_64
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67797-0
Online ISBN: 978-3-540-44957-7
eBook Packages: Springer Book Archive