Skip to content

Aggregation with no group-by keys #483

Open
@davidchuyaya

Description

@davidchuyaya

An aggregation like r(choose<x>) will currently iterate over all values in r, then select the 1st value (the full example is here.
That's O(n) for what should be O(1).

Ideally we make a special case for group-bys that can terminate early?

Metadata

Metadata

Assignees

No one assigned

    Labels

    datalogDatalog compiler infrastructureenhancementNew feature or requestgood first issueGood for newcomers

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions