Aggregation in Datalog Under Set Semantics

We propose an extension of Datalog that supports aggregates under set semantics and is as expressive as the previous extensions of Datalog which use bag semantics to represent aggregate programs. We show that under set semantics, our extension has greater expressive power than the previous extensions of Datalog which support aggregates. By expressing… CONTINUE READING