Pages that link to "Item:Q1123651"
From MaRDI portal
The following pages link to Data independent recursion in deductive databases (Q1123651):
Displayed 6 items.
- Decidable containment of recursive queries (Q555766) (← links)
- On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
- Controlling recursive inference (Q1097714) (← links)
- Can datalog be approximated? (Q1376415) (← links)
- One-sided recursions (Q2638765) (← links)
- PREDICATE BOUNDEDNESS OF LINEAR MONADIC DATALOG IS IN PSPACE (Q4528765) (← links)