Hackage :: [Package]

project-m36: Relational Algebra Engine

[ library, mit, program, public-domain, relational-algebra ] [ Propose Tags ] [ Report a vulnerability ]

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

[Skip to Readme]

library project-m36

Modules

[Index] [Quick Jump]

  • ProjectM36
    • ProjectM36.AccessControl
    • ProjectM36.AccessControlList
    • ProjectM36.Arbitrary
    • ProjectM36.Atom
    • ProjectM36.AtomFunction
    • ProjectM36.AtomFunctionBody
    • ProjectM36.AtomFunctionError
    • AtomFunctions
      • ProjectM36.AtomFunctions.Basic
      • ProjectM36.AtomFunctions.Primitive
      • ProjectM36.AtomFunctions.SelfTest
    • ProjectM36.AtomType
    • ProjectM36.Atomable
    • ProjectM36.Attribute
    • ProjectM36.AttributeExpr
    • ProjectM36.AttributeNames
    • ProjectM36.BTree
    • ProjectM36.Base
    • Cache
      • ProjectM36.Cache.RelationalExprCache
      • ProjectM36.Cache.Tuple
    • ProjectM36.Cli
    • ProjectM36.Client
      • ProjectM36.Client.Simple
    • ProjectM36.DDLType
    • ProjectM36.DataConstructorDef
    • ProjectM36.DataFrame
    • DataTypes
      • ProjectM36.DataTypes.Basic
      • ProjectM36.DataTypes.ByteString
      • ProjectM36.DataTypes.DateTime
      • ProjectM36.DataTypes.Day
      • ProjectM36.DataTypes.Either
      • ProjectM36.DataTypes.Interval
      • ProjectM36.DataTypes.List
      • ProjectM36.DataTypes.Maybe
      • ProjectM36.DataTypes.NonEmptyList
      • ProjectM36.DataTypes.Primitive
      • SQL
        • ProjectM36.DataTypes.SQL.Null
      • ProjectM36.DataTypes.Sorting
    • ProjectM36.DatabaseContext
      • ProjectM36.DatabaseContext.Basic
      • ProjectM36.DatabaseContext.Fields
      • ProjectM36.DatabaseContext.SelfTest
      • ProjectM36.DatabaseContext.Types
    • ProjectM36.DatabaseContextExpr
    • ProjectM36.DatabaseContextFunction
    • ProjectM36.DatabaseContextFunctionUtils
    • DatabaseContextFunctions
      • ProjectM36.DatabaseContextFunctions.Basic
    • ProjectM36.DateExamples
    • ProjectM36.DisconnectedTransaction
    • ProjectM36.Error
    • ProjectM36.FSType
    • ProjectM36.FileLock
    • ProjectM36.Function
    • ProjectM36.FunctionalDependency
    • ProjectM36.GraphRefRelationalExpr
    • ProjectM36.HashSecurely
    • ProjectM36.InclusionDependency
    • ProjectM36.Interpreter
    • ProjectM36.IsomorphicSchema
      • ProjectM36.IsomorphicSchema.Types
    • ProjectM36.Key
    • ProjectM36.LoginRoles
    • ProjectM36.MerkleHash
    • ProjectM36.MiscUtils
    • ProjectM36.Module
    • ProjectM36.NormalizeExpr
    • ProjectM36.Notifications
    • ProjectM36.Persist
    • ProjectM36.PinnedRelationalExpr
    • ProjectM36.PrettyBytes
    • ProjectM36.ReferencedTransactionIds
    • ProjectM36.RegisteredQuery
    • ProjectM36.RelExprSize
    • ProjectM36.Relation
      • Parse
        • ProjectM36.Relation.Parse.CSV
      • Show
        • ProjectM36.Relation.Show.CSV
        • ProjectM36.Relation.Show.Gnuplot
        • ProjectM36.Relation.Show.HTML
        • ProjectM36.Relation.Show.Term
    • ProjectM36.RelationVariablesMentioned
    • ProjectM36.RelationalExpression
    • SQL
      • ProjectM36.SQL.Convert
      • ProjectM36.SQL.CreateTable
      • ProjectM36.SQL.DBUpdate
      • ProjectM36.SQL.Delete
      • ProjectM36.SQL.DropTable
      • ProjectM36.SQL.Insert
      • ProjectM36.SQL.Select
      • ProjectM36.SQL.Update
    • ProjectM36.SQLDatabaseContext
    • ProjectM36.ScriptSession
    • Serialise
      • ProjectM36.Serialise.AtomFunctionError
      • ProjectM36.Serialise.Base
      • ProjectM36.Serialise.DataFrame
      • ProjectM36.Serialise.Error
      • ProjectM36.Serialise.IsomorphicSchema
      • ProjectM36.Serialise.LoginRoles
    • ProjectM36.Server
      • ProjectM36.Server.Config
      • ProjectM36.Server.EntryPoints
      • ProjectM36.Server.ParseArgs
      • ProjectM36.Server.RemoteCallTypes
    • ProjectM36.Session
    • ProjectM36.Sessions
    • ProjectM36.Shortcuts
    • ProjectM36.StaticOptimizer
    • Streaming
      • ProjectM36.Streaming.RelationalExpression
      • ProjectM36.Streaming.Tuple
    • ProjectM36.SystemMemory
    • ProjectM36.Trace
    • ProjectM36.TransGraphRelationalExpression
    • ProjectM36.Transaction
      • ProjectM36.Transaction.Persist
      • ProjectM36.Transaction.Types
    • ProjectM36.TransactionGraph
      • ProjectM36.TransactionGraph.Merge
      • ProjectM36.TransactionGraph.Persist
      • ProjectM36.TransactionGraph.Show
      • ProjectM36.TransactionGraph.Types
    • ProjectM36.TransactionInfo
    • ProjectM36.Tuple
    • ProjectM36.TupleSet
    • ProjectM36.Tupleable
      • ProjectM36.Tupleable.Deriving
    • ProjectM36.TypeConstructor
    • ProjectM36.TypeConstructorDef
    • ProjectM36.ValueMarker
    • ProjectM36.WCWidth
    • ProjectM36.WithNameExpr

