{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:54Z","timestamp":1725484914244},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_64","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"957-971","source":"Crossref","is-referenced-by-count":0,"title":["On Verification in Logic Database Languages"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Bonchi","sequence":"first","affiliation":[]},{"given":"Fosca","family":"Giannotti","sequence":"additional","affiliation":[]},{"given":"Dino","family":"Pedreschi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"64_CR1","unstructured":"K. R. Apt. Program verification and Prolog. In E. Borger, editor, Specification and Validation methods for Programming languages and systems. Oxford University press, 1994."},{"key":"64_CR2","unstructured":"N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A Second Generation Deductive Databases Systems. Technical report, MCC Corporation, 1993."},{"key":"64_CR3","unstructured":"F. Bonchi. Verification of Datalog++ Programs (in Italian). Master\u2019s thesis, Department of Computer Science University of Pisa, 1998."},{"key":"64_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1018947420290","volume":"19","author":"A. Brogi","year":"1997","unstructured":"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\u201396, 1997.","journal-title":"Annals of Mathematics in Artificial Intelligence"},{"key":"64_CR5","unstructured":"K.M. Chandy and J. Misra. Parrallel Program Design: A Foundation. Addison-Wesley, 1988."},{"key":"64_CR6","unstructured":"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\u2013320. Benjamin Cummings, 1993."},{"key":"64_CR7","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(93)90107-5","volume":"118","author":"P. Derensart","year":"1993","unstructured":"P. Derensart. Proof methods of declarative properties of definite programs. Theoretical Computer Science, 118:99\u2013166, 1993.","journal-title":"Theoretical Computer Science"},{"key":"64_CR8","unstructured":"M. Gelfond and V. Lifchitz. The Stable Model Semantics for logic programming. In Proc. of the 5th Int. Conf. on Logic Programming, pages 1070\u20131080, 1988."},{"key":"64_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1018999404360","volume":"19","author":"F. Giannotti","year":"1997","unstructured":"F. Giannotti, S. Greco, D. Sacc\u00e0, and C. Zaniolo. Programming with non Determinism in Deductive Databases. Annals of Mathematics in Artificial Intelligence, 19:97\u2013125, 1997.","journal-title":"Annals of Mathematics in Artificial Intelligence"},{"key":"64_CR10","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1109\/69.956102"},{"key":"64_CR11","unstructured":"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."},{"key":"64_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-55015-1_7","volume-title":"Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases (DOOD91)","author":"F. Giannotti","year":"1991","unstructured":"F. Giannotti, D. Pedreschi, D. Sacc\u00e0, 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\u2013146, 1991."},{"key":"64_CR13","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0304-3975(92)90019-C","volume":"103","author":"V. Marek","year":"1992","unstructured":"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\u2013386, 1992.","journal-title":"Theoretical Computer Science"},{"key":"64_CR14","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logic of programs. In Proceedings of the 18 th. IEEE Symposium on Foundations of Computer Science, pages 44\u201357, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"64_CR15","doi-asserted-by":"crossref","unstructured":"D. Sacc\u00e0 and C. Zaniolo. Stable Models and Non-determinism in Logic Programs with Negation. In Proc. of the ACM Symp. on Principles of Database Systems.","DOI":"10.1145\/298514.298572"},{"key":"64_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/3-540-60608-4_34","volume-title":"Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD95)","author":"C. Zaniolo","year":"1995","unstructured":"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\u201372, 1995."},{"key":"64_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 3rd Int. Conf. on Deductive and Object-Oriented Databases (DOOD93)","author":"C. Zaniolo","year":"1993","unstructured":"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."},{"key":"64_CR18","unstructured":"C. Zaniolo, S. Ceri, C. Faloutsos, R.T Snodgrass, V.S. Subrahmanian, and R. Zicari. Advanced Database Systems. Morgan Kaufman, 1997."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:24:38Z","timestamp":1556465078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_64","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}