project-m36-0.5.1: Relational Algebra Engine

Safe HaskellNone
LanguageHaskell2010

ProjectM36.StaticOptimizer

Documentation

optimizeRelationalExpr :: DatabaseContext -> RelationalExpr -> Either RelationalError RelationalExpr Source #

optimizeRelationalExprReader :: RelationalExpr -> RelationalExprState (Either RelationalError RelationalExpr) Source #

optimizeDatabaseContextExpr :: DatabaseContext -> DatabaseContextExpr -> Either RelationalError DatabaseContextExpr Source #

applyStaticRelationalOptimization :: RelationalExpr -> RelationalExprState (Either RelationalError RelationalExpr) Source #

applyStaticDatabaseOptimization :: DatabaseContextExpr -> DatabaseState (Either RelationalError DatabaseContextExpr) Source #

applyStaticPredicateOptimization :: RestrictionPredicateExpr -> RelationalExprState (Either RelationalError RestrictionPredicateExpr) Source #

isTrueExpr :: RestrictionPredicateExpr -> Bool Source #

isFalseExpr :: RestrictionPredicateExpr -> Bool Source #

isEmptyRelationExpr :: RelationalExpr -> Bool Source #

replaceStaticAtomExprs :: RestrictionPredicateExpr -> Map AttributeName AtomExpr -> RestrictionPredicateExpr Source #

findStaticRestrictionPredicates :: RestrictionPredicateExpr -> Map AttributeName AtomExpr Source #

isStaticAtomExpr :: AtomExpr -> Bool Source #

applyStaticJoinElimination :: RelationalExpr -> RelationalExprState (Either RelationalError RelationalExpr) Source #

applyStaticRestrictionCollapse :: RelationalExpr -> RelationalExpr Source #

sequentialRestrictions :: RelationalExpr -> [RelationalExpr] Source #

applyStaticRestrictionPushdown :: RelationalExpr -> RelationalExpr Source #