Muldis D - Formal spec of a truly/object relational DBMS programming language - View it on GitHub