algebra-dag-0.1.1.1: Infrastructure for DAG-shaped relational algebra plans
Database.Algebra.Rewrite.Properties
Synopsis
inferBottomUpGeneral Source
Arguments
Function that infers properties for a single node
The DAG
The final mapping from nodes to properties
Infer bottom up properties with the given inference function.