{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:11Z","timestamp":1747548371262},"publisher-location":"London","reference-count":26,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198031"},{"type":"electronic","value":"9781447135548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3554-8_8","type":"book-chapter","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T04:34:10Z","timestamp":1358397250000},"page":"121-132","source":"Crossref","is-referenced-by-count":2,"title":["Modelling Database Updates with Constraint Logic Programming"],"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","reference":[{"key":"8_CR1","first-page":"218","volume-title":"Proc. of the ACM Symposium on Principles of Database Systems","author":"S Abiteboul","year":"1990","unstructured":"S. Abiteboul, E. Simon, and V. Vianu. Non-Deterministic Languages to Express Deterministic Transformations. In Proc. of the ACM Symposium on Principles of Database Systems, pages 218\u2013229. ACM, New York, USA, 1990."},{"key":"8_CR2","first-page":"260","volume-title":"Proc. of the ACM Symposium on Principles of Database Systems","author":"S Abiteboul","year":"1987","unstructured":"S. Abiteboul and V. Vianu. A Transaction Language Complete for Database Update and Specification. In Proc. of the ACM Symposium on Principles of Database Systems, pages 260\u2013268. ACM, New York, USA, 1987."},{"key":"8_CR3","first-page":"240","volume-title":"Proc. of the ACM Symposium on Principles of Database Systems","author":"S Abiteboul","year":"1988","unstructured":"S. Abiteboul and V. Vianu. Procedural and Declarative Database Update Languages. In Proc. of the ACM Symposium on Principles of Database Systems, pages 240\u2013251. ACM, New York, USA, 1988."},{"key":"8_CR4","volume-title":"Benjamin Cummings","author":"P Atzeni","year":"1992","unstructured":"P. Atzeni, C. Batini, and V. De Antonellis. Relational Database Theory: a Comprehensive Introduction. Benjamin Cummings, 1992. To appear."},{"key":"8_CR5","volume-title":"J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 439-519. Morgan-Kaufmann","author":"F Bancilhon","year":"1987","unstructured":"F. Bancilhon and R. Ramakrishnan. Performance Evaluation of Data Intensive Logic Programs. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 439\u2013519. Morgan-Kaufmann, 1987."},{"key":"8_CR6","first-page":"286","volume-title":"Proc. of the ACM Symposium on Principles of Database Systems","author":"AJ Bonner","year":"1989","unstructured":"A. J. Bonner. Hypothetical Datalog: Negation and Linear Recursion. In Proc. of the ACM Symposium on Principles of Database Systems, pages 286\u2013300. ACM, New York, USA, 1989."},{"key":"8_CR7","first-page":"32","volume-title":"C. Zaniolo and C. Delobel, editors, Proc. Seventh Intl Conf. on Very Large Data Bases","author":"ML Brodie","year":"1981","unstructured":"M. L. Brodie. On Modelling Behavioural Semantics of Databases. In C. Zaniolo and C. Delobel, editors, Proc. Seventh Int\u2019l Conf. on Very Large Data Bases, pages 32\u201342, 1981."},{"issue":"1","key":"8_CR8","doi-asserted-by":"crossref","first-page":"146\u2014","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 - And Never Dared to Ask. IEEE Tran. on Knowledge and Data Eng., 1(1):146\u2014 164, March 1989.","journal-title":"IEEE Tran. on Knowledge and Data Eng."},{"key":"8_CR9","unstructured":"A. Colmerauer. Opening the Prolog-III universe. BYTE magazine, vol. 12, n. 9, 1987."},{"key":"8_CR10","first-page":"308","volume-title":"Proc. Intl Conf. ACM on Management of Data","author":"MA Derr","year":"1991","unstructured":"M. A. Derr, G. Phipps, and K. A. Ross. Glue-Nail: A Deductive Database System. In Proc. Int\u2019l Conf. ACM on Management of Data, pages 308\u2013317, 1991."},{"key":"8_CR11","volume-title":"Proc. Intl Conf. on Fifth Generation Computer Systems. Institute for New Generation Computer Technology","author":"M Dincbas","year":"1988","unstructured":"M. Dincbas et al. The Constraint Logic Programming Language CHIP. In Proc. Int\u2019l Conf. on Fifth Generation Computer Systems. Institute for New Generation Computer Technology, 1988."},{"volume-title":"Proc. Eighth Intl Conf. on Logic Programming, G. Levi. Modeling Answer Constraints in Contraint Logic Programs In K. Furukawa","year":"1991","key":"8_CR12","unstructured":"M. Gabbrielli and G. Levi. Modeling Answer Constraints in Contraint Logic Programs In K. Furukawa, editor, Proc. Eighth Int\u2019l Conf. on Logic Programming, pages 238\u2013252. The MIT Press, Cambridge, Mass., 1991."},{"issue":"2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker, and J. M. Nicolas. Logic and database: A deductive approach. ACM Computing Surveys, 16 (2): 153\u2013185, June 1984.","journal-title":"ACM Computing Surveys"},{"key":"8_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First-Order Dynamic Logic, volume 68 of Lecture Notes in Computer Science","author":"D Harel","year":"1979","unstructured":"D. Harel. First-Order Dynamic Logic, volume 68 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1979."},{"key":"8_CR15","volume-title":"Constraint Satisfaction in Logic Programming","author":"P Hentenrych","year":"1989","unstructured":"P. Van Hentenrych. Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge, Mass., 1989."},{"key":"8_CR16","first-page":"111","volume-title":"Proc. Fourteenth Annual ACM Symp. on Principles of Programming Languages","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":"8_CR17","volume-title":"Monash University","author":"J Jaffar","year":"1986","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. Technical report, Department of Computer Science, Monash University, June 1986."},{"key":"8_CR18","first-page":"196","volume-title":"Proc. Fourth Intl Conf. on Logic Programming","author":"J Lassez","year":"1987","unstructured":"J. Lassez and S. Michaylov. Methodology and Implementation of a CLP system. In J.-L. Lassez, editor, Proc. Fourth Int\u2019l Conf. on Logic Programming, pages 196\u2013218. The MIT Press, Cambridge, Mass., 1987."},{"key":"8_CR19","volume-title":"Addison-Wesley","author":"W","year":"1988","unstructured":"W. Leier. Constraint Programming Languages: Their Specification and Generation. Addison-Wesley, 1988."},{"key":"8_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming. Springer-Verlag","author":"JW Lloyd","year":"1987","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, Berlin, 1987. Second edition."},{"key":"8_CR21","first-page":"395","volume-title":"Bancilhon and D. J. DeWitt, editors, Proc. Fourteenth Intl Conf. on Very Large Data Bases","author":"C Maindreville","year":"1988","unstructured":"C. Maindreville and E. Simon. Modelling Non Deterministic Queries and Updates In Deductive Databases. In F. Bancilhon and D. J. DeWitt, editors, Proc. Fourteenth Intl Conf. on Very Large Data Bases, pages 395\u2013406, 1988."},{"key":"8_CR22","volume-title":"J. Minker, editor, Foundation of Deductive Databases and Logic Programming, Morgan-Kaufmann","author":"S Manchanda","year":"1987","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, 1987."},{"key":"8_CR23","first-page":"251","volume-title":"Proc. of the ACM Symposium on Principles of Database Systems","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":"8_CR24","volume-title":"Computer Science Press","author":"S Naqvi","year":"1989","unstructured":"S. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1989."},{"key":"8_CR25","volume-title":"IBM","author":"J Widom","year":"1992","unstructured":"J. Widom. A Denotational Semantics for the Starburst Production Rule Language. Technical Report RJ 8581, IBM, 1992."},{"issue":"4","key":"8_CR26","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1147\/sj.164.0324","volume":"16","author":"M Zloof","year":"1977","unstructured":"M. Zloof. Query-by-example: a Data Base Language. IBM Systems Journal, 16 (4): 324\u2013343, 1977.","journal-title":"IBM Systems Journal"}],"container-title":["Workshops in Computing","Modelling Database Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3554-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T12:40:50Z","timestamp":1557492050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3554-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198031","9781447135548"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3554-8_8","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}