project-m36: Relational Algebra Engine

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.



A relational algebra engine which can be used to persist and query Haskell data types.

[Skip to ReadMe]


Versions0.1, 0.1, 0.2, 0.3, 0.4, 0.5, 0.5.1
Change logChangelog.markdown
Dependenciesaeson, attoparsec, base (>=4.8 && <5.0), base64-bytestring, binary, bytestring, Cabal, cassava (==0.4.*), conduit, containers, cryptohash-sha256, data-interval, deepseq, deepseq-generics, directory, distributed-process (>=0.6.6), distributed-process-async (>=0.2.4), distributed-process-client-server (>=0.2.3), distributed-process-extras (>=0.3.2), either, extended-reals, filepath, ghc (>=7.8 && <=8.1), ghc-boot, ghc-paths, Glob, gnuplot, hashable, hashable-time, haskeline, http-api-data, HUnit, list-t, megaparsec (>=5.2.0 && <5.3), monad-parallel, MonadRandom, mtl, network-transport, network-transport-tcp, old-locale, optparse-applicative, parallel, path-pieces, project-m36 (==0.1), random, random-shuffle, resourcet, semigroups, stm, stm-containers, template-haskell, temporary, text, time, transformers, unix, unordered-containers, uuid (>=1.3.12), uuid-aeson, vector, vector-binary-instances, websockets, Win32 (>=2.3) [details]
CategoryRelational Algebra
Home page
Bug tracker
Source repositoryhead: git clone
Executablesproject-m36-websocket-server, Example-Hair, Example-OutOfTheTarpit, Example-SimpleClient, bigrel, project-m36-server, tutd
UploadedThu Jul 6 17:04:14 UTC 2017 by agentm





Enable Haskell-specific profiling support


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees

Readme for project-m36-0.1

[back to package description]

Ξ 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.

Sample Session


Try It!

You can experiment instantly with Project:M36 straight from your browser at!


Project:M36 supports multiple frontends which target different audiences.



Introductory Materials

  1. Installation and Introduction to Project:M36
  2. Introduction to the Relational Algebra
  3. TutorialD Tutorial
  4. 15 Minute Tutorial
  5. Developer's Change Log

Database Comparisons

  1. ACID Database Properties
  2. On NULL (in SQL)
  3. Reaching "Out of the Tarpit" with Project:M36

Advanced Features

  1. Transaction Graph Operators
  2. ProjectM36.Client Library
  3. Adding New Data Types
  4. Database-Manipulating Functions
  5. Serving Remote ProjectM36 Databases
  6. Using Notifications
  7. Merge Transactions
  8. WebSocket Server
  9. Atom (Value) Functions
  10. Trans-Graph Relational Expressions
  11. Isomorphic Schemas
  12. Replication


Project:M36 is developed in Haskell and compiled with GHC 7.8 or later.

Related Projects

Suggested Reading