project-m36: Relational Algebra Engine

[ library, program, public-domain, relational-algebra ] [ Propose Tags ]

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


[Skip to Readme]
Versions 0.1, 0.2, 0.3, 0.4
Change log Changelog.markdown
Dependencies aeson (>=1.1), attoparsec, base (>=4.8 && <5.0), base64-bytestring, binary, blaze-html, bytestring, Cabal, cassava (>=0.4.5.1 && <0.6), 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, exceptions, extended-reals, filepath, ghc (>=7.8 && <8.3), ghc-boot, ghc-paths, ghci, Glob, gnuplot, hashable, hashable-time, haskeline, http-api-data, http-types, HUnit, list-t, megaparsec (>=5.2.0 && <5.4), monad-parallel, MonadRandom, mtl, network-transport, network-transport-tcp, old-locale, optparse-applicative, parallel, path-pieces, project-m36, QuickCheck, random, random-shuffle, resourcet, rset, scotty, semigroups, stm, stm-containers (>=0.2.15), template-haskell, temporary, text, time, transformers, unix, unordered-containers, uuid (>=1.3.12), vector, vector-binary-instances, websockets, Win32 (>=2.3), zlib [details]
License LicenseRef-PublicDomain
Author AgentM
Maintainer agentm@themactionfaction.com
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
Uploaded by agentm at Tue Jun 5 00:57:11 UTC 2018
Distributions NixOS:0.4
Executables handles, project-m36-websocket-server, Example-CustomTupleable, Example-Hair, Example-Blog, Example-OutOfTheTarpit, Example-SimpleClient, bigrel, project-m36-server, tutd
Downloads 541 total (27 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2018-06-05 [all 2 reports]
Hackage Matrix CI

Modules

  • ProjectM36
    • ProjectM36.Arbitrary
    • ProjectM36.Atom
    • ProjectM36.AtomFunction
    • ProjectM36.AtomFunctionBody
    • ProjectM36.AtomFunctionError
    • AtomFunctions
      • ProjectM36.AtomFunctions.Basic
      • ProjectM36.AtomFunctions.Primitive
    • ProjectM36.AtomType
    • ProjectM36.Atomable
    • ProjectM36.Attribute
    • ProjectM36.AttributeExpr
    • ProjectM36.AttributeNames
    • ProjectM36.Base
    • ProjectM36.Client
      • ProjectM36.Client.Simple
    • ProjectM36.DataConstructorDef
    • 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.Primitive
    • ProjectM36.DatabaseContext
    • ProjectM36.DatabaseContextFunction
    • ProjectM36.DatabaseContextFunctionError
    • ProjectM36.DatabaseContextFunctionUtils
    • ProjectM36.DateExamples
    • ProjectM36.DisconnectedTransaction
    • ProjectM36.Error
    • ProjectM36.FSType
    • ProjectM36.FileLock
    • ProjectM36.FunctionalDependency
    • ProjectM36.InclusionDependency
    • ProjectM36.IsomorphicSchema
    • ProjectM36.Key
    • ProjectM36.MiscUtils
    • ProjectM36.Notifications
    • ProjectM36.Persist
    • 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.RelationalExpression
    • ProjectM36.ScriptSession
    • ProjectM36.Server
      • ProjectM36.Server.Config
      • ProjectM36.Server.EntryPoints
      • ProjectM36.Server.ParseArgs
      • ProjectM36.Server.RemoteCallTypes
    • ProjectM36.Session
    • ProjectM36.Sessions
    • ProjectM36.StaticOptimizer
    • ProjectM36.TransGraphRelationalExpression
    • ProjectM36.Transaction
      • ProjectM36.Transaction.Persist
    • ProjectM36.TransactionGraph
      • ProjectM36.TransactionGraph.Merge
      • ProjectM36.TransactionGraph.Persist
      • ProjectM36.TransactionGraph.Show
    • ProjectM36.Tuple
    • ProjectM36.TupleSet
    • ProjectM36.Tupleable
    • ProjectM36.TypeConstructor
    • ProjectM36.TypeConstructorDef
    • ProjectM36.WCWidth

Flags

NameDescriptionDefaultType
profiler

Enable Haskell-specific profiling support

DisabledManual

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for project-m36-0.4

[back to package description]

Ξ Project:M36 Relational Algebra Engine

Haskell Programming Language Public Domain Hackage Hackage dependency status Build status Windows Build 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.

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

Try It!

You can experiment instantly with Project:M36 straight from your browser at try.project-m36.io!

Use-Cases

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

Community

Documentation

Introductory Materials

  1. Installation and Introduction to Project:M36
  2. Introduction to the Relational Algebra
  3. TutorialD via Jupyter Notebook Walkthrough
  4. TutorialD Tutorial
  5. 15 Minute Tutorial
  6. Developer's Change Log
  7. Simple Client API

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. Atom (Value) Functions
  9. Trans-Graph Relational Expressions
  10. Isomorphic Schemas
  11. Replication
  12. Basic Operator Benchmarks

Integrations

  1. WebSocket Server
  2. Jupyter Notebook Kernel

Development

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

Related Projects

  • 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