- add support for GHC 9.6, GHC 9.8, and GHC 9.10
- clean up compiler warnings
- upgrade to streamly 0.10.1
- refactor websocket API to support request UUIDs (#367)
- refactor websocket API to support
createSessionAtHead(#367)
- add support for aggregate functions using sub-relation attributes
- add support for relational expression evaluation against sub-relations
- add support for SQL dialect and console called "SQLegacy"
- revert to using streamly 0.9.0 due to over-the-wire corruption bug in 0.10.0
- fixed toAtom/fromAtom for NonEmpty lists (#363)
- fix notification serialization in transaction (#362)
- require minimum GHC 9.2 (dropping GHC 8.10 and GHC 9.0)
- add support for GHC 9.4
- fix critical bug resulting in empty results from cross joins
- 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
- removed necessity for caret "^" when using boolean atom expressions in restriction predicates
TrueandFalseare now value constructors forBoolatom values (previouslytand `f); changed for better discoverability by Haskell developers- add
Scientificdata 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
- fix bug which caused tuple storage to be duplicated unnecessarily
- add support for
caseandif-then-elseexpressions - 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
- add new ":importtutd " feature to import TutorialD from a local file or a HTTP/HTTPS URI
- 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
- 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
RelationalExprAtomdata type useful for storingRelationalExprwithin the database
- support GHC 8.10
- refactor backend to maximize laziness: An Architecture for Data Independence
- fix case sensitivity issue with relation variables in tutd
- fix multibyte escaping in data frames
- fix broken instances of
Atomable [a] - fix
TypeConstructorvalidation of argument count - add help option to executables
- fix atom type parsing to support more complex data types
- add data frames to support server-side sort ordering, limits, and offsets
- fix atom function type validation
- add support for GHC 8.4 (now we support GHC 8.0, 8.2, and 8.4)
- 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
NonEmptyListlist data type
- 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 adata type - allow
Integerto be parsed as negative intutdconsole - support precompiled (Haskell)
AtomFunctions andDatabaseContextFunctions - make TutorialD scripts read from the filesystem unconditionally read as UTF-8
- improve support for display of multibyte characters in
tutdconsole, especially Chinese - fix file descriptor leak in file sychronization
- improve reliability by allowing fast-forward commits when using
autoMergeToHead - add
semijoinandanitjoinsupport totutd - added various new static optimizations
- 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
- replaced overuse of
undefinedwithProxyinTupleableandAtomabletypeclasses - allow notifications to return query results from before and after the commit which triggered the notification
- alert users in
tutdconsole 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
ConstructedAtomdid not result in an error - add support for
IntegerAtom(previously, onlyIntAtomwas supported)
- 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
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.
Successfully merged transactions did not have their constraints validated. Fixed.
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.
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
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