ProjectM36.IsomorphicSchema

Documentation

data SchemaExpr

Constructors

AddSubschema SchemaName SchemaIsomorphs

RemoveSubschema SchemaName

Instances

Show SchemaExpr

Methods

showsPrec :: Int -> SchemaExpr -> ShowS

show :: SchemaExpr -> String

showList :: [SchemaExpr] -> ShowS

Generic SchemaExpr

Associated Types

type Rep SchemaExpr :: * -> *

Methods

from :: SchemaExpr -> Rep SchemaExpr x

to :: Rep SchemaExpr x -> SchemaExpr

Binary SchemaExpr

Methods

put :: SchemaExpr -> Put

get :: Get SchemaExpr

putList :: [SchemaExpr] -> Put

type Rep SchemaExpr

type Rep SchemaExpr = D1 (MetaData "SchemaExpr" "ProjectM36.IsomorphicSchema" "project-m36-0.1-4hDd5qAZs6QAKl1BvigkeN" False) ((:+:) (C1 (MetaCons "AddSubschema" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaIsomorphs)))) (C1 (MetaCons "RemoveSubschema" PrefixI False) (S1 (MetaSel (Nothing 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)