Project:M36 Relational Algebra Engine

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.

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

Documentation

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. Persistent Library Driver
3. ProjectM36.Client Library
4. Adding New Data Types
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

Development

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

• 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