ProjectM36.IsomorphicSchema

Documentation

data SchemaExpr

Constructors

AddSubschema SchemaName SchemaIsomorphs

RemoveSubschema SchemaName

Instances

Show SchemaExpr

Defined in ProjectM36.IsomorphicSchema

Methods

showsPrec :: Int -> SchemaExpr -> ShowS

show :: SchemaExpr -> String

showList :: [SchemaExpr] -> ShowS

Generic SchemaExpr

Defined in ProjectM36.IsomorphicSchema

Associated Types

type Rep SchemaExpr :: * -> *

Methods

from :: SchemaExpr -> Rep SchemaExpr x

to :: Rep SchemaExpr x -> SchemaExpr

Binary SchemaExpr

Defined in ProjectM36.IsomorphicSchema

Methods

put :: SchemaExpr -> Put

get :: Get SchemaExpr

putList :: [SchemaExpr] -> Put

type Rep SchemaExpr

Defined in ProjectM36.IsomorphicSchema

type Rep SchemaExpr = D1 (MetaData "SchemaExpr" "ProjectM36.IsomorphicSchema" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "AddSubschema" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaIsomorphs)) :+: C1 (MetaCons "RemoveSubschema" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaName)))

isomorphs :: Schema -> SchemaIsomorphs

validateSchema :: Schema -> DatabaseContext -> Maybe SchemaError

Return an error if the schema is not isomorphic to the base database context. A schema is fully isomorphic iff all relvars in the base context are in the "out" relvars, but only once. TODO: add relvar must appear exactly once constraint

invert :: SchemaIsomorph -> SchemaIsomorph

isomorphInRelVarNames :: SchemaIsomorph -> [RelVarName]

isomorphsInRelVarNames :: SchemaIsomorphs -> Set RelVarName

Relation variables names represented in the virtual schema space. Useful for determining if a relvar name is valid in the schema.

isomorphOutRelVarNames :: SchemaIsomorph -> [RelVarName]

isomorphsOutRelVarNames :: SchemaIsomorphs -> Set RelVarName

validateRelationalExprInSchema :: Schema -> RelationalExpr -> Either RelationalError ()

Check that all mentioned relvars are actually present in the current schema.

processRelationalExprInSchema :: Schema -> RelationalExpr -> Either RelationalError RelationalExpr

validateDatabaseContextExprInSchema :: Schema -> DatabaseContextExpr -> Either RelationalError ()

processDatabaseContextExprInSchema :: Schema -> DatabaseContextExpr -> Either RelationalError DatabaseContextExpr

processDatabaseContextExprSchemaUpdate :: Schema -> DatabaseContextExpr -> Schema

If the database context expression adds or removes a relvar, we need to update the isomorphs to create a passthrough Isomorph.

processDatabaseContextExprSchemasUpdate :: Subschemas -> DatabaseContextExpr -> Subschemas

relExprMorph :: SchemaIsomorph -> RelationalExpr -> Either RelationalError RelationalExpr

Morph a relational expression in one schema to another isomorphic schema.

relExprMogrify :: (RelationalExpr -> Either RelationalError RelationalExpr) -> RelationalExpr -> Either RelationalError RelationalExpr

databaseContextExprMorph :: SchemaIsomorph -> (RelationalExpr -> Either RelationalError RelationalExpr) -> DatabaseContextExpr -> Either RelationalError DatabaseContextExpr

applyRelationalExprSchemaIsomorphs :: SchemaIsomorphs -> RelationalExpr -> Either RelationalError RelationalExpr

Apply the isomorphism transformations to the relational expression to convert the relational expression from operating on one schema to a disparate, isomorphic schema.

inclusionDependencyInSchema :: Schema -> InclusionDependency -> Either RelationalError InclusionDependency

inclusionDependenciesInSchema :: Schema -> InclusionDependencies -> Either RelationalError InclusionDependencies

relationVariablesInSchema :: Schema -> DatabaseContext -> Either RelationalError RelationVariables

applyRelationVariablesSchemaIsomorphs :: SchemaIsomorphs -> RelationVariables -> Either RelationalError RelationVariables

applySchemaIsomorphsToDatabaseContext :: SchemaIsomorphs -> DatabaseContext -> Either RelationalError DatabaseContext

createIncDepsForIsomorph :: SchemaName -> SchemaIsomorph -> InclusionDependencies

Create inclusion dependencies mainly for IsoRestrict because the predicate should hold in the base schema.

evalSchemaExpr :: SchemaExpr -> DatabaseContext -> Subschemas -> Either RelationalError (Subschemas, DatabaseContext)