{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:07:43Z","timestamp":1755925663010},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:33:21Z","timestamp":1330295601000},"page":"420-432","source":"Crossref","is-referenced-by-count":5,"title":["On homeostatic behavior of dynamic deductive data bases"],"prefix":"10.1007","author":[{"given":"Michael I.","family":"Dekhtyar","sequence":"first","affiliation":[]},{"given":"Alexander Ja.","family":"Dikovsky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"35_CR1","unstructured":"Abiteboul, S., Vianu, V., Datalog extensions for database queries and updates, I.N.R.I.A. Technical Report No. 900, 1988."},{"key":"35_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of deductive databases and logic programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H. and Walker A., Towards a theory of declarative knowledge. in: J. Minker (ed.) Foundations of deductive databases and logic programming. Morgan Kaufman Pub., Los Altos, 89\u2013148, 1988."},{"key":"35_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(90)90011-6","volume":"76","author":"A.J. Bonner","year":"1990","unstructured":"Bonner, A.J., Hypothetical Datalog: complexity and expressibility. Theoretical Computer Science, 76, 3\u201351, 1990.","journal-title":"Theoretical Computer Science"},{"key":"35_CR4","unstructured":"Bonner, A.G., Kifer, M., Transaction logic programing, In Proc. of the Tenth Intern. Conf. on Logic Programming. The MIT Press, 257\u2013279, 1993."},{"issue":"n.1","key":"35_CR5","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D.C., Stockmeyer, L.J., Alternation. J. Ass. Comput. Mach., v.28, n.1, 114\u2013133, 1981.","journal-title":"J. Ass. Comput. Mach."},{"key":"35_CR6","unstructured":"Dekhtyar, M.I., Dikovsky, A.Ja., Dynamic deductive databases. Izvestiya of Russian Acad. of Sci. Technical Cybernetics, n.5, 1994, (Russ)."},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Dekhtyar, M.I., Dikovsky, A.Ja., Dynamic Deductive Data Bases with Steady Behavior. In Proc. of The 12th International Conf. on Logic Programming, (Ed. L. Sterling), The MIT Press, 183\u2013197, 1995.","DOI":"10.7551\/mitpress\/4298.003.0026"},{"key":"35_CR8","unstructured":"Dekhtyar, M.I., Dikovsky, A.Ja., Properties of Steady Behavior of Dynamic De-ductive Data Bases. Part I. \u2203\u2203-stability and Promise. Technical rept. 95-07, Universite Paris XII-Val de Marne, Septembre 1995, 1\u201326."},{"key":"35_CR9","unstructured":"Dung, P.M., Representing actions in logic programming and its application in database updates. In Proc. of the Tenth Intern. Conf. on Logic Programming. The MIT Press, 222\u2013238, 1993."},{"key":"35_CR10","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G., On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence, vol. 57, 227\u2013270, 1992.","journal-title":"Artificial Intelligence"},{"issue":"n.2","key":"35_CR11","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"Gallaire, H., Minker, J., Nicolas, J.-M., Logic and databases: a deductive approach. ACM Computing Surveys, vol. 16, n.2, 153\u2013185, 1984.","journal-title":"ACM Computing Surveys"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Halfeld Ferrari Alves, M., Laurent, D., Spyratos, N., Stamate, D., Update rules and revision programs. Rapport de Recherche n. 1010, 12 \/ 1995, Universit\u00e9 de Paris-Sud, Centre d'Orsay, LRI.","DOI":"10.1007\/3-540-59487-6_6"},{"key":"35_CR13","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A. O., Propositional knowledge base revision and minimal change. Artificial Intelligence, vol. 52, 253\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"35_CR14","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/B978-0-934613-40-8.50014-2","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"S. Manchanda","year":"1988","unstructured":"Manchanda, S., Warren, D.S., A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, Morgan-Kaufmann, Los Altos, CA, 363\u2013394, 1988."},{"key":"35_CR15","unstructured":"Marek, V.W., Truszci\u0144sky, M. Revision programming, database updates and integrity constraints. In International Conference on Data Base theory, ICDT, LNCS n. 893."},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Naqvi, S., Krishnamurthy, R., Database updates in logic programming. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 251\u2013262, 1988.","DOI":"10.1145\/308386.308451"},{"key":"35_CR17","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/B978-0-934613-40-8.50013-0","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"F. Sadri","year":"1988","unstructured":"Sadri, F., Kowalski, R., A theorem proving approach to database integrity. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, Morgan-Kaufmann, Los Altos, CA, 313\u2013362, 1988."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:50:29Z","timestamp":1713635429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}