{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T23:10:15Z","timestamp":1784848215131,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T00:00:00Z","timestamp":1561420800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005304","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-14-CE28-0005"],"award-info":[{"award-number":["ANR-14-CE28-0005"]}],"id":[{"id":"10.13039\/501100005304","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,25]]},"DOI":"10.1145\/3294052.3319685","type":"proceedings-article","created":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T12:56:45Z","timestamp":1560776205000},"page":"285-302","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Decidable XPath Fragments in the Real World"],"prefix":"10.1145","author":[{"given":"David","family":"Baelde","sequence":"first","affiliation":[{"name":"ENS Paris-Saclay & CNRS, Universit\u00e9 Paris-Saclay, Cachan, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anthony","family":"Lick","sequence":"additional","affiliation":[{"name":"ENS Paris-Saclay & CNRS, Universit\u00e9 Paris-Saclay, Cachan, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvain","family":"Schmitz","sequence":"additional","affiliation":[{"name":"ENS Paris-Saclay & CNRS, Universit\u00e9 Paris-Saclay, Cachan, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,6,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Yu-Fang Chen, Luk\u00e1vs Hol\u00edk, Ahmed Rezine, Philipp R\u00fcmmer, and Jari Stenman.","author":"Abdulla Parosh Aziz","year":"2015","unstructured":"Parosh Aziz Abdulla , Mohamed Faouzi Atig , Yu-Fang Chen, Luk\u00e1vs Hol\u00edk, Ahmed Rezine, Philipp R\u00fcmmer, and Jari Stenman. 2015 . Norn : An SMT solver for string constraints. In CAV '15 (Lect. Notes in Comput. Sci.), Vol. 9206 . Springer , 462--469. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luk\u00e1vs Hol\u00edk, Ahmed Rezine, Philipp R\u00fcmmer, and Jari Stenman. 2015. Norn: An SMT solver for string constraints. In CAV '15 (Lect. Notes in Comput. Sci.), Vol. 9206. Springer, 462--469."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54458-7_12"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.15.115-135"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.05.002"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2227"},{"key":"e_1_3_2_1_6_1","unstructured":"David Baelde Anthony Lick and Sylvain Schmitz. 2019 a. XPath benchmark version 2.0. https:\/\/hal.inria.fr\/hal-02079114  David Baelde Anthony Lick and Sylvain Schmitz. 2019 a. XPath benchmark version 2.0. https:\/\/hal.inria.fr\/hal-02079114"},{"key":"e_1_3_2_1_7_1","unstructured":"David Baelde Anthony Lick and Sylvain Schmitz. 2019 b. XPath parser version 1.0. https:\/\/hal.inria.fr\/hal-02079276  David Baelde Anthony Lick and Sylvain Schmitz. 2019 b. XPath parser version 1.0. https:\/\/hal.inria.fr\/hal-02079276"},{"key":"e_1_3_2_1_8_1","volume-title":"CSL 2016 (Leibniz Int. Proc. Inf.)","volume":"62","author":"Baelde David","year":"2016","unstructured":"David Baelde , Simon Lunel , and Sylvain Schmitz . 2016 . A sequent calculus for a modal logic on finite data trees . In CSL 2016 (Leibniz Int. Proc. Inf.) , Vol. 62 . LZI, Article 32. David Baelde, Simon Lunel, and Sylvain Schmitz. 2016. A sequent calculus for a modal logic on finite data trees. In CSL 2016 (Leibniz Int. Proc. Inf.), Vol. 62. LZI, Article 32."},{"key":"e_1_3_2_1_9_1","volume-title":"CSL '17 (Leibniz Int. Proc. Inf.)","volume":"82","author":"Bednarczyk Bartosz","year":"2017","unstructured":"Bartosz Bednarczyk , Witold Charatonik , and Emanuel Kieronski . 2017 . Extending two-variable logic on trees . In CSL '17 (Leibniz Int. Proc. Inf.) , Vol. 82 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Article 11. Bartosz Bednarczyk, Witold Charatonik, and Emanuel Kieronski. 2017. Extending two-variable logic on trees. In CSL '17 (Leibniz Int. Proc. Inf.), Vol. 82. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Article 11."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2996796"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920956"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346330.1346333"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1456650.1456653"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61377-3_33"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516512.1516515"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989727.1989731"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.14778\/3167892.3167895"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1938551.1938572"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-017-9771-z"},{"key":"e_1_3_2_1_20_1","unstructured":"James Clark (Ed.). 2002. RELAX NG Compact Syntax . OASIS Committee Specification. http:\/\/relaxng.org\/compact.html  James Clark (Ed.). 2002. RELAX NG Compact Syntax . OASIS Committee Specification. http:\/\/relaxng.org\/compact.html"},{"key":"e_1_3_2_1_21_1","unstructured":"Jim Melton (Ed.). 2014a. XQueryX 3.0 . W3C Recommendation. http:\/\/www.w3.org\/TR\/xqueryx-3\/  Jim Melton (Ed.). 2014a. XQueryX 3.0 . W3C Recommendation. http:\/\/www.w3.org\/TR\/xqueryx-3\/"},{"key":"e_1_3_2_1_22_1","unstructured":"Michael Kay (Ed.). 2014b. XPath and XQuery Functions and Operators 3.0 . W3C Recommendation. https:\/\/www.w3.org\/TR\/xpath-functions-30\/  Michael Kay (Ed.). 2014b. XPath and XQuery Functions and Operators 3.0 . W3C Recommendation. https:\/\/www.w3.org\/TR\/xpath-functions-30\/"},{"key":"e_1_3_2_1_23_1","unstructured":"Michael Kay (Ed.). 2017. XSL Transformations (XSLT) Version 3.0 . W3C Recommendation. http:\/\/www.w3.org\/TR\/xslt-30\/  Michael Kay (Ed.). 2017. XSL Transformations (XSLT) Version 3.0 . W3C Recommendation. http:\/\/www.w3.org\/TR\/xslt-30\/"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(1:22)2012"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362355.2362362"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2463675"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3212019.3212021"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03816-7_29"},{"key":"e_1_3_2_1_29_1","volume-title":"Logic. Meth. in Comput. Sci.","volume":"13","author":"Figueira Diego","year":"2017","unstructured":"Diego Figueira and Luc Segoufin . 2017 . Bottom-up automata on data trees and vertical XPath . Logic. Meth. in Comput. Sci. , Vol. 13 , 4, Article 5 (2017). Diego Figueira and Luc Segoufin. 2017. Bottom-up automata on data trees and vertical XPath. Logic. Meth. in Comput. Sci., Vol. 13, 4, Article 5 (2017)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547273_10"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/11601524_8"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2724712"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030397.1030437"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664569"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1059513.1059520"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/11827405_10"},{"key":"e_1_3_2_1_37_1","volume-title":"DBPL 2003 (Lect. Notes in Comput. Sci.)","author":"Hidders Jan","unstructured":"Jan Hidders . 2004. Satisfiability of XPath expressions . In DBPL 2003 (Lect. Notes in Comput. Sci.) , Georg Lausen and Dan Suciu (Eds.), Vol. 2921 . Springer , 21--36. Jan Hidders. 2004. Satisfiability of XPath expressions. In DBPL 2003 (Lect. Notes in Comput. Sci.), Georg Lausen and Dan Suciu (Eds.), Vol. 2921. Springer, 21--36."},{"key":"e_1_3_2_1_38_1","unstructured":"Florent Jacquemard Luc Segoufin and J\u00e9r\u00e9mie Dimino. 2016. FO2 Florent Jacquemard Luc Segoufin and J\u00e9r\u00e9mie Dimino. 2016. FO2"},{"key":"e_1_3_2_1_39_1","volume-title":"Logic. Meth. in Comput. Sci.","volume":"12","year":"2016","unstructured":"1,sim) on data trees, data tree automata and branching vector addition systems . Logic. Meth. in Comput. Sci. , Vol. 12 , 2, Article 3 ( 2016 ). 1,sim) on data trees, data tree automata and branching vector addition systems. Logic. Meth. in Comput. Sci., Vol. 12, 2, Article 3 (2016)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929954.1929956"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377656.2377662"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2733375"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0247-6"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45206-5_13"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1114244.1114247"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-2(3:1)2006"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1999299.1999306"},{"key":"e_1_3_2_1_48_1","unstructured":"Jonathan Robie Don Chamberlin Michael Dyck and John Snelson (Eds.). 2014a. XML Path Language (XPath) 3.0 . W3C Recommendation. http:\/\/www.w3.org\/TR\/xpath-3\/  Jonathan Robie Don Chamberlin Michael Dyck and John Snelson (Eds.). 2014a. XML Path Language (XPath) 3.0 . W3C Recommendation. http:\/\/www.w3.org\/TR\/xpath-3\/"},{"key":"e_1_3_2_1_49_1","unstructured":"Jonathan Robie Don Chamberlin Michael Dyck and John Snelson (Eds.). 2014b. XQuery 3.0: An XML Query Language . W3C Recommendation. http:\/\/www.w3.org\/TR\/xquery-30\/  Jonathan Robie Don Chamberlin Michael Dyck and John Snelson (Eds.). 2014b. XQuery 3.0: An XML Query Language . W3C Recommendation. http:\/\/www.w3.org\/TR\/xquery-30\/"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/1287369.1287455"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/974121.974140"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142398"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1568318.1568321"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660372"},{"key":"e_1_3_2_1_55_1","unstructured":"Norman Walsh Anders Berglund and John Snelson (Eds.). 2014. XQuery and XPath Data Model 3.0 . W3C Recommendation. http:\/\/www.w3.org\/TR\/xpath-datamodel-30\/  Norman Walsh Anders Berglund and John Snelson (Eds.). 2014. XQuery and XPath Data Model 3.0 . W3C Recommendation. http:\/\/www.w3.org\/TR\/xpath-datamodel-30\/"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"SIGMOD\/PODS '19: International Conference on Management of Data","location":"Amsterdam Netherlands","acronym":"SIGMOD\/PODS '19","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3294052.3319685","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3294052.3319685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:47Z","timestamp":1750208507000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3294052.3319685"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,25]]},"references-count":56,"alternative-id":["10.1145\/3294052.3319685","10.1145\/3294052"],"URL":"https:\/\/doi.org\/10.1145\/3294052.3319685","relation":{},"subject":[],"published":{"date-parts":[[2019,6,25]]},"assertion":[{"value":"2019-06-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}