{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:17:20Z","timestamp":1742383040501},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199465"},{"type":"electronic","value":"9781447135777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3577-7_2","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T14:16:38Z","timestamp":1371737798000},"page":"17-30","source":"Crossref","is-referenced-by-count":5,"title":["Updates by Reasoning about States"],"prefix":"10.1007","author":[{"given":"Georg","family":"Lausen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertram","family":"Lud\u00e4scher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"ICDT88 (Second Intl. Conf. on Data Base Theory), Bruges, LNCS 826, pages 1-18. Springer\u2014Verlag","author":"S Abiteboul","year":"1988","unstructured":"S. Abiteboul. Updates, a new frontier. In ICDT\u201988 (Second Intl. Conf. on Data Base Theory), Bruges, LNCS\n                  826, pages 1\u201318. Springer\u2014Verlag, 1988."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, 43, 1991.","DOI":"10.1016\/0022-0000(91)90032-Z"},{"key":"2_CR3","volume-title":"J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89 \u2014 148. Morgan Kaufmann","author":"K Apt","year":"1988","unstructured":"K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89 \u2014 148. Morgan Kaufmann, 1988."},{"key":"2_CR4","volume-title":"University of Toronto","author":"AJ Bonner","year":"1993","unstructured":"A. J. Bonner and M. Kifer. Transaction logic programming. Technical Report CSRI-270, Computer Systems Research Institute, University of Toronto, 1993."},{"key":"2_CR5","volume-title":"Proc. of the Intl. Conference on Logic Programming","author":"F Bry","year":"1990","unstructured":"F. Bry. Intensional updates: Abduction via deduction. In Proc. of the Intl. Conference on Logic Programming, 1990."},{"key":"2_CR6","volume-title":"Proc. of the Intl. Symposium on Methodologies for Intelligent Systems, LNCS. Springer","author":"F Bry","year":"1993","unstructured":"F. Bry. Towards intelligent databases. In Proc. of the Intl. Symposium on Methodologies for Intelligent Systems, LNCS. Springer, 1993."},{"key":"2_CR7","volume-title":"Functional Deductive Databases: Query Processing in the Presence of Limited Function Symbols","author":"J Chomicki","year":"1990","unstructured":"J. Chomicki. Functional Deductive Databases: Query Processing in the Presence of Limited Function Symbols. PhD thesis, Rutgers University, 1990."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"J. Chomicki and T. Imielinski. Temporal deductive databases and infinite objects. In Proc. of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems1988.","DOI":"10.1145\/308386.308416"},{"key":"2_CR9","volume-title":"Acm Transactions on Database Systems","author":"J Chomicki","year":"1993","unstructured":"J. Chomicki and T. Imielinski. Finite representation of infinite query answers. ACM Transactions on Database Systems, June 1993."},{"key":"2_CR10","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors Proc. of the Intl. Conference on Logic Programmingpages 1070\u20131080, 1988."},{"key":"2_CR11","unstructured":"S. Ghandeharizadeh, R. Hull, D. Jacobs, J. Castillo, M. Escobar-Molano, S.-H. Lu, J. Luo, C. Tsang, and G. Zhou. On implementing a language for specifying active database execution models. In Proc. of the Intl. Conference on Very Large Data Bases1993."},{"key":"2_CR12","volume-title":"Proc. of the Intl. Conference on Very Large Data Bases","author":"M Kramer","year":"1992","unstructured":"M. Kramer, G. Lausen, and G. Saake. Updates in a rule-based language for objects. In Proc. of the Intl. Conference on Very Large Data Bases, 1992."},{"key":"2_CR13","unstructured":"D. Laurent, V. Phan Luong, and N. Spyratos. Updating intensional predicates in deductive databases. In Proc. of the IEEE Intl. Conference on Data Engineering1993."},{"key":"2_CR14","volume-title":"Technical Report","author":"G Lausen","year":"1994","unstructured":"G. Lausen and B. Lud\u00e4scher. Updates by reasoning about states. Technical Report 59, Universit\u00e4t Freiburg, Institut f\u00fcr Informatik, Sept. 1994."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"S. Manchanda and D. S. Warren. A logic-based language for database updates. In J. Minker, editor Foundations of Deductive Databases and Logic Programmingpages 363\u2013394. Morgan-Kaufmann, Los Altos, CA, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50014-2"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"S. Naqvi and R. Krishnamurthy. Database updates in logic programming. In Proc. of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems pages 251\u2013262, 1988.","DOI":"10.1145\/308386.308451"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, editor Foundations of Deductive Databases and Logic Programmingpages 191 \u2014 216. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"R. Ramakrishnan, D. Srivastava, S. Sudarshan, and P. Seshadri. Implementation of the coral deductive database system. In Proc. of the ACM SIGMOD Conference on Management of Data1993.","DOI":"10.1145\/170035.170067"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. XSB as an efficient deductive database engine. In Proc. of the ACM SIGMOD Conference on Management of Data1994.","DOI":"10.1145\/191839.191927"},{"key":"2_CR20","volume-title":"Principles of Database and Knowledge-Base Systems, Volume I","author":"JD Ullman","year":"1988","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press, New York, 1988."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. Negation as failure using tight derivations for general logic programs. In J. Minker, editor Foundations of Deductive Databases and Logic Programmingpages 149\u2013176. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50007-5"},{"key":"2_CR22","first-page":"7","volume":"650","author":"A Gelder","year":"1991","unstructured":"A. Van Gelder, K. Ross, and J. Schlipf. The well-founded sematics for general logic programs. JA CM, 38(3):620 \u2014 650, 7 1991.","journal-title":"The well-founded sematics for general logic programs. Ja CM, 38(3):620 \u2014"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"C. Zaniolo. A unified semantics for active and deductive databases. In Proceedings of the Workshop on Rules in Database SystemsWorkshops in Computing, Edinburgh, U.K., 1993. Springer.","DOI":"10.1007\/978-1-4471-3225-7_16"}],"container-title":["Workshops in Computing","East\/West Database Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3577-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T09:40:33Z","timestamp":1557826833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3577-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199465","9781447135777"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3577-7_2","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}