Cozy 2
synthesize data structures that track subsets and aggregations of multiple related collections.
alternating steps of query synthesis and incrementalization
synthesize data structures that track subsets and aggregations of multiple related collections.
alternating steps of query synthesis and incrementalization