{"id":"https://openalex.org/W2087169714","doi":"https://doi.org/10.1145/1166160.1166182","title":"Comparing XML path expressions","display_name":"Comparing XML path expressions","publication_year":2006,"publication_date":"2006-10-10","ids":{"openalex":"https://openalex.org/W2087169714","doi":"https://doi.org/10.1145/1166160.1166182","mag":"2087169714"},"language":"en","primary_location":{"id":"doi:10.1145/1166160.1166182","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1166160.1166182","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM symposium on Document engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/inria-00423062","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007570521","display_name":"Pierre Genev\u00e8s","orcid":"https://orcid.org/0000-0001-7676-2755"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Pierre Genev\u00e8s","raw_affiliation_strings":["INRIA Rh\u00f4ne-Alpes"],"affiliations":[{"raw_affiliation_string":"INRIA Rh\u00f4ne-Alpes","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058810337","display_name":"Nabil Laya\u00efda","orcid":"https://orcid.org/0000-0001-8472-9365"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nabil Laya\u00efda","raw_affiliation_strings":["INRIA Rh\u00f4ne-Alpes"],"affiliations":[{"raw_affiliation_string":"INRIA Rh\u00f4ne-Alpes","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5007570521"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16910093,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"131","issue":null,"first_page":"65","last_page":"74"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/xpath","display_name":"XPath","score":0.9753523468971252},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7431691288948059},{"id":"https://openalex.org/keywords/xquery","display_name":"XQuery","score":0.7372468709945679},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5728714466094971},{"id":"https://openalex.org/keywords/xslt","display_name":"XSLT","score":0.5506116151809692},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4965060353279114},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.4752999246120453},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4648054838180542},{"id":"https://openalex.org/keywords/xml-schema","display_name":"XML Schema (W3C)","score":0.4285374581813812},{"id":"https://openalex.org/keywords/path-expression","display_name":"Path expression","score":0.42708122730255127},{"id":"https://openalex.org/keywords/xml-database","display_name":"XML database","score":0.28583216667175293},{"id":"https://openalex.org/keywords/xml-validation","display_name":"XML validation","score":0.2787100076675415},{"id":"https://openalex.org/keywords/document-type-definition","display_name":"Document type definition","score":0.20077946782112122}],"concepts":[{"id":"https://openalex.org/C2780213375","wikidata":"https://www.wikidata.org/wiki/Q16340","display_name":"XPath","level":4,"score":0.9753523468971252},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7431691288948059},{"id":"https://openalex.org/C2780512708","wikidata":"https://www.wikidata.org/wiki/Q850661","display_name":"XQuery","level":4,"score":0.7372468709945679},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5728714466094971},{"id":"https://openalex.org/C150569060","wikidata":"https://www.wikidata.org/wiki/Q32110","display_name":"XSLT","level":3,"score":0.5506116151809692},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4965060353279114},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.4752999246120453},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4648054838180542},{"id":"https://openalex.org/C40713593","wikidata":"https://www.wikidata.org/wiki/Q16342","display_name":"XML Schema (W3C)","level":5,"score":0.4285374581813812},{"id":"https://openalex.org/C61114434","wikidata":"https://www.wikidata.org/wiki/Q7144649","display_name":"Path expression","level":3,"score":0.42708122730255127},{"id":"https://openalex.org/C183068750","wikidata":"https://www.wikidata.org/wiki/Q357393","display_name":"XML database","level":3,"score":0.28583216667175293},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.2787100076675415},{"id":"https://openalex.org/C84314905","wikidata":"https://www.wikidata.org/wiki/Q212327","display_name":"Document type definition","level":4,"score":0.20077946782112122},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/1166160.1166182","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1166160.1166182","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM symposium on Document engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.366.6169","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.6169","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.archives-ouvertes.fr/docs/00/42/30/62/PDF/CompXPathExp.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.61.7864","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://wam.inrialpes.fr/publications/2006/CompXPathExp.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.697.552","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.552","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://hal.inria.fr/file/index/docid/423062/filename/CompXPathExp.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:inria-00423062v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00423062","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, Oct 2006, Amsterdam, Netherlands. pp.65-74, ⟨10.1145/1166160.1166182⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:inria-00423062v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00423062","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, Oct 2006, Amsterdam, Netherlands. pp.65-74, ⟨10.1145/1166160.1166182⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.800000011920929}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W189731062","https://openalex.org/W615345195","https://openalex.org/W1481169643","https://openalex.org/W1491873999","https://openalex.org/W1501731334","https://openalex.org/W1504299768","https://openalex.org/W1515534319","https://openalex.org/W1550164500","https://openalex.org/W1573061520","https://openalex.org/W1573972396","https://openalex.org/W1590315663","https://openalex.org/W1591926286","https://openalex.org/W1786858813","https://openalex.org/W1971729277","https://openalex.org/W1971742702","https://openalex.org/W1986398872","https://openalex.org/W1992381179","https://openalex.org/W2003304137","https://openalex.org/W2015640848","https://openalex.org/W2033176822","https://openalex.org/W2035020702","https://openalex.org/W2042853248","https://openalex.org/W2050530663","https://openalex.org/W2069709605","https://openalex.org/W2070386554","https://openalex.org/W2073663206","https://openalex.org/W2091686039","https://openalex.org/W2092650892","https://openalex.org/W2111274946","https://openalex.org/W2113675087","https://openalex.org/W2113885315","https://openalex.org/W2117522142","https://openalex.org/W2117789898","https://openalex.org/W2122225808","https://openalex.org/W2124581454","https://openalex.org/W2124876285","https://openalex.org/W2133278242","https://openalex.org/W2134170665","https://openalex.org/W2134826526","https://openalex.org/W2160442532","https://openalex.org/W4250985047","https://openalex.org/W4285719527","https://openalex.org/W6619233846"],"related_works":["https://openalex.org/W4206947581","https://openalex.org/W2982818789","https://openalex.org/W1523599479","https://openalex.org/W2020042858","https://openalex.org/W3090970158","https://openalex.org/W43863827","https://openalex.org/W2486756614","https://openalex.org/W2062115694","https://openalex.org/W2412587119","https://openalex.org/W1716100575"],"abstract_inverted_index":{"XPath":[0,29,37,88,147,157],"is":[1,62,92,96],"the":[2,18,47,56,65,83,97,125,133,141,166,183,187,191],"standard":[3],"declarative":[4],"language":[5],"for":[6,53,81,124,144,174,182,201],"navigating":[7],"XML":[8,26,206],"data":[9],"and":[10,25,50],"returning":[11],"a":[12,59,68,75,121,152,155,169],"set":[13],"of":[14,20,58,67,77,86,100,128,154,189,205],"matching":[15],"nodes.":[16],"In":[17],"context":[19],"XSLT/XQuery":[21],"analysis,":[22],"query":[23,61],"optimization,":[24],"type":[27],"checking,":[28],"decision":[30,71,109,115,148,172],"problems":[31,72],"arise":[32],"naturally.":[33],"They":[34],"notably":[35],"include":[36],"comparisons":[38],"such":[39],"as":[40,140],"equivalence":[41],"(whether":[42,52],"two":[43],"queries":[44],"always":[45],"return":[46],"same":[48],"result),":[49],"containment":[51,167,192],"any":[54],"tree":[55],"result":[57,66],"particular":[60],"included":[63],"in":[64,193],"second":[69],"one).XPath":[70],"have":[73],"attracted":[74],"lot":[76],"research":[78],"attention,":[79],"especially":[80],"studying":[82],"computational":[84],"complexity":[85],"various":[87],"fragments.":[89],"However,":[90],"what":[91],"missing":[93],"at":[94],"present":[95,151],"constructive":[98],"use":[99],"an":[101],"expressive":[102],"logic":[103,143],"which":[104],"would":[105],"allow":[106],"capturing":[107],"these":[108],"problems,":[110],"while":[111],"providing":[112],"practically":[113],"effective":[114],"procedures.In":[116],"this":[117],"paper,":[118],"we":[119,131],"propose":[120,132],"logic-based":[122],"framework":[123],"static":[126,203],"analysis":[127,204],"XPath.":[129],"Specifically,":[130],"alternation":[134],"free":[135],"modal":[136],"\u03bc-calculus":[137,175],"with":[138,162],"converse":[139],"appropriate":[142],"effectively":[145],"solving":[146],"problems.":[149],"We":[150,195],"translation":[153],"large":[156],"fragment":[158],"into":[159],"\u03bc-calculus,":[160],"together":[161],"practical":[163],"experiments":[164,179],"on":[165,186],"using":[168],"state-of-the-art":[170],"EXPTIME":[171],"procedure":[173],"satisfiability.":[176],"These":[177],"preliminary":[178],"shed":[180],"light,":[181],"first":[184],"time,":[185],"cost":[188],"checking":[190],"practice.":[194],"believe":[196],"they":[197],"reveal":[198],"encouraging":[199],"results":[200],"further":[202],"transformations.":[207]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}