Pages that link to "Item:Q1198101"
From MaRDI portal
The following pages link to Safe computation of the well-founded semantics of datalog queries (Q1198101):
Displaying 6 items.
- Bottom-up evaluation and query optimization of well-founded models (Q673130) (← links)
- Safety, domain independence and translation of complex value database queries (Q1031675) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Efficient Computation of the Well-Founded Semantics over Big Data (Q2931253) (← links)
- An algebraic construction of the well-founded model (Q5096404) (← links)