agentm/project-m36
1
1
Fork 0
mirror of https://github.com/agentm/project-m36.git synced 2024-10-03 20:07:58 +03:00
Code Issues Projects Releases Wiki Activity
Project: M36 Relational Algebra Engine
1,712 Commits 117 Branches 14 Tags 9.2 MiB
Haskell 91.8%
Jupyter Notebook 4.1%
JavaScript 1.7%
HTML 0.8%
Nix 0.8%
Other 0.7%
master
Go to file
AgentM f280f01af6 upgrade to fast-builder 0.1.4.0
2024-08-29 00:34:27 -04:00
.appveyor force loading of certificates for subsequent stack run 2022-08-19 23:00:07 -04:00
.github/workflows add compiler arg to cabal update in ci 2024-08-25 16:02:48 -04:00
.vscode create separate cabal and stack hie.yaml files suitable for vscode integration 2021-12-31 23:53:18 -05:00
cbits WIP fd leak testing 2018-03-25 20:34:58 -04:00
docs update documentation for latest supported GHC 2024-08-25 22:02:38 -04:00
examples Merge branch '372_plantfarm_raise' 2024-08-25 22:57:52 -04:00
jupyter rename date example to cjdate example 2021-03-26 12:57:25 -04:00
nix upgrade lockfree-queue in nix 2023-12-30 01:50:07 -05:00
posts WIP Atomable List instance and built-in List type 2017-04-12 21:04:47 -04:00
scripts add SQL script to create the C.J. Date s+sp+p schema for comparison purposes 2022-09-29 00:10:27 -04:00
src replace MIN_VERSION_ghc with MIN_VERSION_base 2024-08-25 21:48:30 -04:00
test fix import in test-static-optimizer 2024-08-25 16:58:21 -04:00
.appveyor.yml fix appveyor stack config path 2024-01-05 13:03:44 -05:00
.gitignore add emacs temp files to gitignore files 2022-10-03 23:49:27 -04:00
cabal.project upgrade to fast-builder 0.1.4.0 2024-08-29 00:34:27 -04:00
Changelog.markdown update Changelog 2024-08-25 22:41:10 -04:00
default.nix call hackage directly for nix packages 2020-07-18 17:28:04 -04:00
docker.nix fix docker warning 2023-12-30 10:14:31 -05:00
h2svg.sh add some handy shell scripts for performance profiling and debugging 2017-04-17 12:02:21 -04:00
hp2svg.sh add some handy shell scripts for performance profiling and debugging 2017-04-17 12:02:21 -04:00
install_tools.sh add some handy shell scripts for performance profiling and debugging 2017-04-17 12:02:21 -04:00
LICENSE Initial commit 2014-10-26 20:17:22 -04:00
project-m36.cabal Merge branch '372_plantfarm_raise' 2024-08-25 22:57:52 -04:00
README.markdown update documentation for latest supported GHC 2024-08-25 22:02:38 -04:00
release.nix update docker build to use curryer-rpc 0.3.7 2024-08-25 17:44:29 -04:00
runghcid.sh move dataframe creation and sorting to server-side via Client.hs 2019-01-05 00:02:49 -05:00
shell.nix call hackage directly for nix packages 2020-07-18 17:28:04 -04:00
sql_optimizations_applied add SQL union, intersect, and except query operators 2024-05-07 01:44:37 -04:00
stack.ghc9.2.yaml upgrade to fast-builder 0.1.4.0 2024-08-29 00:34:27 -04:00
stack.ghc9.4.yaml upgrade to fast-builder 0.1.4.0 2024-08-29 00:34:27 -04:00

README.markdown

Ξ Project:M36 Relational Algebra Engine

Haskell Programming Language Public Domain Hackage Hackage dependency status Windows Build 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. Transaction Graph Operators
  2. ProjectM36.Client Library
  3. Data Frames for Sorting
  4. Adding New Data Types
  5. Database-Manipulating Functions
  6. Serving Remote ProjectM36 Databases
  7. Using Notifications
  8. Merge Transactions
  9. Atom (Value) Functions
  10. Trans-Graph Relational Expressions
  11. Isomorphic Schemas
  12. Replication
  13. Basic Operator Benchmarks
  14. Merkle Transaction Hashes
  15. Handling DDL Changes

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.

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