{"id":"https://openalex.org/W2057069578","doi":"https://doi.org/10.1145/1376916.1376938","title":"The chase revisited","display_name":"The chase revisited","publication_year":2008,"publication_date":"2008-06-09","ids":{"openalex":"https://openalex.org/W2057069578","doi":"https://doi.org/10.1145/1376916.1376938","mag":"2057069578"},"language":"en","primary_location":{"id":"doi:10.1145/1376916.1376938","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1376916.1376938","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","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/A5038619283","display_name":"Alin Deutsch","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alin Deutsch","raw_affiliation_strings":["University of California San Diego, La Jolla, CA, USA","University of California - San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"University of California - San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005196571","display_name":"Alan Nash","orcid":null},"institutions":[{"id":"https://openalex.org/I4210085935","display_name":"IBM Research - Almaden","ror":"https://ror.org/005w8dd04","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210085935","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alan Nash","raw_affiliation_strings":["IBM Research Almaden, San Jose, CA, USA","IBM-Research Almaden, San Jose, CA, USA"],"affiliations":[{"raw_affiliation_string":"IBM Research Almaden, San Jose, CA, USA","institution_ids":["https://openalex.org/I4210085935"]},{"raw_affiliation_string":"IBM-Research Almaden, San Jose, CA, USA","institution_ids":["https://openalex.org/I4210085935"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060808529","display_name":"Jeff Remmel","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeff Remmel","raw_affiliation_strings":["University of California, San Diego, La Jolla, CA, USA","University of California - San Diego, La Jolla, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"University of California - San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5038619283"],"corresponding_institution_ids":["https://openalex.org/I36258959"],"apc_list":null,"apc_paid":null,"fwci":35.8296,"has_fulltext":false,"cited_by_count":297,"citation_normalized_percentile":{"value":0.99803912,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"149","last_page":"158"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9990000128746033,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987000226974487,"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/T11106","display_name":"Data Management and Algorithms","score":0.9972000122070312,"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/chase","display_name":"Chase","score":0.8917309045791626},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7926874756813049},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6761130094528198},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6708458662033081},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6482865214347839},{"id":"https://openalex.org/keywords/existential-quantification","display_name":"Existential quantification","score":0.5271967053413391},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5036429762840271},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.4840332865715027},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.47805267572402954},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44969895482063293},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.41913288831710815},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4168260991573334},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2989932894706726},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26141029596328735},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21045461297035217},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15617021918296814},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.15353339910507202}],"concepts":[{"id":"https://openalex.org/C131924884","wikidata":"https://www.wikidata.org/wiki/Q5087085","display_name":"Chase","level":2,"score":0.8917309045791626},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7926874756813049},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6761130094528198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6708458662033081},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6482865214347839},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.5271967053413391},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5036429762840271},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.4840332865715027},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.47805267572402954},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44969895482063293},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.41913288831710815},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4168260991573334},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2989932894706726},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26141029596328735},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21045461297035217},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15617021918296814},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15353339910507202},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1376916.1376938","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1376916.1376938","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1515520450","https://openalex.org/W1551808273","https://openalex.org/W1558832481","https://openalex.org/W1599833144","https://openalex.org/W1696059587","https://openalex.org/W1979514837","https://openalex.org/W1985581502","https://openalex.org/W1992673035","https://openalex.org/W2006564766","https://openalex.org/W2016785840","https://openalex.org/W2028222220","https://openalex.org/W2031810891","https://openalex.org/W2032386524","https://openalex.org/W2064727958","https://openalex.org/W2073279331","https://openalex.org/W2102729564","https://openalex.org/W2103849501","https://openalex.org/W2104525376","https://openalex.org/W2107115563","https://openalex.org/W2113970290","https://openalex.org/W2130456697","https://openalex.org/W2159686758","https://openalex.org/W2160983447","https://openalex.org/W2169602474","https://openalex.org/W2171094216","https://openalex.org/W4256119157","https://openalex.org/W6629179546","https://openalex.org/W6677185428","https://openalex.org/W7014946396"],"related_works":["https://openalex.org/W1576014289","https://openalex.org/W134144667","https://openalex.org/W3132018246","https://openalex.org/W4287547801","https://openalex.org/W1966737172","https://openalex.org/W2963301870","https://openalex.org/W2465207406","https://openalex.org/W2570611167","https://openalex.org/W2106919714","https://openalex.org/W4288046788"],"abstract_inverted_index":{"We":[0,15,47,81,137],"revisit":[1],"the":[2,18,20,28,43,49,52,76,83,86,93,99,140,153,173,178,194,205,211,226],"standard":[3,29,53,141,228],"chase":[4,54,87,142,156,175,213],"procedure,":[5],"studying":[6],"its":[7,79],"properties":[8,84],"and":[9,31,63,96,110,134,150,218],"applicability":[10],"to":[11,92,130,204],"classical":[12],"database":[13],"problems.":[14],"settle":[16],"(in":[17],"negative)":[19],"open":[21],"problem":[22],"of":[23,25,27,51,85,103,120,172,189,196],"decidability":[24],"termination":[26,35],"chase,":[30],"we":[32,97,126,151],"provide":[33],"sufficient":[34],"conditions":[36],"which":[37,107,157],"are":[38,90,114],"strictly":[39,222],"less":[40],"over-conservative":[41],"than":[42,225],"best":[44],"previously":[45],"known.":[46],"investigate":[48],"adequacy":[50],"for":[55,145,184],"checking":[56],"query":[57,109],"containment":[58],"under":[59,116],"constraints,":[60],"constraint":[61,111],"implication":[62],"computing":[64],"certain":[65,215],"answers":[66],"in":[67,208,221],"data":[68],"exchange,":[69],"gaining":[70],"a":[71,117],"deeper":[72],"understanding":[73],"by":[74,192],"separating":[75],"algorithm":[77,180],"from":[78],"result.":[80],"identify":[82],"result":[88],"that":[89,113,139,177],"essential":[91],"above":[94],"applications,":[95],"introduce":[98,152],"more":[100,223],"general":[101],"notion":[102],"F-universal":[104,163],"model":[105,148,164],"set,":[106],"supports":[108,214],"languages":[112],"closed":[115],"class":[118],"F":[119,124,188],"mappings.":[121],"By":[122],"choosing":[123],"appropriately,":[125],"extend":[127],"prior":[128,209],"results":[129],"existential":[131],"first-order":[132],"queries":[133],"\u2200\u2203-firstorder":[135],"constraints.":[136],"show":[138],"is":[143,158,176],"incomplete":[144,227],"finding":[146],"universal":[147],"sets,":[149],"extended":[154],"core":[155],"complete,":[159],"i.e.":[160],"finds":[161],"an":[162],"set":[165,195],"when":[166,202],"it":[167],"exists.":[168],"A":[169],"key":[170],"advantage":[171],"new":[174,212],"same":[179],"can":[181],"be":[182],"applied":[183],"all":[185],"mapping":[186],"classes":[187],"interest,":[190],"simply":[191],"modifying":[193],"constraints":[197],"given":[198],"as":[199],"input.":[200],"Even":[201],"restricted":[203],"typical":[206],"input":[207],"work,":[210],"answer":[216],"computation":[217],"containment/implication":[219],"tests":[220],"cases":[224],"chase.":[229]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":17},{"year":2019,"cited_by_count":24},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":13},{"year":2016,"cited_by_count":14},{"year":2015,"cited_by_count":15},{"year":2014,"cited_by_count":19},{"year":2013,"cited_by_count":23},{"year":2012,"cited_by_count":33}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}