{"id":"https://openalex.org/W2062179480","doi":"https://doi.org/10.1145/2338626.2338632","title":"Efficient reasoning about data trees via integer linear programming","display_name":"Efficient reasoning about data trees via integer linear programming","publication_year":2012,"publication_date":"2012-08-01","ids":{"openalex":"https://openalex.org/W2062179480","doi":"https://doi.org/10.1145/2338626.2338632","mag":"2062179480"},"language":"en","primary_location":{"id":"doi:10.1145/2338626.2338632","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2338626.2338632","pdf_url":null,"source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Database Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-00835833v1/file/edt-tods.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074428781","display_name":"Claire David","orcid":"https://orcid.org/0000-0002-4729-0733"},"institutions":[{"id":"https://openalex.org/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Claire David","raw_affiliation_strings":["Universit\u00e9 Paris-Est, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Est, France","institution_ids":["https://openalex.org/I2800365227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069883356","display_name":"Leonid Libkin","orcid":"https://orcid.org/0000-0002-6698-2735"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Leonid Libkin","raw_affiliation_strings":["University of Edinburgh, UK","University of Edinburgh (UK)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh (UK)","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060686021","display_name":"Tony Tan","orcid":"https://orcid.org/0009-0005-8341-2004"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tony Tan","raw_affiliation_strings":["University of Edinburgh, UK","University of Edinburgh (UK)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh (UK)","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5074428781"],"corresponding_institution_ids":["https://openalex.org/I2800365227"],"apc_list":null,"apc_paid":null,"fwci":1.3889,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.81863303,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"37","issue":"3","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9991999864578247,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.8134489059448242},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7438042163848877},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.691694438457489},{"id":"https://openalex.org/keywords/presburger-arithmetic","display_name":"Presburger arithmetic","score":0.5988685488700867},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5674830079078674},{"id":"https://openalex.org/keywords/succinctness","display_name":"Succinctness","score":0.49004828929901123},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.46193256974220276},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4416772425174713},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2293042540550232},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.10684692859649658}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8134489059448242},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7438042163848877},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.691694438457489},{"id":"https://openalex.org/C5852641","wikidata":"https://www.wikidata.org/wiki/Q956059","display_name":"Presburger arithmetic","level":3,"score":0.5988685488700867},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5674830079078674},{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.49004828929901123},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.46193256974220276},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4416772425174713},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2293042540550232},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.10684692859649658},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":10,"locations":[{"id":"doi:10.1145/2338626.2338632","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2338626.2338632","pdf_url":null,"source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Database Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00835833v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00835833","pdf_url":"https://hal.science/hal-00835833v1/file/edt-tods.pdf","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Database Systems, 2012, 37 (3), pp.19.1-19.28. ⟨10.1145/2338626.2338632⟩","raw_type":"Journal articles"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.188.7002","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.7002","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://fox7.eu/wp-content/uploads/icdt11-1.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.229.1087","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.229.1087","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.liafa.jussieu.fr/%7Ecdavid/publi/icdt11.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.230.456","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.456","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/ttan/2011-icdt-edt.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.302.6197","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.6197","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://fox7.eu/wp-content/uploads/edt-tods.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.367.2607","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.2607","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/edt-tods.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.395.9492","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.9492","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal-enpc.archives-ouvertes.fr/docs/00/72/06/72/PDF/icdt11.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.396.1763","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.1763","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal-enpc.archives-ouvertes.fr/docs/00/83/58/33/PDF/edt-tods.pdf","raw_type":"text"},{"id":"pmh:oai:pure.ed.ac.uk:publications/f4b55d94-61ff-479a-bb1b-b8532a300799","is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11820/f4b55d94-61ff-479a-bb1b-b8532a300799","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:HAL:hal-00835833v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00835833","pdf_url":"https://hal.science/hal-00835833v1/file/edt-tods.pdf","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Database Systems, 2012, 37 (3), pp.19.1-19.28. ⟨10.1145/2338626.2338632⟩","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3649347000","display_name":null,"funder_award_id":"EP/J015377/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4916514355","display_name":null,"funder_award_id":"G049165","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G582362311","display_name":null,"funder_award_id":"FP7-ICT-233599","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"},{"id":"https://openalex.org/G7537944442","display_name":null,"funder_award_id":"EP/G049165/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"},{"id":"https://openalex.org/F4320334960","display_name":"Seventh Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338370","display_name":"FP7 Information and Communication Technologies","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2062179480.pdf","grobid_xml":"https://content.openalex.org/works/W2062179480.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1479863711","https://openalex.org/W1480909796","https://openalex.org/W1516630410","https://openalex.org/W1526826791","https://openalex.org/W1569718229","https://openalex.org/W1585533089","https://openalex.org/W1593799327","https://openalex.org/W1594696993","https://openalex.org/W1970599921","https://openalex.org/W1971729277","https://openalex.org/W1981870753","https://openalex.org/W1988662949","https://openalex.org/W1992381179","https://openalex.org/W1999396796","https://openalex.org/W2016521643","https://openalex.org/W2036564813","https://openalex.org/W2038925304","https://openalex.org/W2040295920","https://openalex.org/W2047551518","https://openalex.org/W2053455078","https://openalex.org/W2056665285","https://openalex.org/W2073614038","https://openalex.org/W2078015341","https://openalex.org/W2099318732","https://openalex.org/W2103658959","https://openalex.org/W2111789076","https://openalex.org/W2127397152","https://openalex.org/W2139258089","https://openalex.org/W2142529424","https://openalex.org/W2147973254","https://openalex.org/W2157148396","https://openalex.org/W2162199371","https://openalex.org/W2162593546","https://openalex.org/W2177814128","https://openalex.org/W2294034341","https://openalex.org/W2673028924","https://openalex.org/W3148190347","https://openalex.org/W4240184370","https://openalex.org/W4285719527","https://openalex.org/W6628682275","https://openalex.org/W6634622667"],"related_works":["https://openalex.org/W56994778","https://openalex.org/W3185974462","https://openalex.org/W4225592929","https://openalex.org/W1585688349","https://openalex.org/W1851346840","https://openalex.org/W4294016381","https://openalex.org/W3130346675","https://openalex.org/W2583753471","https://openalex.org/W2122700562","https://openalex.org/W2922024459"],"abstract_inverted_index":{"Data":[0],"trees":[1,14,90],"provide":[2],"a":[3,170,192,226],"standard":[4],"abstraction":[5],"of":[6,54,97,109,112,123,136,159,164,173,191,214,221,237],"XML":[7,209],"documents":[8],"with":[9,101],"data":[10,41,89,113,217],"values:":[11],"they":[12],"are":[13,45,62,66,91],"whose":[15],"nodes,":[16],"in":[17,35,69],"addition":[18,158],"to":[19,52,204],"the":[20,48,95,134,137,148,157,177,189,222,235,242],"usual":[21],"labels,":[22],"can":[23,118],"carry":[24],"labels":[25],"from":[26],"an":[27,129],"infinite":[28],"alphabet":[29],"(data).":[30],"Therefore,":[31],"one":[32],"is":[33,182,196],"interested":[34,68],"decidable":[36,86],"formalisms":[37,72,87],"for":[38,78,88],"reasoning":[39,138,206,239],"about":[40],"trees.":[42],"While":[43],"some":[44,238],"known\u2014such":[46],"as":[47,73,75,145,147,162,184,212],"two-variable":[49,223],"logic\u2014they":[50],"tend":[51],"be":[53,119],"very":[55,153],"high":[56],"complexity,":[57],"and":[58,104,155,166,168,216,219],"most":[59],"decidability":[60],"proofs":[61],"highly":[63],"nontrivial.":[64],"We":[65,140,199],"therefore":[67],"reasonable":[70],"complexity":[71,135],"well":[74,146],"better":[76],"techniques":[77],"proving":[79],"decidability.":[80],"Here":[81],"we":[82,185,229],"show":[83,187],"that":[84,142,188],"many":[85],"subsumed\u2014fully":[92],"or":[93],"partially\u2014by":[94],"power":[96],"tree":[98],"automata":[99],"together":[100],"set":[102,194],"constraints":[103,106,117],"linear":[105,125],"on":[107,133,234],"cardinalities":[108],"various":[110],"sets":[111],"values.":[114],"All":[115],"these":[116],"translated":[120],"into":[121],"instances":[122],"integer":[124],"programming,":[126],"giving":[127],"us":[128],"NP":[130,180],"upper":[131],"bound":[132,181],"tasks.":[139],"prove":[141],"this":[143],"bound,":[144],"key":[149],"encoding":[150,172],"technique,":[151],"remain":[152],"robust,":[154],"allow":[156],"features":[160],"such":[161,211],"counting":[163],"paths":[165],"patterns,":[167],"even":[169],"concise":[171],"constraints,":[174],"without":[175],"increasing":[176],"complexity.":[178],"The":[179],"tight,":[183],"also":[186],"satisfiability":[190,213,220],"single":[193],"constraint":[195],"already":[197],"NP-hard.":[198],"then":[200],"relate":[201],"our":[202],"results":[203,232],"several":[205],"tasks":[207,240],"over":[208],"documents,":[210],"schemas":[215],"dependencies":[218],"logic.":[224],"As":[225],"final":[227],"contribution,":[228],"describe":[230],"experimental":[231],"based":[233],"implementation":[236],"using":[241],"SMT":[243],"solver":[244],"Z3.":[245]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-06-10T14:10:52.464848","created_date":"2025-10-10T00:00:00"}