ProjectM36.IsomorphicSchema

data SchemaExpr

isomorphs

validateSchema

invert

isomorphInRelVarNames

isomorphsInRelVarNames

isomorphOutRelVarNames

isomorphsOutRelVarNames

validateRelationalExprInSchema

processRelationalExprInSchema

validateDatabaseContextExprInSchema

processDatabaseContextExprInSchema

processDatabaseContextExprSchemaUpdate

processDatabaseContextExprSchemasUpdate

relExprMorph

relExprMogrify

databaseContextExprMorph

applyRelationalExprSchemaIsomorphs

inclusionDependencyInSchema

inclusionDependenciesInSchema

relationVariablesInSchema

applyRelationVariablesSchemaIsomorphs

applySchemaIsomorphsToDatabaseContext

createIncDepsForIsomorph

evalSchemaExpr