{"id":"https://openalex.org/W2747797425","doi":"https://doi.org/10.1145/3073409","title":"The Tractability Frontier of Graph-Like First-Order Query Sets","display_name":"The Tractability Frontier of Graph-Like First-Order Query Sets","publication_year":2017,"publication_date":"2017-08-17","ids":{"openalex":"https://openalex.org/W2747797425","doi":"https://doi.org/10.1145/3073409","mag":"2747797425"},"language":"en","primary_location":{"id":"doi:10.1145/3073409","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3073409","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"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":"Journal of the ACM","raw_type":"journal-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/A5107271836","display_name":"Hubie Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I110594554","display_name":"Ikerbasque","ror":"https://ror.org/01cc3fy72","country_code":"ES","type":"other","lineage":["https://openalex.org/I110594554"]},{"id":"https://openalex.org/I169108374","display_name":"University of the Basque Country","ror":"https://ror.org/000xsnr85","country_code":"ES","type":"education","lineage":["https://openalex.org/I169108374"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Hubie Chen","raw_affiliation_strings":["Universidad del Pa\u00eds Vasco and IKERBASQUE, Basque Foundation for Science, Spain"],"affiliations":[{"raw_affiliation_string":"Universidad del Pa\u00eds Vasco and IKERBASQUE, Basque Foundation for Science, Spain","institution_ids":["https://openalex.org/I110594554","https://openalex.org/I169108374"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5107271836"],"corresponding_institution_ids":["https://openalex.org/I110594554","https://openalex.org/I169108374"],"apc_list":null,"apc_paid":null,"fwci":0.2271,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.55467148,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"64","issue":"4","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9987000226974487,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9987000226974487,"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/T11567","display_name":"semigroups and automata theory","score":0.9966999888420105,"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/T10142","display_name":"Formal Methods in Verification","score":0.9921000003814697,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.8134967088699341},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.6187005639076233},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5044814348220825},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.48775678873062134},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4767511785030365},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4726414084434509},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4611523449420929},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.46082887053489685},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4295964539051056},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4290130138397217},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33884885907173157},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33736875653266907},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2537745237350464}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8134967088699341},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.6187005639076233},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5044814348220825},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.48775678873062134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4767511785030365},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4726414084434509},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4611523449420929},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.46082887053489685},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4295964539051056},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4290130138397217},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33884885907173157},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33736875653266907},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2537745237350464},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3073409","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3073409","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"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":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6071679526","display_name":null,"funder_award_id":"UFI11/45","funder_id":"https://openalex.org/F4320321919","funder_display_name":"Euskal Herriko Unibertsitatea"}],"funders":[{"id":"https://openalex.org/F4320321919","display_name":"Euskal Herriko Unibertsitatea","ror":"https://ror.org/000xsnr85"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W36639738","https://openalex.org/W55426774","https://openalex.org/W63340727","https://openalex.org/W80569205","https://openalex.org/W127859554","https://openalex.org/W193724012","https://openalex.org/W1570425181","https://openalex.org/W1988026822","https://openalex.org/W1998342956","https://openalex.org/W2003921622","https://openalex.org/W2026745535","https://openalex.org/W2027519504","https://openalex.org/W2031641275","https://openalex.org/W2048685245","https://openalex.org/W2064076717","https://openalex.org/W2065888137","https://openalex.org/W2066776015","https://openalex.org/W2078803743","https://openalex.org/W2087083200","https://openalex.org/W2111829945","https://openalex.org/W2118076394","https://openalex.org/W2236332462","https://openalex.org/W2260560831","https://openalex.org/W2403380599","https://openalex.org/W2950294966","https://openalex.org/W2963348585","https://openalex.org/W4254380579"],"related_works":["https://openalex.org/W1988772559","https://openalex.org/W1834737061","https://openalex.org/W2565115296","https://openalex.org/W2171811389","https://openalex.org/W2041837101","https://openalex.org/W1598441350","https://openalex.org/W1539117866","https://openalex.org/W2259552592","https://openalex.org/W3098927428","https://openalex.org/W4225648598"],"abstract_inverted_index":{"The":[0],"focus":[1],"of":[2,16,41,50,61,93,111,146],"this":[3,43,55],"work":[4,72],"is":[5,25,45,68,88,99,137],"first-order":[6,23,74],"model":[7,75],"checking,":[8],"by":[9,27,70],"which":[10,39,98],"we":[11,34,57,128],"refer":[12],"to":[13,36],"the":[14,48,59,66,78,89,103,118],"problem":[15,44],"deciding":[17],"whether":[18],"or":[19],"not":[20],"a":[21,28,62,109,132],"given":[22,29],"sentence":[24,64,96],"satisfied":[26],"finite":[30],"structure.":[31],"In":[32],"particular,":[33],"aim":[35],"understand":[37],"on":[38,73,117,139],"sets":[40],"sentences":[42,112],"tractable,":[46],"in":[47],"sense":[49],"parameterized":[51,140],"complexity":[52,105,141],"theory.":[53],"To":[54,122],"end,":[56],"define":[58],"notion":[60],"graph-like":[63,95],"set;":[65],"definition":[67],"inspired":[69],"previous":[71],"checking":[76],"wherein":[77],"permitted":[79],"connectives":[80,119],"and":[81,120,124,130,142],"quantifiers":[82],"were":[83],"restricted.":[84],"Our":[85],"main":[86],"theorem":[87,107],"complete":[90],"tractability":[91],"classification":[92,106],"such":[94],"sets,":[97],"(to":[100],"our":[101,126],"knowledge)":[102],"first":[104],"concerning":[108],"class":[110],"that":[113,136],"has":[114],"no":[115],"restriction":[116],"quantifiers.":[121],"present":[123],"prove":[125],"classification,":[127],"introduce":[129],"develop":[131],"novel":[133],"complexity-theoretic":[134],"framework":[135],"built":[138],"includes":[143],"new":[144],"notions":[145],"reduction.":[147]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}