scientific article; zbMATH DE number 7561463
From MaRDI portal
Publication:5091112
DOI10.4230/LIPIcs.ICDT.2019.3MaRDI QIDQ5091112
Maximilian Marx, Sebastian Rudolph, Markus Krötzsch
Publication date: 21 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
expressive powerdata complexityexistential rulestuple-generating dependenciesall-instances chase termination
Related Items
Uniform Restricted Chase Termination, Semi-oblivious chase termination: the sticky case, Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
Cites Work
- Unnamed Item
- Unnamed Item
- Data exchange: semantics and query answering
- On rules with existential variables: walking the decidability line
- The core of a graph
- Efficient model construction for Horn logic with VLog (system description)
- Core-like properties of infinite graphs and structures
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
- Preserving Constraints with the Stable Chase
- On Datalog vs. LFP
- A Proof Procedure for Data Dependencies
- Anatomy of the Chase
- All–Instances Termination of Chase is Undecidable
- On the k-Boundedness for Existential Rules
