{"id":"https://openalex.org/W2731670349","doi":"https://doi.org/10.1137/16m1090272","title":"The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems","display_name":"The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2731670349","doi":"https://doi.org/10.1137/16m1090272","mag":"2731670349"},"language":"en","primary_location":{"id":"doi:10.1137/16m1090272","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1090272","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087340443","display_name":"Gianluigi Greco","orcid":"https://orcid.org/0000-0002-5799-6828"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gianluigi Greco","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5011519788","display_name":"Francesco Scarcello","orcid":"https://orcid.org/0000-0001-7765-1563"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Francesco Scarcello","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5087340443"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2711,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.89492248,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"46","issue":"3","first_page":"1111","last_page":"1145"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9990000128746033,"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.9990000128746033,"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/T11596","display_name":"Constraint Satisfaction and Optimization","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/T11106","display_name":"Data Management and Algorithms","score":0.9984999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.6622098684310913},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.6389697194099426},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6125808358192444},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.5921033024787903},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.5741853713989258},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5629734992980957},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5284184217453003},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5220018029212952},{"id":"https://openalex.org/keywords/materialized-view","display_name":"Materialized view","score":0.49688056111335754},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.48369675874710083},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4404800832271576},{"id":"https://openalex.org/keywords/decomposition-method","display_name":"Decomposition method (queueing theory)","score":0.42525067925453186},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.3882233798503876},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3522026538848877},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.17838895320892334},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13807940483093262},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1259985864162445},{"id":"https://openalex.org/keywords/view","display_name":"View","score":0.12008985877037048}],"concepts":[{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.6622098684310913},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.6389697194099426},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6125808358192444},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5921033024787903},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.5741853713989258},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5629734992980957},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5284184217453003},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5220018029212952},{"id":"https://openalex.org/C98199447","wikidata":"https://www.wikidata.org/wiki/Q2445044","display_name":"Materialized view","level":4,"score":0.49688056111335754},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.48369675874710083},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4404800832271576},{"id":"https://openalex.org/C2778258933","wikidata":"https://www.wikidata.org/wiki/Q16918986","display_name":"Decomposition method (queueing theory)","level":2,"score":0.42525067925453186},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.3882233798503876},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3522026538848877},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.17838895320892334},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13807940483093262},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1259985864162445},{"id":"https://openalex.org/C54239708","wikidata":"https://www.wikidata.org/wiki/Q1329910","display_name":"View","level":3,"score":0.12008985877037048},{"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/C148840519","wikidata":"https://www.wikidata.org/wiki/Q1049878","display_name":"Database design","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/16m1090272","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1090272","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"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1965022641","https://openalex.org/W1979788646","https://openalex.org/W1991477862","https://openalex.org/W1999038767","https://openalex.org/W2002722727","https://openalex.org/W2004485491","https://openalex.org/W2005032394","https://openalex.org/W2008536061","https://openalex.org/W2011911122","https://openalex.org/W2016812993","https://openalex.org/W2026838793","https://openalex.org/W2028222220","https://openalex.org/W2033325972","https://openalex.org/W2034674470","https://openalex.org/W2045201280","https://openalex.org/W2046649829","https://openalex.org/W2046652577","https://openalex.org/W2057186622","https://openalex.org/W2059372025","https://openalex.org/W2075198446","https://openalex.org/W2083882774","https://openalex.org/W2085443399","https://openalex.org/W2091522522","https://openalex.org/W2104498537","https://openalex.org/W2146944439","https://openalex.org/W2148417962","https://openalex.org/W2153629319","https://openalex.org/W2326948987","https://openalex.org/W2480499276","https://openalex.org/W2624220145","https://openalex.org/W2628596753","https://openalex.org/W2914039150","https://openalex.org/W3105352315","https://openalex.org/W4241108585","https://openalex.org/W4254380579","https://openalex.org/W4255714760"],"related_works":["https://openalex.org/W2118249115","https://openalex.org/W2569549435","https://openalex.org/W2091348864","https://openalex.org/W2784687883","https://openalex.org/W4303044088","https://openalex.org/W96881443","https://openalex.org/W2216566009","https://openalex.org/W2141935412","https://openalex.org/W2140769824","https://openalex.org/W2922482437"],"abstract_inverted_index":{"Answering":[0],"conjunctive":[1,286],"queries":[2,255],"is":[3,12,46,132,189,275,309],"a":[4,91,147,262,299],"fundamental":[5,25,279],"problem":[6,45],"in":[7,19,28,35,56,102,111,251],"database":[8,198],"theory,":[9],"and":[10,22,200,224,234,256,280,304],"it":[11],"equivalent":[13],"to":[14,23,135,161,210,298],"solving":[15,76,257],"constraint":[16,258],"satisfaction":[17,259],"problems":[18,26],"artificial":[20],"intelligence":[21],"other":[24,113],"arising":[27],"computer":[29],"science,":[30],"which":[31,248],"can":[32],"be":[33],"recast":[34],"terms":[36],"of":[37,66,121,145,168,183,245,268,284],"looking":[38],"for":[39,59,71,75,117,125,152,253],"homomorphisms":[40],"between":[41],"relational":[42,97],"structures.":[43],"The":[44,157,175],"NP-hard,":[47],"so":[48,225],"that":[49,241,291],"several":[50],"research":[51],"efforts":[52],"have":[53],"been":[54],"made":[55],"the":[57,88,126,137,142,165,180,196,201,211,228,266,278,295,307],"literature":[58],"identifying":[60],"tractable":[61],"classes,":[62],"known":[63],"as":[64,68,70,124,217],"islands":[65],"tractability,":[67],"well":[69],"devising":[72],"clever":[73],"heuristics":[74],"efficiently":[77],"real-world":[78],"instances.":[79],"Many":[80],"heuristic":[81],"approaches":[82],"are":[83,207,242],"based":[84,170,270],"on":[85,87,171,271],"enforcing":[86,129,172,272],"given":[89,138,197],"instance":[90,139],"property":[92],"called":[93],"local":[94,130,173,187,273,292],"consistency":[95,131,188,274,293],"(also,":[96],"arc-consistency),":[98],"where":[99,186,204],"each":[100],"tuple":[101,110],"every":[103,112],"query":[104,114,246,302,308],"atom":[105],"matches":[106],"at":[107],"least":[108],"one":[109],"atom.":[115],"Interestingly,":[116],"many":[118],"well-known":[119],"classes":[120],"instances,":[122],"such":[123,146,205,216],"acyclic":[127,285,301],"ones,":[128],"even":[133],"sufficient":[134],"solve":[136],"correctly.":[140],"However,":[141],"precise":[143,166],"power":[144,167,267],"procedure":[148],"was":[149],"unclear,":[150],"but":[151],"some":[153],"very":[154],"restricted":[155],"cases.":[156],"paper":[158,176,229],"provides":[159,294],"answers":[160],"long-standing":[162],"questions":[163],"about":[164],"algorithms":[169,252,269],"consistency.":[174],"deals":[177,230],"with":[178,231],"both":[179,232],"general":[181],"framework":[182],"tree":[184],"projections,":[185],"enforced":[190],"among":[191],"arbitrary":[192],"views":[193,206],"defined":[194],"over":[195,277],"instance,":[199],"specific":[202],"cases":[203],"computed":[208],"according":[209],"so-called":[212],"structural":[213],"decomposition":[214],"methods,":[215],"generalized":[218],"hypertree":[219,222],"width,":[220],"component":[221],"decompositions,":[223],"on.":[226],"Moreover,":[227],"decision":[233],"computation":[235],"problems,":[236],"by":[237],"characterizing":[238],"those":[239],"tuples":[240],"correct":[243,296],"projections":[244],"answers,":[247],"finds":[249],"application":[250],"answering":[254],"problems.":[260],"As":[261],"relevant":[263],"special":[264],"case,":[265],"characterized":[276],"deeply":[281],"studied":[282],"class":[283],"queries.":[287],"It":[288],"turns":[289],"out":[290],"answer":[297],"Boolean":[300],"if,":[303,306],"only":[305],"semantically":[310],"acyclic.":[311]},"counts_by_year":[{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}