Pages that link to "Item:Q3833657"
From MaRDI portal
The following pages link to Minimizing function-free recursive inference rules (Q3833657):
Displaying 7 items.
- A simple proof on the decidability of equivalence between recursive and nonrecursive Datalog programs (Q672662) (← links)
- On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
- Data independent recursion in deductive databases (Q1123651) (← links)
- Characterization and processing of simple prefixed-chain recursion (Q1208145) (← links)
- Update operations in deductive databases with functional dependencies (Q1338902) (← links)
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- One-sided recursions (Q2638765) (← links)