2023-07-18 (v0.9.7)

• fix critical bug resulting in empty results from cross joins

2022-11-05 (v0.9.6)

• fix tuple context passed down to extended expressions
• add ddl hash- useful for validating that the client supports the current schema
• add registered queries- useful for constraining what DDL can be applied to the database so as not to break client applications
• reduce memory usage during Merkle hashing by an order of magnitude by using strict serialization and hashing

2022-08-19 (v0.9.5)

• removed necessity for caret "^" when using boolean atom expressions in restriction predicates
• True and False are now value constructors for Bool atom values (previously t and `f); changed for better discoverability by Haskell developers
• add Scientific data type for arbitrary-precision values (backed by Data.Scientific)
• add support for GHC 9.0 and GHC 9.2
• drop support for GHC < 8.10.7
• fix relational equality when the relation includes a nested relation

2021-12-05 (v0.9.4)

• fix bug which caused tuple storage to be duplicated unnecessarily
• add support for case and if-then-else expressions
• allow relation variable names and attribute names to be escaped using backticks
• add UUID primitive type
• complete implementation of object and shared object files at runtime in order to compete with Haskell scripting alternative
• fix constraint checking after undefining a relation variable
• optionally allow TLS and client certificate authentication in Project:M36 server
• require GHC >=8.8

2021-04-01 (v0.9.3)

• add new ":importtutd " feature to import TutorialD from a local file or a HTTP/HTTPS URI

2020-12-27 (v0.9.0)

• replace unmaintained distributed-process-client-server RPC package with new curryer RPC package
• drop support for GHC 8.2 and GHC 8.4 due to dependency on DerivingVia extension

2020-11-21 (v0.8.2)

• support multiple extend expressions in TutorialD
• fix parsing of Bool atoms in TutorialD
• fix database context expressions which include self-references such as s:=s union s
• show constraints as TutorialD when using tutd console
• add RelationalExprAtom data type useful for storing RelationalExpr within the database

2020-10-05 (v0.8.1)

• support GHC 8.10

2020-05-25 (v0.8)

• refactor backend to maximize laziness: An Architecture for Data Independence

2019-09-07 (v0.7)

• fix case sensitivity issue with relation variables in tutd
• fix multibyte escaping in data frames
• fix broken instances of Atomable [a]
• fix TypeConstructor validation of argument count
• add help option to executables

2019-01-08 (v0.6)

• fix atom type parsing to support more complex data types
• add data frames to support server-side sort ordering, limits, and offsets

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