Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294387622> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4294387622 abstract "We show that all--instances termination of chase is undecidable. More precisely, there is no algorithm deciding, for a given set $cal T$ consisting of Tuple Generating Dependencies (a.k.a. Datalog$^exists$ program), whether the $cal T$-chase on $D$ will terminate for every finite database instance $D$. Our method applies to Oblivious Chase, Semi-Oblivious Chase and -- after a slight modification -- also for Standard Chase. This means that we give a (negative) solution to the all--instances termination problem for all version of chase that are usually considered. The arity we need for our undecidability proof is three. We also show that the problem is EXPSPACE-hard for binary signatures, but decidability for this case is left open. Both the proofs -- for ternary and binary signatures -- are easy. Once you know them." @default.
- W4294387622 created "2022-09-03" @default.
- W4294387622 creator A5028692582 @default.
- W4294387622 creator A5089747786 @default.
- W4294387622 date "2014-01-20" @default.
- W4294387622 modified "2023-10-18" @default.
- W4294387622 title "Termination of oblivious chase is undecidable" @default.
- W4294387622 doi "https://doi.org/10.48550/arxiv.1401.4840" @default.
- W4294387622 hasPublicationYear "2014" @default.
- W4294387622 type Work @default.
- W4294387622 citedByCount "0" @default.
- W4294387622 crossrefType "posted-content" @default.
- W4294387622 hasAuthorship W4294387622A5028692582 @default.
- W4294387622 hasAuthorship W4294387622A5089747786 @default.
- W4294387622 hasBestOaLocation W42943876221 @default.
- W4294387622 hasConcept C108710211 @default.
- W4294387622 hasConcept C110546421 @default.
- W4294387622 hasConcept C11413529 @default.
- W4294387622 hasConcept C114614502 @default.
- W4294387622 hasConcept C118615104 @default.
- W4294387622 hasConcept C131924884 @default.
- W4294387622 hasConcept C136979486 @default.
- W4294387622 hasConcept C148230440 @default.
- W4294387622 hasConcept C153269930 @default.
- W4294387622 hasConcept C156340839 @default.
- W4294387622 hasConcept C177264268 @default.
- W4294387622 hasConcept C192034797 @default.
- W4294387622 hasConcept C199360897 @default.
- W4294387622 hasConcept C2524010 @default.
- W4294387622 hasConcept C33923547 @default.
- W4294387622 hasConcept C41008148 @default.
- W4294387622 hasConcept C77088390 @default.
- W4294387622 hasConcept C80444323 @default.
- W4294387622 hasConceptScore W4294387622C108710211 @default.
- W4294387622 hasConceptScore W4294387622C110546421 @default.
- W4294387622 hasConceptScore W4294387622C11413529 @default.
- W4294387622 hasConceptScore W4294387622C114614502 @default.
- W4294387622 hasConceptScore W4294387622C118615104 @default.
- W4294387622 hasConceptScore W4294387622C131924884 @default.
- W4294387622 hasConceptScore W4294387622C136979486 @default.
- W4294387622 hasConceptScore W4294387622C148230440 @default.
- W4294387622 hasConceptScore W4294387622C153269930 @default.
- W4294387622 hasConceptScore W4294387622C156340839 @default.
- W4294387622 hasConceptScore W4294387622C177264268 @default.
- W4294387622 hasConceptScore W4294387622C192034797 @default.
- W4294387622 hasConceptScore W4294387622C199360897 @default.
- W4294387622 hasConceptScore W4294387622C2524010 @default.
- W4294387622 hasConceptScore W4294387622C33923547 @default.
- W4294387622 hasConceptScore W4294387622C41008148 @default.
- W4294387622 hasConceptScore W4294387622C77088390 @default.
- W4294387622 hasConceptScore W4294387622C80444323 @default.
- W4294387622 hasLocation W42943876221 @default.
- W4294387622 hasOpenAccess W4294387622 @default.
- W4294387622 hasPrimaryLocation W42943876221 @default.
- W4294387622 hasRelatedWork W1715728480 @default.
- W4294387622 hasRelatedWork W2009098458 @default.
- W4294387622 hasRelatedWork W2083882369 @default.
- W4294387622 hasRelatedWork W2949294774 @default.
- W4294387622 hasRelatedWork W2952596039 @default.
- W4294387622 hasRelatedWork W2962857306 @default.
- W4294387622 hasRelatedWork W300076026 @default.
- W4294387622 hasRelatedWork W4280629756 @default.
- W4294387622 hasRelatedWork W4286594981 @default.
- W4294387622 hasRelatedWork W4294387622 @default.
- W4294387622 isParatext "false" @default.
- W4294387622 isRetracted "false" @default.
- W4294387622 workType "article" @default.