{"id":"https://openalex.org/W2111789076","doi":"https://doi.org/10.1137/050646895","title":"On the Complexity of Verifying Consistency of XML Specifications","display_name":"On the Complexity of Verifying Consistency of XML Specifications","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2111789076","doi":"https://doi.org/10.1137/050646895","mag":"2111789076"},"language":"en","primary_location":{"id":"doi:10.1137/050646895","is_oa":false,"landing_page_url":"https://doi.org/10.1137/050646895","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/acc839ac-b8da-48c9-90d6-add6939a08c5","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011691423","display_name":"Marcelo Arenas","orcid":"https://orcid.org/0000-0003-3678-1868"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Marcelo Arenas","raw_affiliation_strings":["marenas@ing.puc.cl#TAB#"],"affiliations":[{"raw_affiliation_string":"marenas@ing.puc.cl#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070565287","display_name":"Wenfei Fan","orcid":"https://orcid.org/0000-0001-5149-2656"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wenfei Fan","raw_affiliation_strings":["wenfei@inf.ed.ac.uk and libkin@inf.ed.ac.uk#TAB#"],"affiliations":[{"raw_affiliation_string":"wenfei@inf.ed.ac.uk and libkin@inf.ed.ac.uk#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069883356","display_name":"Leonid Libkin","orcid":"https://orcid.org/0000-0002-6698-2735"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Leonid Libkin","raw_affiliation_strings":["School of Informatics"],"affiliations":[{"raw_affiliation_string":"School of Informatics","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5011691423"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.3866,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":{"value":0.97723695,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"38","issue":"3","first_page":"841","last_page":"880"},"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.9988999962806702,"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.9988999962806702,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9976000189781189,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9973000288009644,"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/unary-operation","display_name":"Unary operation","score":0.8877773284912109},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7033132910728455},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.7022429704666138},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6141350269317627},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5228522419929504},{"id":"https://openalex.org/keywords/xml-validation","display_name":"XML validation","score":0.5226076245307922},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5200483798980713},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.4809771776199341},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.45817089080810547},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42946070432662964},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2751156687736511},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2405245006084442},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07606619596481323}],"concepts":[{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.8877773284912109},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7033132910728455},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7022429704666138},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6141350269317627},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5228522419929504},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.5226076245307922},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5200483798980713},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.4809771776199341},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.45817089080810547},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42946070432662964},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2751156687736511},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2405245006084442},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07606619596481323},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1137/050646895","is_oa":false,"landing_page_url":"https://doi.org/10.1137/050646895","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/acc839ac-b8da-48c9-90d6-add6939a08c5","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/acc839ac-b8da-48c9-90d6-add6939a08c5","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Arenas, M, Fan, W & Libkin, L 2008, 'On the Complexity of Verifying Consistency of XML Specifications', SIAM Journal on Computing, vol. 38, no. 3, pp. 841-880. https://doi.org/10.1137/050646895","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.336.4232","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.336.4232","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.inf.ed.ac.uk/libkin/papers/sicomp-pods02.pdf","raw_type":"text"},{"id":"pmh:oai:americanae.aecid.es:3270994","is_oa":true,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=3270994","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"SIAM JOURNAL ON COMPUTING (PRINT)","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:localhost:10533/142671","is_oa":true,"landing_page_url":"http://hdl.handle.net/10533/142671","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"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":"SIAM JOURNAL ON COMPUTING (PRINT)","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/acc839ac-b8da-48c9-90d6-add6939a08c5","is_oa":false,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/on-the-complexity-of-verifying-consistency-of-xml-specifications(acc839ac-b8da-48c9-90d6-add6939a08c5).html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/acc839ac-b8da-48c9-90d6-add6939a08c5","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/acc839ac-b8da-48c9-90d6-add6939a08c5","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Arenas, M, Fan, W & Libkin, L 2008, 'On the Complexity of Verifying Consistency of XML Specifications', SIAM Journal on Computing, vol. 38, no. 3, pp. 841-880. https://doi.org/10.1137/050646895","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1003392328","display_name":null,"funder_award_id":"EP/E005039/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W97077349","https://openalex.org/W121678118","https://openalex.org/W172857819","https://openalex.org/W189337624","https://openalex.org/W1587829740","https://openalex.org/W1747717485","https://openalex.org/W1781113593","https://openalex.org/W1854396226","https://openalex.org/W1916576906","https://openalex.org/W1970599921","https://openalex.org/W1988662949","https://openalex.org/W1990483472","https://openalex.org/W1992810975","https://openalex.org/W2002345150","https://openalex.org/W2003398206","https://openalex.org/W2008868264","https://openalex.org/W2011039300","https://openalex.org/W2016521643","https://openalex.org/W2016948832","https://openalex.org/W2038925304","https://openalex.org/W2042412119","https://openalex.org/W2042853248","https://openalex.org/W2075552472","https://openalex.org/W2084175122","https://openalex.org/W2099318732","https://openalex.org/W2103658959","https://openalex.org/W2122306341","https://openalex.org/W2140539965","https://openalex.org/W2140678095","https://openalex.org/W2165286227","https://openalex.org/W2169602474","https://openalex.org/W2170192471","https://openalex.org/W2476096155","https://openalex.org/W2502590327","https://openalex.org/W2996968859","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W1501430220","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2962928105","https://openalex.org/W2170336571","https://openalex.org/W2020140696"],"abstract_inverted_index":{"XML":[0,100],"specifications":[1,27],"often":[2,35],"consist":[3],"of":[4,17,95,106,118,124,148],"a":[5,9,15,93,146,203],"type":[6,11],"definition":[7,12],"(typically,":[8],"document":[10,138],"(DTD))":[13],"and":[14,31,48,63,80,102,139,157,165,169],"set":[16],"integrity":[18],"constraints.":[19],"It":[20,43],"has":[21],"been":[22],"shown":[23],"previously":[24,96],"that":[25,57,133,142,173,182,195],"such":[26],"can":[28],"be":[29],"inconsistent,":[30],"thus":[32],"it":[33,71],"is":[34,44,68,113,126,190],"desirable":[36],"to":[37,198],"check":[38],"consistency":[39,66,108,125,188],"at":[40,130],"compile":[41],"time.":[42],"known":[45],"[W.":[46],"Fan":[47],"L.":[49],"Libkin,":[50],"J.":[51],"ACM,":[52],"49":[53],"(2002),":[54],"pp.":[55],"368\u2013406]":[56],"for":[58,99,161,184,200,208],"general":[59],"keys,":[60,62],"foreign":[61,84,119,167],"DTDs":[64],"the":[65,104,107,116,136,149,187],"problem":[67,189],"undecidable;":[69],"however,":[70],"becomes":[72],"NP-complete":[73],"when":[74],"all":[75],"keys":[76,85,164,168],"are":[77,86],"one-attribute":[78],"(unary)":[79],"tractable,":[81],"if":[82],"no":[83],"used.":[87],"In":[88],"this":[89],"paper,":[90],"we":[91,154,180],"consider":[92],"variety":[94],"studied":[97],"constraints":[98,132,141,172,186],"data":[101],"investigate":[103],"complexity":[105,159],"problem.":[109],"Our":[110],"main":[111],"conclusion":[112],"that,":[114],"in":[115,135,145],"presence":[117],"key":[120],"constraints,":[121,153,179],"compile-time":[122],"verification":[123],"infeasible.":[127],"We":[128,192],"look":[129],"absolute":[131,152],"hold":[134,143,199],"entire":[137],"relative":[140,178],"only":[144],"part":[147],"document.":[150],"For":[151,177],"prove":[155,181],"decidability":[156],"establish":[158],"bounds":[160],"primary":[162],"multiattribute":[163],"unary":[166,171,185],"study":[170],"involve":[174],"regular":[175],"expressions.":[176],"even":[183],"undecidable.":[191],"also":[193],"show":[194],"results":[196],"continue":[197],"extended":[201],"DTDs,":[202],"more":[204],"expressive":[205],"typing":[206],"mechanism":[207],"XML.":[209]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":5}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}