{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:48:44Z","timestamp":1725576524717},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232438"},{"type":"electronic","value":"9783540302049"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30204-9_2","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T13:06:23Z","timestamp":1295355983000},"page":"22-36","source":"Crossref","is-referenced-by-count":8,"title":["Update Propagation in Deductive Databases Using Soft Stratification"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Behrend","sequence":"first","affiliation":[]},{"given":"Rainer","family":"Manthey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Foundations of Deductive Databases and Logic Programs","first-page":"89","volume-title":"Towards a theory of declarative knowledge","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. Foundations of Deductive Databases and Logic Programs, pp. 89\u2013148. M. Kaufmann, San Francisco (1988)"},{"issue":"3&4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0743-1066(91)90030-S","volume":"11","author":"I. Balbin","year":"1991","unstructured":"Balbin, I., Port, G.S., Ramamohanarao, K., Meenakshi, K.: Efficient bottom-up computation of queries. JLP\u00a011(3&4), 295\u2013344 (1991)","journal-title":"JLP"},{"key":"2_CR3","unstructured":"Baralis, E., Widom, J.: A rewriting technique for using delta relations to improve condition evaluation in active databases. Technical Report CS-93-1495, Stanford University (November 1993)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Behrend, A.: Soft stratification for magic set based query evaluation in deductive databases. In: PODS 2003, New York, June 9\u201312, pp. 102\u2013110 (2003)","DOI":"10.1145\/773153.773164"},{"issue":"6","key":"2_CR5","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/0306-4379(94)90002-7","volume":"19","author":"S. Ceri","year":"1994","unstructured":"Ceri, S., Widom, J.: Deriving incremental production rules for deductive data. Information Systems\u00a019(6), 467\u2013490 (1994)","journal-title":"Information Systems"},{"key":"2_CR6","unstructured":"Griefahn, U.: Reactive Model Computation\u2013A Uniform Approach to the Implementation of Deductive Databases. PhD Thesis, University of Bonn (1997)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Griffin, T., Libkin, L.: Incremental maintenance of views with duplicates. In: SIGMOD 1995, San Jose, May 23-25, pp. 328\u2013339 (1995)","DOI":"10.1145\/223784.223849"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mumick, I.S., Ross, K.A.: Adapting materialized views after redefinitions. In: SIGMOD 1995, vol.\u00a024(2), pp. 211\u2013222 (1995)","DOI":"10.1145\/223784.223817"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: SIGMOD, vol.\u00a022(2), pp. 157\u2013166 (1993)","DOI":"10.1145\/170035.170066"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-55015-1_26","volume-title":"Deductive and Object-Oriented Databases","author":"V. K\u00fcchenhoff","year":"1991","unstructured":"K\u00fcchenhoff, V.: On the efficient computation of the difference between consecutive database states. In: Delobel, C., Masunaga, Y., Kifer, M. (eds.) DOOD 1991. LNCS, vol.\u00a0566, pp. 478\u2013502. Springer, Heidelberg (1991)"},{"key":"2_CR11","first-page":"171","volume-title":"VLDB 1993","author":"A.Y. Levy","year":"1993","unstructured":"Levy, A.Y., Sagiv, Y.: Queries Independent of Updates. In: VLDB 1993, pp. 171\u2013181. Morgan Kaufmann, San Francisco (1993)"},{"key":"2_CR12","unstructured":"Manthey, R.: Reflections on some fundamental issues of rule-based incremental update propagation. In: DAISD 1994, September 19-21, pp. 255\u2013276 (1994)"},{"key":"2_CR13","unstructured":"Martens, B., Bruynooghe, M.: Integrity constraint checking in deductive databases using a rule\/goal graph. In: EDS 1988, pp. 567\u2013601 (1988)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","first-page":"118","volume-title":"ICDT \u201988","author":"G. Moerkotte","year":"1988","unstructured":"Moerkotte, G., Karl, S.: Efficient consistency control in deductive databases. In: Gyssens, M., Van Gucht, D., Paredaens, J. (eds.) ICDT 1988. LNCS, vol.\u00a0326, pp. 118\u2013128. Springer, Heidelberg (1988)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Mumick, I.S., Pirahesh, H.: Implementation of magic-sets in a relational database system. In: SIGMOD, vol.\u00a023(2), pp. 103\u2013114 (1994)","DOI":"10.1145\/191839.191860"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Naughton, J.F., Ramakrishnan, R., Sagiv, Y., Ullman, J.D.: Efficient Evaluation of Right-, Left-, and Multi-Linear Rules. In: SIGMOD 1989, pp. 235\u2013242 (1989)","DOI":"10.1145\/66926.66948"},{"key":"2_CR17","unstructured":"Oliv\u00e9, A.: Integrity constraints checking in deductive databases. In: VLDB, pp. 513\u2013523 (1991)"},{"key":"2_CR18","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 Programs","author":"F. Sadri","year":"1988","unstructured":"Sadri, F., Kowalski, R.A.: A theorem proving approach to database integrity. In: Foundations of Deductive Databases and Logic Programs, pp. 313\u2013362. M. Kaufmann, San Francisco (1988)"},{"key":"2_CR19","unstructured":"T. Urp\u00ed, A. Oliv\u00e9. A method for change computation in deductive databases. In: VLDB 1992, Vancouver, August 23-27, pages 225\u2013237 (1992)"},{"issue":"1","key":"2_CR20","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A. Gelder van","year":"1993","unstructured":"van Gelder, A.: The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences\u00a047(1), 185\u2013221 (1993)","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR21","unstructured":"Vieille, L., Bayer, P., K\u00fcchenhoff, V.: Integrity checking and materialized views handling by update propagation in the EKS-V1 system. Technical Report TR-KB-35, ECRC, M\u00fcnchen (June 1991)"},{"key":"2_CR22","unstructured":"W\u00fcthrich, B.: Detecing inconsistencies in deductive databases. Technical Report 1990TR-123, Swiss Federal Institute of Technology, ETH (1990)"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30204-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:48:04Z","timestamp":1605761284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30204-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232438","9783540302049"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30204-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}