{"id":"https://openalex.org/W4396892693","doi":"https://doi.org/10.1145/3651587","title":"The Weisfeiler-Leman Dimension of Conjunctive Queries","display_name":"The Weisfeiler-Leman Dimension of Conjunctive Queries","publication_year":2024,"publication_date":"2024-05-10","ids":{"openalex":"https://openalex.org/W4396892693","doi":"https://doi.org/10.1145/3651587"},"language":"en","primary_location":{"id":"doi:10.1145/3651587","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3651587","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"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":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ora.ox.ac.uk/objects/uuid:96d1c05d-de92-4a3b-a304-1c9f5a3afc43","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004370380","display_name":"Andreas G\u00f6bel","orcid":"https://orcid.org/0000-0002-5180-7205"},"institutions":[{"id":"https://openalex.org/I143288331","display_name":"Hasso Plattner Institute","ror":"https://ror.org/058rn5r42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I143288331","https://openalex.org/I176453806"]},{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Andreas G\u00f6bel","raw_affiliation_strings":["Hasso Plattner Institute, University of Potsdam, Potsdam, Germany"],"raw_orcid":"https://orcid.org/0000-0002-5180-7205","affiliations":[{"raw_affiliation_string":"Hasso Plattner Institute, University of Potsdam, Potsdam, Germany","institution_ids":["https://openalex.org/I143288331","https://openalex.org/I176453806"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029293569","display_name":"Leslie Ann Goldberg","orcid":"https://orcid.org/0000-0003-1879-6089"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Leslie A. Goldberg","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-1879-6089","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091690351","display_name":"Marc Roth","orcid":"https://orcid.org/0000-0003-3159-9418"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Marc Roth","raw_affiliation_strings":["School of Electronic Engineering and Computer Science, Queen Mary University of London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-3159-9418","affiliations":[{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004370380"],"corresponding_institution_ids":["https://openalex.org/I143288331","https://openalex.org/I176453806"],"apc_list":null,"apc_paid":null,"fwci":0.3288,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.49329375,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"2","issue":"2","first_page":"1","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.995199978351593,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/dimension","display_name":"Dimension (graph theory)","score":0.7904425263404846},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.49330225586891174},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4594181180000305},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.24310839176177979},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2244984209537506},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.0860438346862793}],"concepts":[{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.7904425263404846},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.49330225586891174},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4594181180000305},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.24310839176177979},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2244984209537506},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0860438346862793},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3651587","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3651587","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"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":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:96d1c05d-de92-4a3b-a304-1c9f5a3afc43","is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:96d1c05d-de92-4a3b-a304-1c9f5a3afc43","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements","raw_type":"Conference item"}],"best_oa_location":{"id":"pmh:oai:ora.ox.ac.uk:uuid:96d1c05d-de92-4a3b-a304-1c9f5a3afc43","is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:96d1c05d-de92-4a3b-a304-1c9f5a3afc43","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements","raw_type":"Conference item"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3361649220","display_name":null,"funder_award_id":"467516565","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W145923007","https://openalex.org/W2077814962","https://openalex.org/W2135382359","https://openalex.org/W2181072414","https://openalex.org/W2236332462","https://openalex.org/W2524594508","https://openalex.org/W2610844084","https://openalex.org/W2747329762","https://openalex.org/W2962810718","https://openalex.org/W2963063614","https://openalex.org/W2963348585","https://openalex.org/W2965645196","https://openalex.org/W3035664258","https://openalex.org/W3126477253","https://openalex.org/W3173296734","https://openalex.org/W3177995633","https://openalex.org/W3193302153","https://openalex.org/W3215764949","https://openalex.org/W4234122916","https://openalex.org/W4321649496","https://openalex.org/W4353007239","https://openalex.org/W4387294047"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W1810918211","https://openalex.org/W1606535634","https://openalex.org/W4396696052"],"abstract_inverted_index":{"A":[0],"graph":[1,76,107,166,322,331],"parameter":[2],"is":[3,36,64,158,192,296,421],"a":[4,85,93,174,200,210,269,277,300,307,321,345,361,393],"function":[5,103,273],"f":[6,35,63],"on":[7],"graphs":[8,18,364,407],"with":[9,241,298,314],"the":[10,37,51,73,80,90,99,102,110,156,161,164,195,213,233,242,246,251,272,294,304,329,337,353,372,382,386,413,417],"property":[11],"that,":[12,41],"for":[13,140],"any":[14,183,310],"pair":[15,362],"of":[16,34,62,75,82,101,112,114,120,163,167,208,212,215,237,286,293,303,306,324,332,352,363,385,396,419],"isomorphic":[17],"G":[19,22,43,46,108],"1":[20,26,44,56],"and":[21,45,128,132,217,227,253,366,400],"2":[23,28,47,58],",":[24],"f(G":[25,55],")=f(G":[27,57],").":[29,59],"The":[30,60,118,291],"Weisfeiler--Leman":[31],"(WL)":[32],"dimension":[33],"minimum":[38],"k":[39,69,326],"such":[40,68,153],"if":[42,66],"are":[48,145,239,369],"indistinguishable":[49,370],"by":[50,79,225,284,334,371,412],"k-dimensional":[52],"WL-algorithm":[53,252,374],"then":[54,359],"WL-dimension":[61,74,100,157,191,305,418],"\u221e":[65],"no":[67],"exists.":[70],"We":[71],"study":[72],"parameters":[77],"characterised":[78],"number":[81,111,395],"answers":[83,113,275,397],"from":[84,328],"fixed":[86],"conjunctive":[87,94,142,146,180,184,278,311],"query":[88,95,185,279,312],"to":[89,109,160,178,194,260,276,340,348],"graph.":[91],"Given":[92,182,309],"\u03c6,":[96,155,186],"we":[97,172,187,266,319,358,388],"quantify":[98],"that":[104,176,189,204,271,368,390,408],"maps":[105],"every":[106],"\u03c6":[115,216,238,280,313,333,391,403,420],"in":[116,381,398],"G.":[117],"works":[119],"Dvorak":[121],"(J.":[122],"Graph":[123,255],"Theory":[124],"2010),":[125],"Dell,":[126],"Grohe,":[127],"Rattan":[129],"(ICALP":[130,350],"2018),":[131],"Neuen":[133],"(ArXiv":[134],"2023)":[135],"have":[136],"answered":[137],"this":[138,170],"question":[139],"full":[141],"queries,":[143],"which":[144],"queries":[147,154],"without":[148],"existentially":[149,234,341],"quantified":[150,219,235,342],"variables.":[151,244,343],"For":[152],"equal":[159,193],"treewidth":[162,214,325,378],"Gaifman":[165,330],"\u03c6.":[168],"In":[169],"work,":[171],"give":[173],"characterisation":[175],"applies":[177],"all":[179],"queries.":[181],"prove":[188],"its":[190,218],"semantic":[196,315],"extension":[197,316],"width":[198,202,317],"sew(\u03c6),":[199],"novel":[201],"measure":[203],"can":[205,404],"be":[206,282,410],"thought":[207],"as":[209,268],"combination":[211],"star":[220],"size,":[221],"an":[222],"invariant":[223],"introduced":[224],"Durand":[226],"Mengel":[228],"(ICDT":[229],"2013)":[230],"describing":[231],"how":[232],"variables":[236],"connected":[240],"free":[243],"Using":[245,344],"recently":[247],"established":[248],"equivalence":[249],"between":[250],"higher-order":[254],"Neural":[256],"Networks":[257],"(GNNs)":[258],"due":[259,347],"Morris":[261],"et":[262],"al.":[263],"(AAAI":[264],"2019),":[265],"obtain":[267,360],"consequence":[270],"counting":[274],"cannot":[281,409],"computed":[283],"GNNs":[285],"order":[287],"smaller":[288],"than":[289],"sew(\u03c6).":[290],"majority":[292],"paper":[295],"concerned":[297],"establishing":[299],"lower":[301],"bound":[302],"query.":[308],"k,":[318],"consider":[320],"F":[323,376],"obtained":[327],"repeatedly":[335],"cloning":[336],"vertices":[338],"corresponding":[339],"modification":[346],"Furer":[349],"2001)":[351],"Cai-F\u00fcrer-Immerman":[354],"construction":[355],"(Combinatorica":[356],"1992),":[357],"\u03c7(F)":[365,399],"^\u03c7(F)":[367],"(k-1)-dimensional":[373,414],"since":[375],"has":[377,392],"k.":[379,424],"Finally,":[380],"technical":[383],"heart":[384],"paper,":[387],"show":[389],"different":[394],"^\u03c7(F).":[401],"Thus,":[402],"distinguish":[405],"two":[406],"distinguished":[411],"WL-algorithm,":[415],"so":[416],"at":[422],"least":[423]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}