{"id":"https://openalex.org/W2019599098","doi":"https://doi.org/10.1145/1099554.1099742","title":"Consistent query answering under key and exclusion dependencies","display_name":"Consistent query answering under key and exclusion dependencies","publication_year":2005,"publication_date":"2005-10-31","ids":{"openalex":"https://openalex.org/W2019599098","doi":"https://doi.org/10.1145/1099554.1099742","mag":"2019599098"},"language":"en","primary_location":{"id":"doi:10.1145/1099554.1099742","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1099554.1099742","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM international conference on Information and knowledge management","raw_type":"proceedings-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/A5027255917","display_name":"Luca Grieco","orcid":null},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luca Grieco","raw_affiliation_strings":["Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy","Universita' di Roma, La Sapienza, Roma, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Universita' di Roma, La Sapienza, Roma, Italy#TAB#","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087846752","display_name":"Domenico Lembo","orcid":"https://orcid.org/0000-0002-0628-242X"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Domenico Lembo","raw_affiliation_strings":["Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy","Universita' di Roma, La Sapienza, Roma, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Universita' di Roma, La Sapienza, Roma, Italy#TAB#","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008845293","display_name":"Riccardo Rosati","orcid":"https://orcid.org/0000-0002-7697-4958"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Riccardo Rosati","raw_affiliation_strings":["Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy","Universita' di Roma, La Sapienza, Roma, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Universita' di Roma, La Sapienza, Roma, Italy#TAB#","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052409430","display_name":"Marco Ruzzi","orcid":null},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Ruzzi","raw_affiliation_strings":["Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy","Universita' di Roma, La Sapienza, Roma, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Roma \"La Sapienza\", Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Universita' di Roma, La Sapienza, Roma, Italy#TAB#","institution_ids":["https://openalex.org/I861853513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5027255917"],"corresponding_institution_ids":["https://openalex.org/I861853513"],"apc_list":null,"apc_paid":null,"fwci":6.5814,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.96481379,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"792","last_page":"799"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9987000226974487,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9986000061035156,"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/conjunctive-query","display_name":"Conjunctive query","score":0.8397215604782104},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7449840307235718},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.717573881149292},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5039674639701843},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.49057239294052124},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.48765861988067627},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.46714872121810913},{"id":"https://openalex.org/keywords/spatial-query","display_name":"Spatial query","score":0.466516375541687},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.4609528183937073},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.4347647726535797},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.4261501729488373},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4118034839630127},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4026554226875305},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3951822817325592},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.33542099595069885},{"id":"https://openalex.org/keywords/sargable","display_name":"Sargable","score":0.3295944333076477},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25783300399780273},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.2165362536907196},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1945531666278839},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.10688316822052002},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.09063097834587097},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08620420098304749}],"concepts":[{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.8397215604782104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7449840307235718},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.717573881149292},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5039674639701843},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.49057239294052124},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.48765861988067627},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.46714872121810913},{"id":"https://openalex.org/C172722865","wikidata":"https://www.wikidata.org/wiki/Q2302053","display_name":"Spatial query","level":5,"score":0.466516375541687},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.4609528183937073},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.4347647726535797},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.4261501729488373},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4118034839630127},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4026554226875305},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3951822817325592},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.33542099595069885},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.3295944333076477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25783300399780273},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.2165362536907196},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1945531666278839},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.10688316822052002},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.09063097834587097},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08620420098304749}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1099554.1099742","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1099554.1099742","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM international conference on Information and knowledge management","raw_type":"proceedings-article"},{"id":"pmh:oai:iris.uniroma1.it:11573/366728","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/366728","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.800000011920929,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1530638520","https://openalex.org/W1548394136","https://openalex.org/W1551808273","https://openalex.org/W1555563750","https://openalex.org/W1591856724","https://openalex.org/W1604958321","https://openalex.org/W1657296557","https://openalex.org/W1864132268","https://openalex.org/W1976055110","https://openalex.org/W2062796915","https://openalex.org/W2077518845","https://openalex.org/W2108658789","https://openalex.org/W2110993096","https://openalex.org/W2125336114","https://openalex.org/W2295882966","https://openalex.org/W3146347964","https://openalex.org/W6912992434","https://openalex.org/W7014946396"],"related_works":["https://openalex.org/W20972493","https://openalex.org/W2338525844","https://openalex.org/W2951257011","https://openalex.org/W4299540831","https://openalex.org/W2896766859","https://openalex.org/W4288363924","https://openalex.org/W2926816154","https://openalex.org/W2740681086","https://openalex.org/W2199172455","https://openalex.org/W4389096604"],"abstract_inverted_index":{"Research":[0],"in":[1,43,47,95,101,118,132,143,169,186,226],"consistent":[2,35,62,82,115,152],"query":[3,63,116,168,205],"answering":[4,64,117,153],"studies":[5,60],"the":[6,26,48,74,92,119,133,139,164,167,187,200,216,220,227,241,247,255,259],"definition":[7],"and":[8,103,124,146,159,191,194,237],"computation":[9],"of":[10,50,54,76,79,91,121,135,154,166,178,189,203,211,219,240,246,249,258],"\"meaningful\"":[11],"answers":[12,36,83],"to":[13,16,37,207],"queries":[14,39,80,156,180,225],"posed":[15],"inconsistent":[17],"databases,":[18],"i.e.,":[19],"databases":[20],"whose":[21,81],"data":[22,44,144],"do":[23],"not":[24],"satisfy":[25],"integrity":[27],"constraints":[28],"(ICs)":[29],"declared":[30],"on":[31,61,163,234],"their":[32],"schema.":[33],"Computing":[34],"conjunctive":[38,155,179],"is":[40,141],"generally":[41],"coNP-hard":[42,142],"complexity,":[45,145],"even":[46,131],"presence":[49,120,134,188],"very":[51],"restricted":[52],"forms":[53],"ICs":[55],"(single,":[56],"unary":[57],"keys).":[58],"Recent":[59],"for":[65,151,198,223],"database":[66,239],"schemas":[67],"containing":[68],"only":[69,136],"key":[70,122,158,190],"dependencies":[71,123,138],"have":[72],"analyzed":[73],"possibility":[75],"identifying":[77],"classes":[78],"can":[84,97,182],"be":[85,98,183],"obtained":[86],"by":[87],"a":[88,148,176,204,209,235],"first-order":[89,184,201,260],"rewriting":[90,165,202],"query,":[93],"which":[94],"turn":[96],"easily":[99],"formulated":[100],"SQL":[102],"directly":[104],"evaluated":[105],"through":[106],"any":[107],"relational":[108],"DBMS.":[109],"In":[110],"this":[111],"paper":[112],"we":[113,174,214],"study":[114],"exclusion":[125,137,160,192],"dependencies.":[126],"We":[127],"first":[128],"prove":[129],"that":[130,181],"problem":[140],"define":[147,195],"general":[149],"method":[150],"under":[157],"dependencies,":[161,193],"based":[162,261],"Datalog":[170],"with":[171],"negation.":[172],"Then,":[173],"identify":[175],"subclass":[177,228],"rewritten":[185],"an":[196],"algorithm":[197],"computing":[199],"belonging":[206],"such":[208],"class":[210],"queries.":[212],"Finally,":[213],"compare":[215],"relative":[217],"efficiency":[218],"two":[221],"methods":[222],"processing":[224],"above":[229],"mentioned.":[230],"Experimental":[231],"results,":[232],"conducted":[233],"real":[236],"large":[238],"computer":[242],"science":[243],"engineering":[244],"degrees":[245],"University":[248],"Rome":[250],"\"La":[251],"Sapienza\",":[252],"clearly":[253],"show":[254],"computational":[256],"advantage":[257],"technique.":[262],"Copyright":[263],"2005":[264],"ACM.":[265]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}