{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T12:23:10Z","timestamp":1710332590762},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,4,14]],"date-time":"2015-04-14T00:00:00Z","timestamp":1428969600000},"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":["Theory Comput Syst"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1007\/s00224-015-9617-5","type":"journal-article","created":{"date-parts":[[2015,4,13]],"date-time":"2015-04-13T05:57:10Z","timestamp":1428904630000},"page":"927-966","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Highly Expressive Query Languages for Unordered Data Trees"],"prefix":"10.1007","volume":"57","author":[{"given":"Serge","family":"Abiteboul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Bourhis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Vianu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,14]]},"reference":[{"key":"9617_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Benjelloun, O., Milo, T.: The active XML project: an overview. VLDB J. 17(5) (2008)","DOI":"10.1007\/s00778-007-0049-y"},{"key":"9617_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Bourhis, P., Vianu, V.: Comparing workflow specification languages: a matter of views. ACM Trans. Database Syst. 37(2) (2012). Also ICDT 2011","DOI":"10.1145\/2188349.2188352"},{"key":"9617_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Compton, K.J., Vianu, V.: Queries are easier than you thought (probably). In PODS (1992)","DOI":"10.1145\/137097.137105"},{"key":"9617_CR4","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Reading, MA (1995)"},{"key":"9617_CR5","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Kanellakis, P.: Object identity as a query language primitive. J. Assoc. Comput. Mach. (JACM) 45(5) (1998)","DOI":"10.1145\/290179.290182"},{"key":"9617_CR6","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of active XML systems. ACM Trans. Database Syst. 34(4) (2009). Also PODS 2008","DOI":"10.1145\/1620585.1620590"},{"key":"9617_CR7","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V.: Generic computation and its complexity. In STOC, pp. 209\u2013219 (1991)","DOI":"10.1145\/103418.103444"},{"key":"9617_CR8","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V.: Computing with first-order logic. J. Comput. Syst. Sci. 50(2) (1995)","DOI":"10.1006\/jcss.1995.1025"},{"key":"9617_CR9","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Koch, C.: From XQuery to relational logics. ACM Trans. Database Syst. 34(4) (2009)","DOI":"10.1145\/1620585.1620592"},{"key":"9617_CR10","doi-asserted-by":"crossref","unstructured":"Bojanczyk, M.: Automata for data words and data trees. In RTA, pp. 1\u20134 (2010)","DOI":"10.4204\/EPTCS.25.1"},{"key":"9617_CR11","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Giacomo, G.D., Hull, R., Su, J.: Artifact-centric workflow dominance. In ICSOC\/ServiceWave (2009)","DOI":"10.1007\/978-3-642-10383-4_9"},{"key":"9617_CR12","doi-asserted-by":"crossref","unstructured":"Hidders, J., Marrara, S., Paredaens, J., Vercammen, R.: On the expressive power of XQuery fragments. In DBPL (2005)","DOI":"10.1007\/11601524_10"},{"key":"9617_CR13","doi-asserted-by":"crossref","unstructured":"Hidders, J., Paredaens, J., Vercammen, R., Demeyer, S.: A light but formal introduction to XQuery. In XSym (2004)","DOI":"10.1007\/978-3-540-30081-6_2"},{"key":"9617_CR14","doi-asserted-by":"crossref","unstructured":"Janssen, W., Korlyukov, A., den Bussche, J.V.: On the tree-transformation power of XSLT. Acta Inf. 43(6) (2007)","DOI":"10.1007\/s00236-006-0026-8"},{"key":"9617_CR15","doi-asserted-by":"crossref","unstructured":"Koch, C.: On the complexity of nonrecursive XQuery and functional query languages on complex values. ACM Trans. Database Syst. 31(4) (2006)","DOI":"10.1145\/1189769.1189771"},{"key":"9617_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"L Libkin","year":"2004","unstructured":"Libkin, L.: Elements of Finite Model Theory. Springer, Berlin (2004)"},{"key":"9617_CR17","doi-asserted-by":"crossref","unstructured":"Neven, F.: Automata, logic, and XML. In Computer Science Logic (2002)","DOI":"10.1007\/3-540-45793-3_2"},{"key":"9617_CR18","doi-asserted-by":"crossref","unstructured":"Schwentick, T.: Automata for XML - a survey. J. Comput. Syst. Sci. 73(3) (2007)","DOI":"10.1016\/j.jcss.2006.10.003"},{"key":"9617_CR19","doi-asserted-by":"crossref","unstructured":"Segoufin, L.: Automata and logics for words and trees over an infinite alphabet. In Computer Science Logic, pp. 41\u201357 (2006)","DOI":"10.1007\/11874683_3"},{"issue":"1","key":"9617_CR20","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/1276301.1276308","volume":"36","author":"L Segoufin","year":"2007","unstructured":"Segoufin, L.: Static analysis of XML processing with data values. SIGMOD Record 36(1), 31\u201338 (2007)","journal-title":"SIGMOD Record"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-015-9617-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-015-9617-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-015-9617-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T10:02:49Z","timestamp":1566554569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-015-9617-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,14]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,11]]}},"alternative-id":["9617"],"URL":"https:\/\/doi.org\/10.1007\/s00224-015-9617-5","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,14]]}}}