Pages that link to "Item:Q4452592"
From MaRDI portal
The following pages link to The deductive database system [Lscr ][Dscr ][Lscr ]++ (Q4452592):
Displaying 5 items.
- Modular materialisation of Datalog programs (Q2144176) (← links)
- Temporal stratification tests for linear and branching-time deductive databases (Q2566298) (← links)
- Top-down and Bottom-up Evaluation Procedurally Integrated (Q4559824) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates (Q4592728) (← links)