project-m36-1.1.1: Relational Algebra Engine
Safe HaskellSafe-Inferred
LanguageHaskell2010

ProjectM36.InclusionDependency

Documentation

inclusionDependenciesAsRelation :: InclusionDependencies -> Either RelationalError Relation Source #

inclusionDependencyForAtomExpr :: RelVarName -> AtomExpr -> InclusionDependency Source #