Math 哪种查询语言最接近Codd的数据关系模型?

Math 哪种查询语言最接近Codd的数据关系模型?,math,relational-database,relational-algebra,Math,Relational Database,Relational Algebra,至少在语法上,SQL还很遥远。谢谢 据说Dataphor的D4非常接近,唯一的主要错误是引入了一个类似于null的构造,客户强迫开发人员IIRC 第三个宣言的项目页面上列出的项目都应该更加严格遵守。据说Dataphor的D4非常接近,唯一的主要错误是引入了一个类似于null的构造,客户强迫开发人员IIRC 第三个宣言的项目页面上列出的项目都应该更加严格遵守。有两种语法上非常不同的语言:关系代数和关系演算,SQL是两者的混合体。有很多逐字逐句的关系代数实现,所以问题显然不是实现的忠实程度 有两种语

至少在语法上,SQL还很遥远。谢谢

据说Dataphor的D4非常接近,唯一的主要错误是引入了一个类似于null的构造,客户强迫开发人员IIRC


第三个宣言的项目页面上列出的项目都应该更加严格遵守。

据说Dataphor的D4非常接近,唯一的主要错误是引入了一个类似于null的构造,客户强迫开发人员IIRC


第三个宣言的项目页面上列出的项目都应该更加严格遵守。

有两种语法上非常不同的语言:关系代数和关系演算,SQL是两者的混合体。有很多逐字逐句的关系代数实现,所以问题显然不是实现的忠实程度

有两种语法上非常不同的语言:关系代数和关系演算,SQL是这两种语言的混合体。有很多逐字逐句的关系代数实现,所以问题显然不是实现的忠实程度

+1尽管我认为您对Dataphor和nulls的理解是错误的:当我们试图在不将nulls引入DBMS的情况下构建问题的实际解决方案时,阅读全文,我们最终遇到了重大问题,解决这个问题的最简单实用的方法是采用空值,就像现在任何给定的基于SQL的DBMS中存在的空值一样。。。这并不是说我们认为SQL样式的空值是这个问题的最终解决方案,只是我们不认为这个问题已经解决了Darwen的兼容语言/项目列表中的Dataphor,这是一篇有趣的文章:我们甚至试图通过将null定义为类型系统的一部分来纠正这种情况,这让我想起了我最近读到的一些东西。也许他们应该回到白板上:顺便说一句,你用过Dataphor吗?我尝试过一次,但无法编译源代码,也无法获得任何支持:哦,又是一次好的旧HTHMIUSBC:-是的,它被证明只是一次徒劳的练习。当Date第一次看到草稿时,他的直觉是,但这又是一次特殊的价值观,在大多数情况下,他是对的。他后来认识到,一个可能有价值的想法是,它展示了我们如何避免强迫操作符实现必须接受null作为必须处理的值。它所做的另一件有价值的事情是让我坚定地相信,根本没有优雅的解决方案以下是我认为是一个解决丢失信息的优雅解决方案:和:+1尽管我认为您对Dataphor和nulls的理解是错误的:阅读全文,因为我们试图构建一个实际的问题解决方案,但没有将nulls引入DBMS,我们遇到了重大问题……最后,解决这个问题的最简单实用的方法是采用空值,就像现在任何给定的基于SQL的DBMS中存在的空值一样。。。这并不是说我们认为SQL样式的空值是这个问题的最终解决方案,只是我们不认为这个问题已经解决了Darwen的兼容语言/项目列表中的Dataphor,这是一篇有趣的文章:我们甚至试图通过将null定义为类型系统的一部分来纠正这种情况,这让我想起了我最近读到的一些东西。也许他们应该回到白板上:顺便说一句,你用过Dataphor吗?我尝试过一次,但无法编译源代码,也无法获得任何支持:哦,又是一次好的旧HTHMIUSBC:-是的,它被证明只是一次徒劳的练习。当Date第一次看到草稿时,他的直觉是,但这又是一次特殊的价值观,在大多数情况下,他是对的。他后来认识到,一个可能有价值的想法是,它展示了我们如何避免强迫操作符实现必须接受null作为必须处理的值。它所做的另一件有价值的事情是让我坚定地相信,根本没有优雅的解决方案我认为这是一个解决信息缺失的好办法:为什么是Codd?他发明了关系模型,但此后又得到了进一步发展。以空值为例。Codd的原始模型没有空值的概念。很久以后,他添加了带有空值的三值逻辑。他后来拒绝了这一点,赞成两种几乎被普遍拒绝的空值。在现代关系理论中,所有空值的概念都被拒绝。为什么是Codd?他发明了关系模型,但此后又得到了进一步发展。以空值为例。Codd的原始模型没有空值的概念。很久以后,他添加了带有空值的三值逻辑。他后来拒绝了这一点 赞成两种几乎被普遍拒绝的空值。在现代关系理论中,所有空值的概念都被拒绝。