Add monotonic aggregation, as explained in thesis proposal. Essentially:
1.) User defines a bounded join-semilattice.
2.) User can match on whether the join of a field in a submatch will join with a constant to a value other than itself (e.g. whether or not the aggregate lattice value is above something).
Add monotonic aggregation, as explained in thesis proposal. Essentially:
1.) User defines a bounded join-semilattice. 2.) User can match on whether the join of a field in a submatch will join with a constant to a value other than itself (e.g. whether or not the aggregate lattice value is above something).