{"id":"https://openalex.org/W1992552784","doi":"https://doi.org/10.1145/1265530.1265541","title":"The complexity of query containment in expressive fragments of XPath 2.0","display_name":"The complexity of query containment in expressive fragments of XPath 2.0","publication_year":2007,"publication_date":"2007-06-11","ids":{"openalex":"https://openalex.org/W1992552784","doi":"https://doi.org/10.1145/1265530.1265541","mag":"1992552784"},"language":"en","primary_location":{"id":"doi:10.1145/1265530.1265541","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1265530.1265541","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080220262","display_name":"Balder ten Cate","orcid":"https://orcid.org/0000-0002-2538-5846"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Balder ten Cate","raw_affiliation_strings":["Universiteit van Amsterdam","Universiteit van Amsterdam;"],"affiliations":[{"raw_affiliation_string":"Universiteit van Amsterdam","institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"]},{"raw_affiliation_string":"Universiteit van Amsterdam;","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034616829","display_name":"Carsten Lutz","orcid":"https://orcid.org/0000-0002-8791-6702"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Carsten Lutz","raw_affiliation_strings":["Dresden University of Technology"],"affiliations":[{"raw_affiliation_string":"Dresden University of Technology","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5080220262"],"corresponding_institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"],"apc_list":null,"apc_paid":null,"fwci":9.6593,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.9780545,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"73","last_page":"82"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9937999844551086,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9937999844551086,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9927999973297119,"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/T10237","display_name":"Cryptography and Data Security","score":0.9865999817848206,"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.9696680903434753},{"id":"https://openalex.org/keywords/succinctness","display_name":"Succinctness","score":0.6913695335388184},{"id":"https://openalex.org/keywords/path-expression","display_name":"Path expression","score":0.6767949461936951},{"id":"https://openalex.org/keywords/transitive-closure","display_name":"Transitive closure","score":0.6598408818244934},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.652235746383667},{"id":"https://openalex.org/keywords/exptime","display_name":"EXPTIME","score":0.5920528769493103},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5516232848167419},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.547607958316803},{"id":"https://openalex.org/keywords/containment","display_name":"Containment (computer programming)","score":0.5060510039329529},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.4794955849647522},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47181522846221924},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.41681310534477234},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.3556278347969055},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31153160333633423},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29639166593551636},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.26480332016944885},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25245893001556396},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.19273021817207336},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.1591452956199646},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.1252843141555786}],"concepts":[{"id":"https://openalex.org/C2780213375","wikidata":"https://www.wikidata.org/wiki/Q16340","display_name":"XPath","level":4,"score":0.9696680903434753},{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.6913695335388184},{"id":"https://openalex.org/C61114434","wikidata":"https://www.wikidata.org/wiki/Q7144649","display_name":"Path expression","level":3,"score":0.6767949461936951},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.6598408818244934},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.652235746383667},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.5920528769493103},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5516232848167419},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.547607958316803},{"id":"https://openalex.org/C2777019822","wikidata":"https://www.wikidata.org/wiki/Q390066","display_name":"Containment (computer programming)","level":2,"score":0.5060510039329529},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.4794955849647522},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47181522846221924},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.41681310534477234},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3556278347969055},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31153160333633423},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29639166593551636},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.26480332016944885},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25245893001556396},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.19273021817207336},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.1591452956199646},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.1252843141555786},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1265530.1265541","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1265530.1265541","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.135.8955","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.8955","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://staff.science.uva.nl/~bcate/papers/pods07-full.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4099999964237213}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1483164577","https://openalex.org/W1513019207","https://openalex.org/W1528125373","https://openalex.org/W1536883094","https://openalex.org/W1539025858","https://openalex.org/W1544585257","https://openalex.org/W1545328259","https://openalex.org/W1573061520","https://openalex.org/W1580127085","https://openalex.org/W1716100575","https://openalex.org/W1971729277","https://openalex.org/W1983524017","https://openalex.org/W1985578047","https://openalex.org/W1990483472","https://openalex.org/W2029970296","https://openalex.org/W2033176822","https://openalex.org/W2044028378","https://openalex.org/W2056258354","https://openalex.org/W2063039776","https://openalex.org/W2073491323","https://openalex.org/W2074385562","https://openalex.org/W2082135413","https://openalex.org/W2088004976","https://openalex.org/W2105748890","https://openalex.org/W2109486375","https://openalex.org/W2115309483","https://openalex.org/W2116099233","https://openalex.org/W2117789898","https://openalex.org/W2122225808","https://openalex.org/W2124876285","https://openalex.org/W2128710701","https://openalex.org/W2129414328","https://openalex.org/W2131159347","https://openalex.org/W2131207001","https://openalex.org/W2133278242","https://openalex.org/W2136834295","https://openalex.org/W2137257773","https://openalex.org/W2146886516","https://openalex.org/W2159701549","https://openalex.org/W2160442532","https://openalex.org/W2160918318","https://openalex.org/W2170477095","https://openalex.org/W2294034341","https://openalex.org/W2502103274","https://openalex.org/W2950144551","https://openalex.org/W3104723580","https://openalex.org/W4241108585","https://openalex.org/W4285719527","https://openalex.org/W6634447015","https://openalex.org/W6634746015"],"related_works":["https://openalex.org/W1534104849","https://openalex.org/W2136834295","https://openalex.org/W2068852373","https://openalex.org/W2294034341","https://openalex.org/W2112167310","https://openalex.org/W2189552417","https://openalex.org/W2151886642","https://openalex.org/W2044007894","https://openalex.org/W2583244020","https://openalex.org/W1538300534"],"abstract_inverted_index":{"Query":[0],"containment":[1,34],"has":[2,130],"been":[3],"studied":[4],"extensively":[5],"for":[6,20],"fragments":[7],"of":[8,25,49,59,78,85,142,186],"XPath":[9,26,41,60],"1.0.":[10,27],"For":[11,75],"instance,":[12],"the":[13,22,38,52,63,83,135,140,144,160,181],"problem":[14],"is":[15,30],"known":[16,31],"to":[17,96,112,155],"be":[18,174],"ExpTime-complete":[19],"CoreXPath,":[21],"navigational":[23],"core":[24],"Much":[28],"less":[29],"about":[32],"query":[33,86],"in":[35,158,176,184],"(fragments":[36],"of)":[37],"richer":[39],"language":[40],"2.0.":[42],"In":[43,121],"this":[44,152],"paper,":[45],"we":[46,81,162],"consider":[47],"extensions":[48,101,108,115],"CoreXPath":[50],"with":[51,89,102,109,116],"following":[53],"operators,":[54,80],"which":[55],"are":[56],"all":[57,123],"part":[58],"2.0":[61],"(except":[62],"last):":[64],"path":[65,67,69,103,110,117],"intersection,":[66],"equality,":[68],"complementation,":[70],"for-loops,":[71],"and":[72,90,105,149,166],"transitive":[73,126],"closure.":[74],"each":[76],"combination":[77],"these":[79],"determine":[82],"complexity":[84,170],"containment,":[87],"both":[88],"without":[91],"DTDs.":[92],"It":[93],"turns":[94],"out":[95],"range":[97],"from":[98],"ExpTime":[99],"(for":[100,107,114],"equality)":[104],"2-ExpTime":[106],"intersection)":[111],"non-elementary":[113],"complementation":[118],"or":[119],"for-loops).":[120],"almost":[122],"cases,":[124],"adding":[125],"closure":[127],"on":[128,134],"top":[129],"no":[131],"further":[132],"impact":[133],"complexity.":[136],"We":[137],"also":[138,179],"investigate":[139],"effect":[141],"dropping":[143],"upward":[145],"and/or":[146],"sibling":[147],"axes,":[148],"show":[150],"that":[151],"sometimes":[153],"leads":[154],"a":[156],"reduction":[157],"complexity.Since":[159],"languages":[161,183],"study":[163],"include":[164],"negation":[165],"conjunction":[167],"infilters,":[168],"our":[169],"results":[171],"can":[172],"equivalently":[173],"stated":[175],"terms":[177,185],"ofsatisfiability.We":[178],"analyze":[180],"above":[182],"succinctness.":[187]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}