{"id":"https://openalex.org/W4377712667","doi":"https://doi.org/10.1137/20m1377035","title":"Uniform Restricted Chase Termination","display_name":"Uniform Restricted Chase Termination","publication_year":2023,"publication_date":"2023-05-23","ids":{"openalex":"https://openalex.org/W4377712667","doi":"https://doi.org/10.1137/20m1377035"},"language":"en","primary_location":{"id":"doi:10.1137/20m1377035","is_oa":false,"landing_page_url":"https://doi.org/10.1137/20m1377035","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/A5089747786","display_name":"Tomasz Gogacz","orcid":null},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Tomasz Gogacz","raw_affiliation_strings":["Institute of Informatics, University of Warsaw, Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059813124","display_name":"Jerzy Marcinkowski","orcid":"https://orcid.org/0000-0001-6539-6788"},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Jerzy Marcinkowski","raw_affiliation_strings":["Institute of Computer Science, University of Wroclaw, Wroclaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Wroclaw, Wroclaw, Poland","institution_ids":["https://openalex.org/I219388962","https://openalex.org/I4210087266"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067962748","display_name":"Andr\u00e9as Pieris","orcid":"https://orcid.org/0000-0003-4779-3469"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andreas Pieris","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, United Kingdom, and Department of Computer Science, University of Cyprus, Nicosia, Cyprus"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, United Kingdom, and Department of Computer Science, University of Cyprus, Nicosia, Cyprus","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5089747786"],"corresponding_institution_ids":["https://openalex.org/I4654613"],"apc_list":null,"apc_paid":null,"fwci":0.5237,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69903029,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"52","issue":"3","first_page":"641","last_page":"683"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9988999962806702,"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.9988999962806702,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.998199999332428,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9975000023841858,"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/chase","display_name":"Chase","score":0.8208127021789551},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.8172357082366943},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7423999905586243},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5200233459472656},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46976137161254883},{"id":"https://openalex.org/keywords/database-theory","display_name":"Database theory","score":0.45207783579826355},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.45176178216934204},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4109702706336975},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39961692690849304},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39853742718696594},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2113494575023651},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.18978700041770935}],"concepts":[{"id":"https://openalex.org/C131924884","wikidata":"https://www.wikidata.org/wiki/Q5087085","display_name":"Chase","level":2,"score":0.8208127021789551},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8172357082366943},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7423999905586243},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5200233459472656},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46976137161254883},{"id":"https://openalex.org/C12439846","wikidata":"https://www.wikidata.org/wiki/Q4809258","display_name":"Database theory","level":3,"score":0.45207783579826355},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.45176178216934204},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4109702706336975},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39961692690849304},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39853742718696594},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2113494575023651},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.18978700041770935},{"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.1137/20m1377035","is_oa":false,"landing_page_url":"https://doi.org/10.1137/20m1377035","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":[],"awards":[{"id":"https://openalex.org/G2663852107","display_name":"Efficient Querying of Inconsistent Data","funder_award_id":"EP/S003800/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6679751979","display_name":null,"funder_award_id":"2016/23/B/ST6/01438","funder_id":"https://openalex.org/F4320322511","funder_display_name":"Narodowe Centrum Nauki"},{"id":"https://openalex.org/G7523411701","display_name":null,"funder_award_id":"EP/S003800/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320322511","display_name":"Narodowe Centrum Nauki","ror":"https://ror.org/03ha2q922"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W649907208","https://openalex.org/W1824207140","https://openalex.org/W1967992696","https://openalex.org/W1988045490","https://openalex.org/W1991981864","https://openalex.org/W2001399171","https://openalex.org/W2040566369","https://openalex.org/W2102729564","https://openalex.org/W2124061668","https://openalex.org/W2125817554","https://openalex.org/W2294131806","https://openalex.org/W2896827736","https://openalex.org/W2963013562"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W1501430220","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W1542027783","https://openalex.org/W129916058","https://openalex.org/W2962928105"],"abstract_inverted_index":{".The":[0],"chase":[1,21,27,43,102,113,132,141,228,236],"procedure":[2,22],"is":[3,23,37,62,104,133,151],"a":[4,12,30,163,184,198,232],"fundamental":[5],"algorithmic":[6],"tool":[7],"in":[8,58,94,153],"database":[9],"theory":[10],"with":[11],"variety":[13],"of":[14,33,51,70,97,111,126,159,169,176,190,200,203,210,212,219,225,231],"applications.":[15],"A":[16],"central":[17],"problem":[18,56,168,189],"concerning":[19],"the":[20,39,42,52,77,95,108,112,122,127,130,157,166,187,208,213,217,226],"uniform":[24,101,139],"(a.k.a.":[25,129],"all-instances)":[26],"termination:":[28],"for":[29,45,107,115,119,180],"given":[31],"set":[32],"tuple-generating":[34],"dependencies":[35],"(TGDs),":[36],"it":[38,61],"case":[40,125,158],"that":[41,54,80,90,138,222],"terminates":[44],"every":[46],"input":[47],"database?":[48],"In":[49,156],"view":[50],"fact":[53],"this":[55],"is,":[57],"general,":[59],"undecidable,":[60],"natural":[63],"to":[64,82,165,186,207],"ask":[65],"whether":[66],"known":[67],"well-behaved":[68],"classes":[69],"TGDs":[71,146,150],"ensure":[72],"decidability.":[73],"We":[74,136],"focus":[75],"on":[76,197],"main":[78],"paradigms":[79],"led":[81],"robust":[83],"TGD-based":[84],"formalisms,":[85],"namely":[86],"guardedness":[87],"and":[88,117,147,216],"stickiness,":[89],"have":[91],"been":[92],"introduced":[93],"context":[96],"knowledge-enriched":[98],"databases.":[99],"Although":[100],"termination":[103,142],"well":[105],"understood":[106],"oblivious":[109],"version":[110],"(2EXPTIME-complete":[114],"guarded,":[116],"PSPACE-complete":[118],"sticky":[120,148],"TGDs),":[121],"more":[123],"subtle":[124],"restricted":[128,140,214,227],"standard)":[131],"rather":[134],"unexplored.":[135],"show":[137],"under":[143],"guarded":[144],"single-head":[145,149],"decidable":[152],"elementary":[154],"time.":[155],"guardedness,":[160],"we":[161,182],"provide":[162,183],"reduction":[164,185],"satisfiability":[167],"monadic":[170],"second-order":[171,239],"logic":[172],"over":[173],"infinite":[174],"trees":[175],"bounded":[177],"degree,":[178],"while":[179],"stickiness":[181],"emptiness":[188],"deterministic":[191],"B\u00fcchi":[192],"automata.":[193],"Those":[194],"reductions":[195],"build":[196],"series":[199],"technical":[201],"results":[202],"independent":[204],"interest":[205],"related":[206],"notion":[209],"fairness":[211],"chase,":[215],"existence":[218],"critical":[220],"databases":[221,230],"characterize":[223],"nontermination":[224],"via":[229],"certain":[233],"form.Keywordsrestricted":[234],"chaseuniform":[235],"terminationtuple-generating":[237],"dependenciesguardednessstickinessdecidabilitymonadic":[238],"logicyB\u00fcchi":[240],"automataMSC":[241],"codes68P1568T2768T30":[242]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}