library project-m36:project-m36-sqlegacy

Modules

[Index] [Quick Jump]

library project-m36:project-m36-tutoriald

Modules

[Index] [Quick Jump]

  • TutorialD
    • TutorialD.Interpreter
      • TutorialD.Interpreter.Base
      • TutorialD.Interpreter.DatabaseContextExpr
      • TutorialD.Interpreter.DatabaseContextIOOperator
      • Export
        • TutorialD.Interpreter.Export.Base
        • TutorialD.Interpreter.Export.CSV
      • Import
        • TutorialD.Interpreter.Import.Base
        • TutorialD.Interpreter.Import.BasicExamples
        • TutorialD.Interpreter.Import.CSV
        • TutorialD.Interpreter.Import.TutorialD
      • TutorialD.Interpreter.InformationOperator
      • TutorialD.Interpreter.LoginRolesOperator
      • TutorialD.Interpreter.RODatabaseContextOperator
      • TutorialD.Interpreter.RelationalExpr
      • TutorialD.Interpreter.SchemaOperator
      • TutorialD.Interpreter.Template
      • TutorialD.Interpreter.TransGraphRelationalOperator
      • TutorialD.Interpreter.TransactionGraphOperator
      • TutorialD.Interpreter.Types
    • TutorialD.Printer

Flags

Manual Flags

NameDescriptionDefault
profiler

Enable Haskell-specific profiling support

Disabled
stack

build with stack and stackage

Disabled
build-examples

build example executables

Disabled
haskell-scripting

enables Haskell scripting which links against GHC as a library

Enabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1, 0.2, 0.3, 0.4, 0.5, 0.5.1, 0.6, 0.7, 0.8, 0.8.1, 0.9.0, 0.9.4, 0.9.5, 0.9.6, 0.9.7, 0.9.8, 0.9.9, 1.0.0, 1.0.1, 1.0.2, 1.1.0, 1.1.1, 1.2.0, 1.2.3, 1.2.4, 1.2.5, 1.2.6
Change log Changelog.markdown
Dependencies aeson (>=1.1), async, attoparsec, barbies, base (>=4.17 && <5), base16-bytestring (>=1.0.0.0), base64-bytestring, blaze-html, bytestring, Cabal, cassava (>=0.4.5.1 && <0.6), conduit, containers, convertible, cryptohash-sha256, crypton, curryer-rpc (>=0.5.1), data-default, data-interval, deepseq, deepseq-generics, deferred-folds, directory, either, exceptions, extended-reals, fast-builder, filepath, foldl, ghc (>=9.4), ghc-bignum, ghc-boot, ghc-paths, ghci, Glob, gnuplot, hashable, haskeline, http-api-data, http-conduit, http-types, HUnit, integer-gmp, linux-xattr, list-t, megaparsec (>=5.2.0 && <10), modern-uri, monad-parallel, MonadRandom, mtl, network, network-byte-order, old-locale, optparse-applicative, parallel, parser-combinators, path-pieces, prettyprinter, process, project-m36, QuickCheck, quickcheck-instances, random, random-shuffle, recursion-schemes, resourcet, rset, scientific, scotty (>=0.30), semigroups, sqlite-simple, stm, stm-containers (>=1.0.0), streamly (==0.10.1), streamly-core, system-linux-proc, template-haskell, temporary, text, text-manipulate (>=0.2.0.1 && <0.4), th-lift-instances, time, transformers, unix, unordered-containers, uuid (>=1.3.12), vector, vector-instances, wai, wai-websockets, warp, warp-tls, websockets, Win32 (>=2.12), winery (>=1.4), zlib [details]
Tested with ghc ==9.4.8 || ==9.6.6 || ==9.8.2 || ==9.10.1
License MIT
Author AgentM
Maintainer agentm@themactionfaction.com
Uploaded by agentm at 2026-03-04T03:06:00Z
Category Relational Algebra
Home page https://github.com/agentm/project-m36
Bug tracker https://github.com/agentm/project-m36/issues
Source repo head: git clone https://github.com/agentm/project-m36
Distributions
Executables project-m36-websocket-server, Example-Zoo, Example-DerivingCustomTupleable, Example-Hospital, Example-CustomTupleable, Example-Plantfarm, Example-Hair, Example-Blog, Example-OutOfTheTarpit, Example-TutorialDInline, Example-SimpleClient, project-m36-server, sqlegacy, tutd
Downloads 6111 total (59 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed as of 2026-03-04 [all 2 reports]

Readme for project-m36-1.2.6

[back to package description]

Ξ Project:M36 Relational Algebra Engine

Haskell Programming Language Public Domain Hackage Hackage dependency status Github Workflow status

Software can always be made faster, but rarely can it be made more correct.

Introduction

Project:M36 implements a relational algebra engine as inspired by the writings of Chris Date. Project:M36 supports both SQL and TutorialD interactive access.

Quick Install

Project:M36 can be downloaded and run via docker, which supports Windows 10+, macOS, and Linux.

Run docker run -it projectm36/project-m36 tutd to start the TutorialD command line interface.

Run docker run -it projectm36/project-m36 sqlegacy to start the SQLegacy (SQL dialect) command line interface.

Description

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

asciicast

Use-Cases

Project:M36 supports multiple frontends which target different audiences.

  • learn about the relational algebra via TutorialD
  • use SQLegacy to learn how SQL differs from the relational algebra
  • store and manipulate databases
  • use Project:M36 as a native Haskell database backend

Community

Documentation

Introductory Materials

  1. Installation and Introduction to Project:M36
  2. Introduction to the Relational Algebra
  3. TutorialD Cheatsheet
  4. TutorialD via Jupyter Notebook Walkthrough
  5. TutorialD Tutorial
  6. 15 Minute Tutorial
  7. Developer's Change Log
  8. Simple Client API
  9. CSV Import/Export
  10. Developer Setup

Database Comparisons

  1. ACID Database Properties
  2. On NULL (in SQL)
  3. Reaching "Out of the Tarpit" with Project:M36
  4. An Architecture for Data Independence'

SQL Support

  1. Why SQLegacy?
  2. SQLegacy Documentation

Advanced Features

  1. Role-Based Access Control
  2. Authentication
  3. Transaction Graph Operators
  4. ProjectM36.Client Library
  5. Data Frames for Sorting
  6. Adding New Data Types
  7. Database-Manipulating Functions
  8. Serving Remote ProjectM36 Databases
  9. Using Notifications
  10. Merge Transactions
  11. Atom (Value) Functions
  12. Trans-Graph Relational Expressions
  13. Isomorphic Schemas
  14. Replication
  15. Basic Operator Benchmarks
  16. Merkle Transaction Hashes
  17. Handling DDL Changes
  18. Importing a Haskell Module
  19. TutorialD Inline with Haskell

Integrations

  1. WebSocket Server
  2. Jupyter Notebook Kernel
  3. Persistent Driver

Development

Project:M36 is developed in Haskell and compiled with GHC 9.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

Suggested Reading