Anatomy of the Chase
From MaRDI portal
Abstract: A lot of research activity has recently taken place around the chase procedure, due to its usefulness in data integration, data exchange, query optimization, peer data exchange and data correspondence, to mention a few. As the chase has been investigated and further developed by a number of research groups and authors, many variants of the chase have emerged and associated results obtained. Due to the heterogeneous nature of the area it is frequently difficult to verify the scope of each result. In this paper we take closer look at recent developments, and provide additional results. Our analysis allows us create a taxonomy of the chase variations and the properties they satisfy. Two of the most central problems regarding the chase is termination, and discovery of restricted classes of sets of dependencies that guarantee termination of the chase. The search for the restricted classes has been motivated by a fairly recent result that shows that it is undecidable to determine whether the chase with a given dependency set will terminate on a given instance. There is a small dissonance here, since the quest has been for classes of sets of dependencies guaranteeing termination of the chase on all instances, even though the latter problem was not known to be undecidable. We resolve the dissonance in this paper by showing that determining whether the chase with a given set of dependencies terminates on all instances is coRE-complete. Our reduction also gives us the aforementioned instance-dependent RE-completeness result as a byproduct. For one of the restricted classes, the stratified sets dependencies, we provide new complexity results for the problem of testing whether a given set of dependencies belongs to it. These results rectify some previous claims that have occurred in the literature.
Recommendations
- scientific article; zbMATH DE number 23383
- Chases and escapes. The mathematics of pursuit and evasion
- Chases and escapes. The mathematics of pursuit and evasion
- Chases and escapes: from singles to groups
- Coexistence in chase-escape
- A problem of pursuit and evasion
- Anatomy of deconfinement
- Publication:3202156
Cited in
(24)- Provenance-directed Chase\&Backchase
- Semi-oblivious chase termination: the sticky case
- Universal solutions for temporal data exchange
- Query answering over inconsistent knowledge bases: a probabilistic approach
- Taming the infinite chase: query answering under expressive relational constraints
- Incomplete data and data dependencies in relational databases
- Preserving constraints with the stable chase
- Privacy aware data management and chase
- Querying Weak Instances Under Extension Chase Semantics: A Complete Solution
- scientific article; zbMATH DE number 1841820 (Why is no real title available?)
- Restricted chase termination for existential rules: a hierarchical approach and experimentation
- Characterizing boundedness in chase variants
- scientific article; zbMATH DE number 7561463 (Why is no real title available?)
- scientific article; zbMATH DE number 7561477 (Why is no real title available?)
- A Single Approach to Decide Chase Termination on Linear Existential Rules
- All-instances termination of chase is undecidable
- scientific article; zbMATH DE number 7760478 (Why is no real title available?)
- On the k-Boundedness for Existential Rules
- Uniform Restricted Chase Termination
- Compact query rewritings for ontology-based query answering
- Fuzzy Datalog^ over arbitrary t-norms
- Querying data exchange settings beyond positive queries
- Semantic foundations of equality saturation
- Answering path queries under linear and guarded existential rules
This page was built for publication: Anatomy of the Chase
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4637897)
