Pages that link to "Item:Q4592728"
From MaRDI portal
The following pages link to Fixpoint semantics and optimization of recursive Datalog programs with aggregates (Q4592728):
Displaying 12 items.
- A semantic approach to optimize linear datalog programs (Q854685) (← links)
- A decompositional approach for computing least fixed-points of datalog programs with \(\mathcal Z\)-counters (Q1378382) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- A note on fixpoint techniques in data base recursive logic programs (Q3792286) (← links)
- (Q4382112) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- A datalog-based computational model for coordination-free, data-parallel systems (Q4559834) (← links)
- (Q5020567) (← links)
- Modern Datalog Engines (Q5101659) (← links)
- A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation (Q5108522) (← links)
- On Signings and the Well-Founded Semantics (Q6063875) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
