{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:27:23Z","timestamp":1725496043473},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770497"},{"type":"electronic","value":"9783540770503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77050-3_38","type":"book-chapter","created":{"date-parts":[[2007,11,26]],"date-time":"2007-11-26T08:39:22Z","timestamp":1196066362000},"page":"461-472","source":"Crossref","is-referenced-by-count":7,"title":["Efficient and Expressive Tree Filters"],"prefix":"10.1007","author":[{"given":"Michael","family":"Benedikt","sequence":"first","affiliation":[]},{"given":"Alan","family":"Jeffrey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"Altinel, M., Franklin, M.: Efficient filtering of XML documents for selective dissemination of information. In: Proc. 26th International Conference on Very Large Data Bases (VLDB), pp. 53\u201364 (2000)"},{"key":"38_CR2","first-page":"177","volume-title":"Proc. 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS)","author":"Z. Bar-Yossef","year":"2004","unstructured":"Bar-Yossef, Z., Fontoura, M., Josifovski, V.: On the memory requirements of XPath evaluation over XML streams. In: Proc. 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 177\u2013188. ACM Press, New York (2004)"},{"key":"38_CR3","volume-title":"Proc. 24th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS)","author":"M. Benedikt","year":"2005","unstructured":"Benedikt, M., Fan, W., Geerts, F.: XPath satisfiability in the presence of DTDs. In: Proc. 24th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), ACM Press, New York (2005)"},{"issue":"1","key":"38_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2004.10.030","volume":"336","author":"M. Benedikt","year":"2005","unstructured":"Benedikt, M., Fan, W., Kuper, G.: Structural properties of XPath fragments. Theoretical Computer Science\u00a0336(1), 3\u201331 (2005)","journal-title":"Theoretical Computer Science"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Jeffrey, A.S.A.: Efficient and expressive tree filters. Full version available from the authors web pages (2007)","DOI":"10.1007\/978-3-540-77050-3_38"},{"key":"38_CR6","volume-title":"Applied Combinatorics on Words","author":"J. Besterel","year":"2005","unstructured":"Besterel, J., Perrin, D.: Algorithms on words. In: Lothaire, M. (ed.) Applied Combinatorics on Words, ch.\u00a01, Cambridge University Press, Cambridge (2005)"},{"key":"38_CR7","volume-title":"Proc. 18th IEEE International Conference on Data Engineering (ICDE)","author":"C.Y. Chan","year":"2002","unstructured":"Chan, C.Y., Felber, P., Garofalakis, M.N., Rastogi, R.: Efficient filtering of XML documents with XPath expressions. In: Proc. 18th IEEE International Conference on Data Engineering (ICDE), IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"38_CR8","unstructured":"Choi, B.: What are real DTDs like. In: Proc. Fifth International Workshop on the Web and Databases (WebDB) (2002)"},{"key":"38_CR9","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: Expressive functional completeness in tense logic. In: M\u00f6nnich, U. (ed.) Aspects of Philosophical Logic, pp. 67\u201389 (1981)","DOI":"10.1007\/978-94-009-8384-7_3"},{"issue":"1","key":"38_CR11","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/962446.962450","volume":"51","author":"G. Gottlob","year":"2004","unstructured":"Gottlob, G., Koch, C.: Monadic datalog and the expressive power of web information extraction languages. Journal of the ACM\u00a051(1), 74\u2013113 (2004)","journal-title":"Journal of the ACM"},{"key":"38_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Database Theory - ICDT 2003","author":"T.J. Green","year":"2002","unstructured":"Green, T.J., Miklau, G., Onizuka, M., Suciu, D.: Processing XML streams with deterministic automata. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, Springer, Heidelberg (2002)"},{"key":"38_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"M. Grohe","year":"2005","unstructured":"Grohe, M., Koch, C., Schweikardt, N.: Tight lower bounds for query processing on streaming and external memory data. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, Springer, Heidelberg (2005)"},{"key":"38_CR14","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the ACM\u00a032, 137\u2013161 (1985)","journal-title":"Journal of the ACM"},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"Kumar, V., Madhusadan, P., Viswanathan, M.: Visibly pushdown automata for streaming XML. In: WWW (2007)","DOI":"10.1145\/1242572.1242714"},{"key":"38_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30570-5_5","volume-title":"Database Theory - ICDT 2005","author":"W. Martens","year":"2004","unstructured":"Martens, W., Neven, F., Schwentick, T.: Which XML schemas admit 1-pass pre-order traversal. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol.\u00a03363, Springer, Heidelberg (2004)"},{"key":"38_CR17","first-page":"13","volume-title":"Proc. 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS)","author":"M. Marx","year":"2004","unstructured":"Marx, M.: Conditional XPath, the first order complete XPath dialect. In: Proc. 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 13\u201322. ACM Press, New York (2004)"},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"Marx, M.: Conditional XPath. ACM Transactions on Database Systems, 929\u2013959 (2005)","DOI":"10.1145\/1114244.1114247"},{"key":"38_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30570-5_8","volume-title":"Database Theory - ICDT 2005","author":"M. Marx","year":"2004","unstructured":"Marx, M.: First order paths in ordered trees. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol.\u00a03363, Springer, Heidelberg (2004)"},{"key":"38_CR20","doi-asserted-by":"crossref","unstructured":"Olteanu, D.: Forward node-selecting queries over trees. ACM TODS\u00a0 (2007)","DOI":"10.1145\/1206049.1206052"},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Olteanu, D.: Streamed and progressive evaluation of XPath. IEEE Transactions on Knowledge and Data Engineering\u00a019(7) (July 2007)","DOI":"10.1109\/TKDE.2007.1063"},{"key":"38_CR22","volume-title":"Proc. 2003 ACM SIGMOD International Conference on Management of Data (SIGMOD)","author":"F. Peng","year":"2003","unstructured":"Peng, F., Chawathe, S.: XPath queries on streaming data. In: Proc. 2003 ACM SIGMOD International Conference on Management of Data (SIGMOD), ACM Press, New York (2003)"},{"key":"38_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"FM 2006: Formal Methods","author":"A. Pnueli","year":"2006","unstructured":"Pnueli, A., Zaks, A.: PSL model checking and runtime verification via testers. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, Springer, Heidelberg (2006)"},{"key":"38_CR24","volume-title":"Proc. 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS)","author":"L. Segoufin","year":"2002","unstructured":"Segoufin, L., Vianu, V.: Validating streaming XML documents. In: Proc. 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), ACM Press, New York (2002)"},{"key":"38_CR25","unstructured":"World Wide Web Consortium. XML path language (XPath) 2.0: W3C recommendation, http:\/\/www.w3.org\/TR\/xpath20\/2007"}],"container-title":["Lecture Notes in Computer Science","FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77050-3_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:55:56Z","timestamp":1619520956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77050-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540770497","9783540770503"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77050-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}