2020
DOI: 10.1007/s13218-020-00690-7
|View full text |Cite
|
Sign up to set email alerts
|

All-Instances Restricted Chase Termination for Linear TGDs

Abstract: The chase procedure is a fundamental algorithmic tool in database theory with a variety of applications. A key problem concerning the chase procedure is all-instances chase termination: for a given set of tuple-generating dependencies (TGDs), is it the case that the chase terminates for every input database? In view of the fact that this problem is, in general, undecidable, it is natural to ask whether well-behaved classes of TGDs, introduced in different contexts, ensure decidability. It has been recently sho… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2020
2020
2022
2022

Publication Types

Select...
2
2

Relationship

1
3

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 24 publications
(36 reference statements)
0
1
0
Order By: Relevance
“…There are also recent results for sticky TGDs (another well-behaved class that is inherently unguarded), and the semi-oblivious version of the chase [9]. The restricted chase has been recently studied with linear TGDs [17,22], as well as with guarded and sticky TGDs [16].…”
Section: Introductionmentioning
confidence: 99%
“…There are also recent results for sticky TGDs (another well-behaved class that is inherently unguarded), and the semi-oblivious version of the chase [9]. The restricted chase has been recently studied with linear TGDs [17,22], as well as with guarded and sticky TGDs [16].…”
Section: Introductionmentioning
confidence: 99%