Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates

TPLP, Volume abs/1707.05681, Issue 5-6, 2017.

Cited by: 17|Views33
EI

Abstract:

A very desirable Datalog extension investigated by many researchers in the last thirty years consists in allowing the use of the basic SQL aggregates min, max, count and sum in recursive rules. In this paper, we propose a simple comprehensive solution that extends the declarative least-fixpoint semantics of Horn Clauses, along with the op...More

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments