2018-10-03 (v0.5.1)

• fix atom function type validation
• add support for GHC 8.4 (now we support GHC 8.0, 8.2, and 8.4)

2018-08-10 (v0.5)

• fix critical type bug which allowed unresolved types to be used
• add full support for GHC 8.2 with stack or cabal (delayed for a long time by dependency version boundaries)
• drop support for GHC 7.10
• add support for with (relexpr as name,...) syntax for use as tutd macros
• add NonEmptyList list data type

2018-06-04 (v0.4)

• add contributed feature to allow users to create arbitrary relations
• fix type validation bug allowing concrete type with type variables in relations
• improve usability of Interval a data type
• allow Integer to be parsed as negative in tutd console
• support precompiled (Haskell) AtomFunctions and DatabaseContextFunctions
• make TutorialD scripts read from the filesystem unconditionally read as UTF-8
• improve support for display of multibyte characters in tutd console, especially Chinese
• fix file descriptor leak in file sychronization
• improve reliability by allowing fast-forward commits when using autoMergeToHead
• add semijoin and anitjoin support to tutd
• added various new static optimizations

2017-11-14

• alter websocket server API to allow for multiple representations (JSON, text, or HTML) to be selected and returned simultaneously
• add jupyter kernel for TutorialD interpreter
• fix warnings suggested by new hlint 2.0.10

2017-10-08 (v0.3)

• replaced overuse of undefined with Proxy in Tupleable and Atomable typeclasses
• allow notifications to return query results from before and after the commit which triggered the notification
• alert users in tutd console before a transaction graph expression is evaluated which would throw out their changes
• drastically-improved CSV import/export now supports all possible types except RelationAtom
• fix serious file handle leaks when using on-disk persistence
• fix case where invalid number of arguments to ConstructedAtom did not result in an error
• add support for IntegerAtom (previously, only IntAtom was supported)

2017-09-16 (v0.2)

• a new simple client API with a monadic transaction manager
• complete hlint compliance
• the generics-based Tupleable typeclass which makes it easy to marshal Haskell data types to-and-from the database
• timestamps attached to transactions to allow specific point-in-time travel
• autoMergeToHead, a variant of commit which attempts to merge and commit to the latest head transaction to reduce incidents of TransactionNotAHeadErrors
• interval data types
• transaction dirtiness detection which allows the client to determine if an update expression actually changed the database state

2017-08-01

autoMergeToHead

In preparation for the simpler monad client API, ProjectM36.Client now includes a server-side merge for new transactions called "automerge". This feature should reduce head contention in cases where new transactions can be simply merged to the head without additional processing. The trade-off is reduced TransactionIsNotAHeadErrors but an increased chance of merge errors. The feature operates similarly to a server-side git rebase.

critical bug in merging

Successfully merged transactions did not have their constraints validated. Fixed.

2017-06-12

add file locking

This feature allows Project:M36 database directories to be shared amongst multiple Project:M36 processes. This is similar to how SQLite operates except that the remote server mode supports the feature as well. This could allow, for example, multi-master, file-based replication across Windows shares or NFS.

Documentation

2016-11-30

add functional dependency macro

Date demonstrates two ways to implement functional dependencies as constraints on page 21 in "Database Design and Relational Theory". A similar macros is now implemented in the tutd interpreter.

funcdep sname_status (sname) -> (status) s

Documentation

2016-09-07

add TransGraphRelationalExpr

The TransGraphRelationalExpr allows queries against all past states of the database.

The following example executes a query against two different committed transactions using syntax similar to that of git for graph traversal: :showtransgraphexpr s@master~ join sp@master

Documentation