git.iko.soy/project-m36
on d64cdeb help sign in
history ofsrc/lib/ProjectM36/IsomorphicSchema.hs
all commits
60228c5Merge branch 'master' into 165_more_static_optimizationsAgentM 254007bfix hlint suggestions due to new hlint 2.0.10 versionAgentM db3c05cadd a bunch of static optimizations and use optimizations by default in ClientAgentM b27ae9ffix or squelch all hlint hints in src, examples, test directoriesAgentM 0fd3b52implement support for tracking disconnected transaction dirtiness return an error if an empty commit is attemptedAgentM a0e6f44polish up database context function work -documentation -tests -there should likely be a separate module which is imported for database context functions which exports a variety of convenience functionsAgentM 167d163finish functional dependency implementation including documentation and testAgentM ec960c4WIP major refactoring in order to pass tuples in relational expression stateAgentM 23fe96eadd missing MultipleExpr handling for IsoUnion and IsoRenameAgentM b647499update schema isomorphs on database context expr DDL resolves #54AgentM 8382c41add inclusion dependency automatically when invoking IsoRestrict isomorphismAgentM 39c33d1add schema validation testAgentM 6ba123aadd separate relvar validation for dbcontextexpr and relexprAgentM d0ed854inclusion dependency schema conversion working isomorph rename and passthroughAgentM ca59541remove isomorphic subschema support- they cannot work with inclusion dependencies which invevitably span the whole schema with foreign keysAgentM 0f9da75WIP relationVariablesInSchema workingAgentM d59899cWIP database context expr schema processingAgentM 97d73bbWIP compilation checkpoint :addschema, :addschemaisomorph, :type (schema-based) workingAgentM e7e0776WIP set/get current schema nameAgentM f3f99cdWIP compilation checkpointAgentM 47bad43WIP compilation checkpoint, simple tests passingAgentM 399a04aWIP isomorphic schema testAgentM 7bca08fWIP basic DatabaseContextExpr and RelationalExpr morph in placeAgentM