Relational Algebra Engine https://github.com/agentm/project-m36
|Latest on Hackage:||0.2|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
Ξ Project:M36 Relational Algebra Engine
Software can always be made faster, but rarely can it be made more correct.
Project:M36 implements a relational algebra engine as inspired by the writings of Chris Date.
Unlike most database management systems (DBMS), Project:M36 is opinionated software which adheres strictly to the mathematics of the relational algebra. The purpose of this adherence is to prove that software which implements mathematically-sound design principles reaps benefits in the form of code clarity, consistency, performance, and future-proofing.
Project:M36 can be used as an in-process or remote DBMS.
Project:M36 is written entirely in the Haskell programming language.
You can experiment instantly with Project:M36 straight from your browser at try.project-m36.io!
Project:M36 supports multiple frontends which target different audiences.
- learn about the relational algebra via TutorialD
- store and manipulate databases
- use Project:M36 as a native Haskell database backend
- Installation and Introduction to Project:M36
- Introduction to the Relational Algebra
- TutorialD Tutorial
- 15 Minute Tutorial
- Developer's Change Log
- Transaction Graph Operators
- ProjectM36.Client Library
- Adding New Data Types
- Database-Manipulating Functions
- Serving Remote ProjectM36 Databases
- Using Notifications
- Merge Transactions
- WebSocket Server
- Atom (Value) Functions
- Trans-Graph Relational Expressions
- Isomorphic Schemas
Project:M36 is developed in Haskell and compiled with GHC 7.10 or GHC 8.0.2 or later.
- The Third Manifesto: the philosophical basis for relational algebra engines
- Rel: a TutorialD implementation against a BerkeleyDB backend
- Andl: a new database language with SQLite and PostgreSQL backends
- Coddie: a python-based relational algebra interpreter
- Out of the Tarpit: a proposed software architecture which minimizes state and complexity. Project:M36 implements the requirements of this paper.
- Database Design & Relational Theory: Normal Forms and All That Jazz: mathematical foundations for the principles of the relational algebra
- Database Explorations: Essays on the Third Manifesto and Related Topics: additional essays and debates on practical approaches to relational algebra engine design
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
`TransactionIsNotAHeadError`s 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.
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.
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`
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`