Ξ项目:M36关系代数引擎
总是可以使软件变得更快,但很少会使它变得更正确。
介绍
Project:M36实现了关系代数引擎,其灵感来自Chris Date的著作。
快速安装
可以通过支持Windows 10,macOS和Linux的docker下载并运行Project:M36。
运行docker run -it projectm36/project-m36 tutd以启动TutorialD命令行界面。
描述
与大多数数据库管理系统(DBMS)不同,Project:M36是经过严格检验的软件,严格遵守关系代数的数学要求。 这种坚持的目的是证明实现数学上合理的设计原理的软件以代码清晰,一致性