Database.Algebra.Rewrite.Properties

Documentation

inferBottomUpGeneral

Arguments

:: Operator o

=> (NodeMap o -> o -> AlgNode -> NodeMap p -> p)

Function that infers properties for a single node

-> AlgebraDag o

The DAG

-> NodeMap p

The final mapping from nodes to properties

Infer bottom up properties with the given inference function.