Matches in SemOpenAlex for { <https://semopenalex.org/work/W4377712667> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4377712667 endingPage "683" @default.
- W4377712667 startingPage "641" @default.
- W4377712667 abstract "The chase procedure is a fundamental algorithmic tool in database theory with a variety of applications. A central problem concerning the chase procedure is uniform (a.k.a. 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 known well-behaved classes of TGDs ensure decidability. We focus on the main paradigms that led to robust TGD-based formalisms, namely guardedness and stickiness, that have been introduced in the context of knowledge-enriched databases. Although uniform chase termination is well understood for the oblivious version of the chase (2EXPTIME-complete for guarded, and PSPACE-complete for sticky TGDs), the more subtle case of the restricted (a.k.a. the standard) chase is rather unexplored. We show that uniform restricted chase termination under guarded single-head TGDs and sticky single-head TGDs is decidable in elementary time. In the case of guardedness, we provide a reduction to the satisfiability problem of monadic second-order logic over infinite trees of bounded degree, while for stickiness we provide a reduction to the emptiness problem of deterministic Büchi automata. Those reductions build on a series of technical results of independent interest related to the notion of fairness of the restricted chase, and the existence of critical databases that characterize nontermination of the restricted chase via databases of a certain form." @default.
- W4377712667 created "2023-05-24" @default.
- W4377712667 creator A5059813124 @default.
- W4377712667 creator A5067962748 @default.
- W4377712667 creator A5089747786 @default.
- W4377712667 date "2023-05-23" @default.
- W4377712667 modified "2023-10-17" @default.
- W4377712667 title "Uniform Restricted Chase Termination" @default.
- W4377712667 cites W1824207140 @default.
- W4377712667 cites W1967992696 @default.
- W4377712667 cites W1988045490 @default.
- W4377712667 cites W1991981864 @default.
- W4377712667 cites W2001399171 @default.
- W4377712667 cites W2040566369 @default.
- W4377712667 cites W2102729564 @default.
- W4377712667 cites W2124061668 @default.
- W4377712667 cites W2294131806 @default.
- W4377712667 cites W2896827736 @default.
- W4377712667 cites W2963013562 @default.
- W4377712667 cites W3102313542 @default.
- W4377712667 cites W649907208 @default.
- W4377712667 doi "https://doi.org/10.1137/20m1377035" @default.
- W4377712667 hasPublicationYear "2023" @default.
- W4377712667 type Work @default.
- W4377712667 citedByCount "0" @default.
- W4377712667 crossrefType "journal-article" @default.
- W4377712667 hasAuthorship W4377712667A5059813124 @default.
- W4377712667 hasAuthorship W4377712667A5067962748 @default.
- W4377712667 hasAuthorship W4377712667A5089747786 @default.
- W4377712667 hasConcept C111335779 @default.
- W4377712667 hasConcept C118615104 @default.
- W4377712667 hasConcept C12439846 @default.
- W4377712667 hasConcept C131924884 @default.
- W4377712667 hasConcept C153269930 @default.
- W4377712667 hasConcept C171018156 @default.
- W4377712667 hasConcept C192034797 @default.
- W4377712667 hasConcept C2524010 @default.
- W4377712667 hasConcept C33923547 @default.
- W4377712667 hasConcept C41008148 @default.
- W4377712667 hasConcept C5655090 @default.
- W4377712667 hasConcept C77088390 @default.
- W4377712667 hasConcept C80444323 @default.
- W4377712667 hasConceptScore W4377712667C111335779 @default.
- W4377712667 hasConceptScore W4377712667C118615104 @default.
- W4377712667 hasConceptScore W4377712667C12439846 @default.
- W4377712667 hasConceptScore W4377712667C131924884 @default.
- W4377712667 hasConceptScore W4377712667C153269930 @default.
- W4377712667 hasConceptScore W4377712667C171018156 @default.
- W4377712667 hasConceptScore W4377712667C192034797 @default.
- W4377712667 hasConceptScore W4377712667C2524010 @default.
- W4377712667 hasConceptScore W4377712667C33923547 @default.
- W4377712667 hasConceptScore W4377712667C41008148 @default.
- W4377712667 hasConceptScore W4377712667C5655090 @default.
- W4377712667 hasConceptScore W4377712667C77088390 @default.
- W4377712667 hasConceptScore W4377712667C80444323 @default.
- W4377712667 hasFunder F4320322511 @default.
- W4377712667 hasFunder F4320334627 @default.
- W4377712667 hasIssue "3" @default.
- W4377712667 hasLocation W43777126671 @default.
- W4377712667 hasOpenAccess W4377712667 @default.
- W4377712667 hasPrimaryLocation W43777126671 @default.
- W4377712667 hasRelatedWork W166614165 @default.
- W4377712667 hasRelatedWork W1851153456 @default.
- W4377712667 hasRelatedWork W2280377303 @default.
- W4377712667 hasRelatedWork W2400482296 @default.
- W4377712667 hasRelatedWork W2518552594 @default.
- W4377712667 hasRelatedWork W2616106208 @default.
- W4377712667 hasRelatedWork W2955554290 @default.
- W4377712667 hasRelatedWork W3032330302 @default.
- W4377712667 hasRelatedWork W4224322264 @default.
- W4377712667 hasRelatedWork W4288636752 @default.
- W4377712667 hasVolume "52" @default.
- W4377712667 isParatext "false" @default.
- W4377712667 isRetracted "false" @default.
- W4377712667 workType "article" @default.