{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:16Z","timestamp":1725663556356},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564546"},{"type":"electronic","value":"9783540475620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56454-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:10:34Z","timestamp":1330254634000},"page":"80-99","source":"Crossref","is-referenced-by-count":0,"title":["CLP $$(\\mathcal{A}\\mathcal{D})$$ as a deductive database language with updates"],"prefix":"10.1007","author":[{"given":"Elisa","family":"Bertino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danilo","family":"Montesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"5_CR1","first-page":"1","volume-title":"volume 326 of Lecture Notes in Computer Science","author":"S. Abiteboul","year":"1988","unstructured":"S. Abiteboul. Updates, a New Frontier. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proc. Second Int 1 Conf. on Database Theory, volume 326 of Lecture Notes in Computer Science, pages 1\u201318. Springer-Verlag, Berlin, 1988."},{"key":"5_CR2","series-title":"Volume B: Formal Models and Semantics","volume-title":"Handbook of Theoretical Computer Science","author":"K. R. Apt","year":"1990","unstructured":"K.R. Apt. Introduction to Logic Programming. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science. Elsevier, Amsterdam and The MIT Press, Cambridge, 1990. Volume B: Formal Models and Semantics."},{"key":"5_CR3","unstructured":"E. Bertino, M. Martelli, and D. Montesi. A Incremental Semantics for CLP(AD). To appear in Fourth Italian Conference on Theoretical Computer Science, 1992."},{"key":"5_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, Berlin, 1990."},{"issue":"1","key":"5_CR5","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"S. Ceri, G. Gottlob, and L. Tanca. What You Always Wanted to Know About Datalog \u2014 And Never Dared to Ask. IEEE Tran. on Knowledge and Data Eng., 1(1):146\u2013164, March 1989.","journal-title":"IEEE Tran. on Knowledge and Data Eng."},{"key":"5_CR6","unstructured":"A. Colmerauer. Opening the Prolog-III universe. BYTE magazine, vol. 12, n. 9, 1987."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"M. A. Derr, G. Phipps, and K. A. Ross. Glue-Nail: A Deductive Database System. In Proc. Int'l Conf. ACM on Management of Data, pages 308\u2013317, 1991.","DOI":"10.1145\/119995.115840"},{"key":"5_CR8","unstructured":"M. Dincbas et al. The Constraint Logic Programming Language CHIP. In Proc. Int'l Conf. on Fifth Generation Computer Systems. Institute for New Generation Computer Technology, 1988."},{"key":"5_CR9","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A model-theoretic reconstruction of the operational semantics of logic programs. Technical Report TR 32\/89, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1989. To appear in Information and Computation."},{"key":"5_CR10","first-page":"238","volume-title":"Modeling answer constraints in Contraint Logic Programs","author":"M. Gabbrielli","year":"1991","unstructured":"M. Gabbrielli and G. Levi. Modeling answer constraints in Contraint Logic Programs. In K. Furukawa, editor, Proc. Eighth Int'l Conf. on Logic Programming, pages 238\u2013252. The MIT Press, Cambridge, Mass., 1991."},{"key":"5_CR11","first-page":"111","volume-title":"Constraint Logic Programming","author":"J. Jaffar","year":"1987","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In Proc. Fourteenth Annual ACM Symp. on Principles of Programming Languages, pages 111\u2013119. ACM, New York, USA, 1987."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. Technical report, Department of Computer Science, Monash University, June 1986.","DOI":"10.1145\/41625.41635"},{"key":"5_CR13","volume-title":"Methdology and implementation of a CLP system","author":"J. Lassez","year":"1987","unstructured":"J. Lassez and S. Michaylor. Methdology and implementation of a CLP system. In J.-L. Lassez, editor, Proc. Fourth Int'l Conf. on Logic Programming. The MIT Press, Cambridge, Mass., 1987."},{"key":"5_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"J. W. Lloyd","year":"1987","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, Berlin, 1987. Second edition.","edition":"Second edition"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"S. Manchanda and D. S. Warren. A Logic-based Language for Database Updates. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 363\u2013394. Morgan-Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50014-2"},{"key":"5_CR16","first-page":"251","volume-title":"Database Updates in Logic Programming","author":"S. Naqvi","year":"1988","unstructured":"S. Naqvi and R. Krishnamurthy. Database Updates in Logic Programming. In Proc. of the ACM Symposium on Principles of Database Systems, pages 251\u2013262. ACM, New York, USA, 1988."},{"key":"5_CR17","unstructured":"S. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1989."},{"key":"5_CR18","volume-title":"Semantic foundations of concurrent constraint programming","author":"V. A. Saraswat","year":"1991","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proc. Eighteenth Annual ACM Symp. on Principles of Programming Languages. ACM, New York, USA, 1991."},{"key":"5_CR19","first-page":"315","volume-title":"A Framework for Comparison of Updates Semantics","author":"M. Winslett","year":"1988","unstructured":"M. Winslett. A Framework for Comparison of Updates Semantics. In Proc. of the ACM Symposium on Principles of Database Systems, pages 315\u2013324. ACM, New York, USA, 1988."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56454-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:22:56Z","timestamp":1687285376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56454-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564546","9783540475620"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-56454-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}