../ DataTypes/add (Interval UTCTime) support all the way to TutorialD -includes sample "member" function -not ideal due to monomorphism restriction- each new type must be hard-coded11 years ago Relation/fix extraneous import warning11 years ago Server/implement missing session test and server entrypoints11 years ago Transaction/implement crash safe transaction commiting via fdatasync and transaction directory fsync -requires ordered metadata journaling file system11 years ago TransactionGraph/implement crash safe transaction commiting via fdatasync and transaction directory fsync -requires ordered metadata journaling file system11 years ago Atom.hsadd (Interval UTCTime) support all the way to TutorialD -includes sample "member" function -not ideal due to monomorphism restriction- each new type must be hard-coded11 years ago AtomFunction.hsadd basic atom functions: count, min, max11 years ago Attribute.hsWIP: much refactoring for Atom existential quantification change11 years ago AttributeNames.hsimprove error handling for "all but" attributes inversion11 years ago Base.hsfix exception thrown due to bug in when the incoming, unverified tuples are hashed11 years ago Client.hscabal build completes successfully after some test sessionification11 years ago ConcreteTypeRep.hsWIP: much refactoring for Atom existential quantification change11 years ago DatabaseContext.hsClient.hs + session compiling11 years ago DirectoryFsync.cimplement crash safe transaction commiting via fdatasync and transaction directory fsync -requires ordered metadata journaling file system11 years ago Error.hsClient.hs + session compiling11 years ago Key.hsintroduce "key" syntax for TutorialD with backing support via inclusion dependencies11 years ago Persist.hsimplement crash safe transaction commiting via fdatasync and transaction directory fsync -requires ordered metadata journaling file system11 years ago Relation.hsadd (Interval UTCTime) support all the way to TutorialD -includes sample "member" function -not ideal due to monomorphism restriction- each new type must be hard-coded11 years ago RelationalExpression.hsadd (Interval UTCTime) support all the way to TutorialD -includes sample "member" function -not ideal due to monomorphism restriction- each new type must be hard-coded11 years ago Server.hsimplement missing session test and server entrypoints11 years ago Session.hsClient.hs + session compiling11 years ago StaticOptimizer.hsintroduce "key" syntax for TutorialD with backing support via inclusion dependencies11 years ago Transaction.hsWIP: incremental reading and writing of the graph11 years ago TransactionGraph.hsfix exception thrown due to bug in when the incoming, unverified tuples are hashed11 years ago Tuple.hsrefactor tuple set to be list-based instead of hashset-based in preparation for infinitely-sized relations11 years ago TupleSet.hsshift tuple hashing of unverified tuples to mitigate vector exception (when tuple and attribute counts are not equal)11 years ago