<p>Datalog excels at recursive queries, but strugles with aggregate queries. The hedgelog project is exploring the underlying nature of this struggle, and developing group-theoretical techniques that serve as the basis for a language that is fully backwards-compatible with datalog, while providing ergonomic, optimizer-friendly support for aggregation.</p>