{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T19:24:31Z","timestamp":1747337071904},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319300238"},{"type":"electronic","value":"9783319300245"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30024-5_11","type":"book-chapter","created":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T03:53:01Z","timestamp":1456977181000},"page":"191-208","source":"Crossref","is-referenced-by-count":2,"title":["Maintenance of Queries Under Database Changes: A Unified Logic Based Approach"],"prefix":"10.1007","author":[{"given":"Elena V.","family":"Ravve","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,4]]},"reference":[{"key":"11_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)"},{"issue":"4","key":"11_CR2","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/1620585.1620592","volume":"34","author":"M Benedikt","year":"2009","unstructured":"Benedikt, M., Koch, C.: From XQuery to relational logics. ACM Trans. Database Syst. 34(4), 25:1\u201325:48 (2009)","journal-title":"ACM Trans. Database Syst."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Buneman, P., Khanna, S., Tan, W.-C.: On propagation of deletions and annotations through views. In: Proceedings of the 21st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Madison, WI, 3\u20136 June 2002, pp. 150\u2013158 (2002)","DOI":"10.1145\/543613.543633"},{"key":"11_CR4","unstructured":"Bosse, U.: Ehrenfeucht-Fra\u00efss\u00e9 Games for Fixed Point Logic. Ph.D. thesis. Department of Mathematics, University of Freiburg, Germany (1995)"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F Bancilhon","year":"1981","unstructured":"Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst. 6(4), 557\u2013575 (1981)","journal-title":"ACM Trans. Database Syst."},{"key":"11_CR6","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic, 3rd edn. vol. 73. North-Holland, Amsterdam (1990)"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of large shared data banks. Commun. ACM 13(2), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"11_CR8","unstructured":"Dawar, A., Hellat, L.: The expressive power of finitely many genaralized quantifiers. Technical report CSR 24\u201393. Computer Science Department, University of Wales, University College of Swansea, UK (1993)"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/S0890-5401(03)00017-8","volume":"181","author":"G Dong","year":"2003","unstructured":"Dong, G., Libkin, L., Wong, L.: Incremental recomputation in local languages. Inf. Comput. 181(2), 88\u201398 (2003)","journal-title":"Inf. Comput."},{"issue":"1\u20132","key":"11_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1018951521198","volume":"19","author":"G Dong","year":"1997","unstructured":"Dong, G., Su, J.: Deterministic FOIES are strictly weaker. Ann. Math. Artif. Intell. 19(1\u20132), 127\u2013146 (1997)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"11_CR11","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1006\/jcss.1998.1565","volume":"57","author":"G Dong","year":"1998","unstructured":"Dong, G., Su, J.: Arity bounds in first-order incremental evaluation and definition of polynomial time database queries. J. Comput. Syst. Sci. 57(3), 289\u2013308 (1998)","journal-title":"J. Comput. Syst. Sci."},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-56039-4_48","volume-title":"Database Theory - ICDT \u201992","author":"G Dong","year":"1992","unstructured":"Dong, G., Topor, R.: Incremental evaluation of Datalog queries. In: Hull, R., Biskup, J. (eds.) ICDT 1992. LNCS, vol. 646, pp. 282\u2013296. Springer, Heidelberg (1992)"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1142\/S0129054100000302","volume":"11","author":"G Dong","year":"2000","unstructured":"Dong, G., Zhang, L.: Separating auxiliary arity hierarchy of first-order incremental evaluation systems using ( $$3k+1$$ )-ary input relations. Int. J. Found. Comput. Sci. 11(4), 573\u2013578 (2000)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"11_CR14","series-title":"Perspectives in Mathematical Logic","volume-title":"Finite Model Theory","author":"HD Ebbinghaus","year":"1995","unstructured":"Ebbinghaus, H.D., Flum, J.: Finite Model Theory. Perspectives in Mathematical Logic. Springer, Berlin (1995)"},{"key":"11_CR15","series-title":"Undergraduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2355-7","volume-title":"Mathematical Logic","author":"HD Ebbinghaus","year":"1994","unstructured":"Ebbinghaus, H.D., Flum, J., Thomas, W.: Mathematical Logic. Undergraduate Texts in Mathematics, 2nd edn. Springer, New York (1994)","edition":"2"},{"key":"11_CR16","unstructured":"Franconi, E., Guagliardo, P.: On the translatability of view updates. In: Freire, J., Suciu, D. (eds.) AMW. CEUR Workshop Proceedings, vol. 866, pp. 154\u2013167 (2012)"},{"key":"11_CR17","unstructured":"Franconi, E., Guagliardo, P.: The view update problem revisited. CoRR abs\/1211.3016 (2012)"},{"key":"11_CR18","unstructured":"Franconi, E., Guagliardo, P.: Effectively updatable conjunctive views. In: Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla\/Cholula, Mexico, 21\u201323 May 2013"},{"key":"11_CR19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","volume":"47","author":"S Feferman","year":"1959","unstructured":"Feferman, S., Vaught, R.: The first order properties of products of algebraic systems. Fundam. Math. 47, 57\u2013103 (1959)","journal-title":"Fundam. Math."},{"key":"11_CR20","unstructured":"Guagliardo, P., Pichler, R., Sallinger, E.: Enhancing the updatability of projective views. In: Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla\/Cholula, Mexico, 21\u201323 May 2013"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., Siebertz, S.: Dynamic definability. In: Proceedings 15th International Conference on Database Theory ICDT, Berlin, Germany, 26\u201329 March 2012, pp. 236\u2013248 (2012)","DOI":"10.1145\/2274576.2274601"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2273287","volume":"44","author":"Y Gurevich","year":"1979","unstructured":"Gurevich, Y.: Modest theory of short chains, I. J. Symbolic Logic 44, 481\u2013490 (1979)","journal-title":"J. Symbolic Logic"},{"key":"11_CR23","unstructured":"Guagliardo, P., Wieczorek, P.: Query processing in data integration. In: Kolaitis, P.G., Lenzerini, M., Schweikardt, N. (eds.) Data Exchange, Information, and Streams. Dagstuhl Follow-Ups, vol. 5, pp. 129\u2013160. Schloss Dagstuhl, Leibniz-Zentrum f\u00fcr Informatik (2013)"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-24627-5_11","volume-title":"Foundations of Information and Knowledge Systems","author":"SJ Hegner","year":"2004","unstructured":"Hegner, S.J.: The relative complexity of updates for a class of database views. In: Seipel, D., Turull-Torres, J.M. (eds.) FoIKS 2004. LNCS, vol. 2942, pp. 155\u2013175. Springer, Heidelberg (2004)"},{"key":"11_CR25","series-title":"Graduate Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0539-5","volume-title":"Descriptive Complexity","author":"N Immerman","year":"1999","unstructured":"Immerman, N.: Descriptive Complexity. Graduate Texts in Computer Science. Springer, New York (1999)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Koch, C.: Incremental query evaluation in a ring of databases. In: Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Indianapolis, IN, 6\u201311 June 2010, pp. 87\u201398 (2010)","DOI":"10.1145\/1807085.1807100"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-28279-9_7","volume-title":"Conceptual Modelling and Its Theoretical Foundations","author":"JA Makowsky","year":"2012","unstructured":"Makowsky, J.A., Ravve, E.V.: BCNF via attribute splitting. In: D\u00fcsterh\u00f6ft, A., Klettke, M., Schewe, K.-D. (eds.) Conceptual Modelling and Its Theoretical Foundations. LNCS, vol. 7260, pp. 73\u201384. Springer, Heidelberg (2012)"},{"issue":"3","key":"11_CR28","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/69.91063","volume":"3","author":"X Quan","year":"1991","unstructured":"Quan, X., Wiederhold, G.: Incremental recomputation of active relational expressions. IEEE Trans. Knowl. Data Eng. 3(3), 337\u2013341 (1991)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"11_CR29","unstructured":"Rabin, M.O.: A simple method for undecidability proofs and some applications. In: Bar Hillel, Y. (ed.) Logic, Methodology and Philosophy of Science II. Studies in Logic, pp. 58\u201368. North Holland, (1965)"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Ravve, E.V., Volkovich, Z., Weber, G.-W.: A uniform approach to incremental reasoning on strongly distributed systems. In: Proceedings of GCAI2015 (2015, to appear)","DOI":"10.1109\/SYNASC.2015.68"},{"key":"11_CR31","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-540-31856-9_21","volume-title":"STACS 2005","author":"Volker Weber","year":"2005","unstructured":"Weber, V., Schwentick, T.: Dynamic complexity theory revisited. In: Proceedings 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, 24\u201326 February 2005, pp. 256\u2013268 (2005)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30024-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,17]],"date-time":"2023-08-17T03:13:34Z","timestamp":1692242014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30024-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319300238","9783319300245"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30024-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}