And we're still researching how aggregation should work. While Datalog is really cool and my PhD research is based on it, the fixpoint semantics really do not w

And we're still researching how aggregation should work. While Datalog is really cool and my PhD research is based on it, the fixpoint semantics really do not work well with aggregation, grouping, etc.