Pages that link to "Item:Q5012571"
From MaRDI portal
The following pages link to Guarded-Based Disjunctive Tuple-Generating Dependencies (Q5012571):
Displaying 8 items.
- Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies (Q1995453) (← links)
- Rewriting guarded existential rules into small Datalog programs (Q3305347) (← links)
- Formal Systems for Tuple and Equality Generating Dependencies (Q3334109) (← links)
- Finite model reasoning over existential rules (Q4592706) (← links)
- Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (Q4957206) (← links)
- Guarded Ontology-Mediated Queries (Q5015964) (← links)
- (Q5094143) (← links)
- Reasoning on anonymity in Datalog (Q5240228) (← links)