{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T02:10:29Z","timestamp":1737079829016,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414810"},{"type":"electronic","value":"9783540445432"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44543-9_2","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T18:23:52Z","timestamp":1181240632000},"page":"17-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the Power of Incremental Evaluation in SQL-like Languages"],"prefix":"10.1007","author":[{"given":"Leonid","family":"Libkin","sequence":"first","affiliation":[]},{"given":"Limsoon","family":"Wong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,13]]},"reference":[{"key":"2_CR1","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"2_CR2","first-page":"309","volume":"50","author":"S. Abiteboul","year":"1995","unstructured":"S. Abiteboul, V. Vianu. Computing with first-order logic. JCSS 50 (1995), 309\u2013335.","journal-title":"JCSS"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","volume":"149","author":"P. Buneman","year":"1995","unstructured":"P. Buneman, S. Naqvi, V. Tannen, and L. Wong. Principles of programming with complex objects and collection types. Theoretical Computer Science, 149(1):3\u201348, September 1995.","journal-title":"Theoretical Computer Science"},{"key":"2_CR4","unstructured":"G. Dong, L. Libkin, and L. Wong. On impossibility of decremental recomputation of recursive queries in relational calculus and SQL. In DBPL\u201995, page 8."},{"key":"2_CR5","unstructured":"G. Dong, L. Libkin, and L. Wong. Local properties of query languages. In Theoretical Computer Science, to appear. Extended abstract in ICDT\u201997."},{"key":"2_CR6","first-page":"46","volume":"5","author":"G. Dong","year":"1999","unstructured":"G. Dong, L. Libkin, J. Su and L. Wong. Maintaining the transitive closure of graphs in SQL. In Int. J. Information Technology, 5 (1999), 46\u201378.","journal-title":"Int. J. Information Technology"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1006\/jcss.1998.1565","volume":"57","author":"G. Dong","year":"1998","unstructured":"G. Dong and J. Su. Arity bounds in first-order incremental evaluation and definition of polynomial time database queries. Journal of Computer and System Sciences 57 (1998), 289\u2013308.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF01530820","volume":"14","author":"G. Dong","year":"1995","unstructured":"G. Dong, J. Su, and R. Topor. Nonrecursive incremental evaluation of Datalog queries. Annals of Mathematics and Artificial Intelligence, 14:187\u2013223, 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"K. Etessami. Dynamic tree isomorphism via first-order updates to a relational database. In PODS\u201998, pages 235\u2013243.","DOI":"10.1145\/275487.275514"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1006\/inco.1995.1100","volume":"120","author":"R. Fagin","year":"1994","unstructured":"R. Fagin, L. Stockmeyer, M. Vardi, On monadic NP vs monadic co-NP, Information and Computation, 120 (1994), 78\u201392.","journal-title":"Information and Computation"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"H. Gaifman, On local and non-local properties, in \u201cProceedings of the Herbrand Symposium, Logic Colloquium\u2019 81,\u201d North Holland, 1982.","DOI":"10.1016\/S0049-237X(08)71879-2"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"A. Gupta, I. S. Mumick and V. S. Subrahmanian. Maintaining views incrementally. In SIGMOD\u201993, pages 157\u2013166.","DOI":"10.1145\/170036.170066"},{"key":"2_CR13","first-page":"3","volume":"18","author":"A. Gupta","year":"1995","unstructured":"A. Gupta and I.S. Mumick. Maintenance of materialized views: problems, techniques, and applications. Data Engineering Bulletin 18 (1995), 3\u201318.","journal-title":"Data Engineering Bulletin"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"1751","DOI":"10.2307\/2586810","volume":"64","author":"L. Hella","year":"1999","unstructured":"L. Hella, L. Libkin and J. Nurmonen. Notions of locality and their logical characterizations over finite models. J. Symb. Logic, 64 (1999), 1751\u20131773.","journal-title":"J. Symb. Logic"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"L. Hella, L. Libkin, J. Nurmonen and L. Wong. Logics with aggregate operators. In LICS\u201999, pages 35\u201344.","DOI":"10.1109\/LICS.1999.782583"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1137\/0216051","volume":"16","author":"N. Immerman","year":"1987","unstructured":"N. Immerman. Languages that capture complexity classes. SIAM Journal of Computing, 16:760\u2013778, 1987.","journal-title":"SIAM Journal of Computing"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"L. Libkin. On counting logics and local properties. In LICS\u201998, pages 501\u2013512.","DOI":"10.1109\/LICS.1998.705683"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1006\/jcss.1997.1523","volume":"55","author":"L. Libkin","year":"1997","unstructured":"L. Libkin and L. Wong. Query languages for bags and aggregate functions. Journal of Computer and System Sciences 55 (1997), 241\u2013272.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"L. Libkin and L. Wong. Incremental recomputation of recursive queries with nested sets and aggregate functions. In DBPL\u201997, pages 222\u2013238.","DOI":"10.1007\/3-540-64823-2_13"},{"key":"2_CR20","unstructured":"C. Papadimitriou. Computational Complexity. Addison Wesley, 1994."},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/jcss.1997.1520","volume":"55","author":"S. Patnaik","year":"1997","unstructured":"S. Patnaik and N. Immerman. Dyn-FO: A parallel dynamic complexity class. Journal of Computer and System Sciences 55 (1997), 199\u2013209.","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"2_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/bltj.2111","volume":"3","author":"T.A. Schultz","year":"1998","unstructured":"T.A. Schultz. ADEPT-The advanced database environment for planning and tracking. Bell Labs Technical Journal, 3(3):3\u20139, 1998.","journal-title":"Bell Labs Technical Journal"}],"container-title":["Lecture Notes in Computer Science","Research Issues in Structured and Semistructured Database Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44543-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:54:34Z","timestamp":1737078874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44543-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414810","9783540445432"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44543-9_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"13 April 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}