project-m36-0.5.1: Relational Algebra Engine

Safe HaskellNone
LanguageHaskell2010

ProjectM36.Key

Synopsis

Documentation

inclusionDependencyForKey :: AttributeNames -> RelationalExpr -> InclusionDependency Source #

Create a uniqueness constraint for the attribute names and relational expression. Note that constraint can span multiple relation variables.

databaseContextExprForUniqueKey :: RelVarName -> [AttributeName] -> DatabaseContextExpr Source #

Create a DatabaseContextExpr which can be used to add a uniqueness constraint to attributes on one relation variable.

databaseContextExprForForeignKey :: IncDepName -> (RelVarName, [AttributeName]) -> (RelVarName, [AttributeName]) -> DatabaseContextExpr Source #

Create a foreign key constraint from the first relation variable and attributes to the second.