Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386128170> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4386128170 endingPage "2870" @default.
- W4386128170 startingPage "2858" @default.
- W4386128170 abstract "The chase procedure is a fundamental algorithmic tool in databases that allows us to reason with constraints, such as existential rules, with a plethora of applications. It takes as input a database and a set of constraints, and iteratively completes the database as dictated by the constraints. A key challenge, though, is the fact that it may not terminate, which leads to the problem of checking whether it terminates given a database and a set of constraints. In this work, we focus on the semi-oblivious version of the chase, which is well-suited for practical implementations, and linear existential rules, a central class of constraints with several applications. In this setting, there is a mature body of theoretical work that provides syntactic characterizations of when the chase terminates, algorithms for checking chase termination, and precise complexity results. Our main objective is to experimentally evaluate the existing chase termination algorithms with the aim of understanding which input parameters affect their performance, clarifying whether they can be used in practice, and revealing their performance limitations." @default.
- W4386128170 created "2023-08-25" @default.
- W4386128170 creator A5066005299 @default.
- W4386128170 creator A5067962748 @default.
- W4386128170 creator A5072207353 @default.
- W4386128170 date "2023-07-01" @default.
- W4386128170 modified "2023-09-27" @default.
- W4386128170 title "Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Studya" @default.
- W4386128170 cites W1967992696 @default.
- W4386128170 cites W1985581502 @default.
- W4386128170 cites W1988045490 @default.
- W4386128170 cites W1989009626 @default.
- W4386128170 cites W2013096722 @default.
- W4386128170 cites W2028222220 @default.
- W4386128170 cites W2118382442 @default.
- W4386128170 cites W2137862151 @default.
- W4386128170 cites W2189052568 @default.
- W4386128170 cites W2294131806 @default.
- W4386128170 cites W2613947812 @default.
- W4386128170 cites W2810730020 @default.
- W4386128170 cites W3055759583 @default.
- W4386128170 cites W4282842928 @default.
- W4386128170 doi "https://doi.org/10.14778/3611479.3611493" @default.
- W4386128170 hasPublicationYear "2023" @default.
- W4386128170 type Work @default.
- W4386128170 citedByCount "0" @default.
- W4386128170 crossrefType "journal-article" @default.
- W4386128170 hasAuthorship W4386128170A5066005299 @default.
- W4386128170 hasAuthorship W4386128170A5067962748 @default.
- W4386128170 hasAuthorship W4386128170A5072207353 @default.
- W4386128170 hasConcept C111472728 @default.
- W4386128170 hasConcept C11413529 @default.
- W4386128170 hasConcept C118615104 @default.
- W4386128170 hasConcept C120665830 @default.
- W4386128170 hasConcept C121332964 @default.
- W4386128170 hasConcept C127882523 @default.
- W4386128170 hasConcept C131924884 @default.
- W4386128170 hasConcept C136979486 @default.
- W4386128170 hasConcept C138885662 @default.
- W4386128170 hasConcept C154945302 @default.
- W4386128170 hasConcept C177264268 @default.
- W4386128170 hasConcept C192209626 @default.
- W4386128170 hasConcept C199360897 @default.
- W4386128170 hasConcept C26713055 @default.
- W4386128170 hasConcept C2777212361 @default.
- W4386128170 hasConcept C33923547 @default.
- W4386128170 hasConcept C41008148 @default.
- W4386128170 hasConcept C77088390 @default.
- W4386128170 hasConcept C80444323 @default.
- W4386128170 hasConceptScore W4386128170C111472728 @default.
- W4386128170 hasConceptScore W4386128170C11413529 @default.
- W4386128170 hasConceptScore W4386128170C118615104 @default.
- W4386128170 hasConceptScore W4386128170C120665830 @default.
- W4386128170 hasConceptScore W4386128170C121332964 @default.
- W4386128170 hasConceptScore W4386128170C127882523 @default.
- W4386128170 hasConceptScore W4386128170C131924884 @default.
- W4386128170 hasConceptScore W4386128170C136979486 @default.
- W4386128170 hasConceptScore W4386128170C138885662 @default.
- W4386128170 hasConceptScore W4386128170C154945302 @default.
- W4386128170 hasConceptScore W4386128170C177264268 @default.
- W4386128170 hasConceptScore W4386128170C192209626 @default.
- W4386128170 hasConceptScore W4386128170C199360897 @default.
- W4386128170 hasConceptScore W4386128170C26713055 @default.
- W4386128170 hasConceptScore W4386128170C2777212361 @default.
- W4386128170 hasConceptScore W4386128170C33923547 @default.
- W4386128170 hasConceptScore W4386128170C41008148 @default.
- W4386128170 hasConceptScore W4386128170C77088390 @default.
- W4386128170 hasConceptScore W4386128170C80444323 @default.
- W4386128170 hasIssue "11" @default.
- W4386128170 hasLocation W43861281701 @default.
- W4386128170 hasOpenAccess W4386128170 @default.
- W4386128170 hasPrimaryLocation W43861281701 @default.
- W4386128170 hasRelatedWork W1485630101 @default.
- W4386128170 hasRelatedWork W1596157658 @default.
- W4386128170 hasRelatedWork W1964111820 @default.
- W4386128170 hasRelatedWork W2083338789 @default.
- W4386128170 hasRelatedWork W2112690207 @default.
- W4386128170 hasRelatedWork W2158757796 @default.
- W4386128170 hasRelatedWork W2741796204 @default.
- W4386128170 hasRelatedWork W4244853187 @default.
- W4386128170 hasRelatedWork W4360889445 @default.
- W4386128170 hasRelatedWork W1501086624 @default.
- W4386128170 hasVolume "16" @default.
- W4386128170 isParatext "false" @default.
- W4386128170 isRetracted "false" @default.
- W4386128170 workType "article" @default.