关于Codd的约简算法

Question

Codd's Algorithm将元组关系演算中的表达式转换为关系代数。我想知道：

1. 是否有算法的标准实现？
2. 这个算法是否在任何地方使用？ （因为，业界只需要SQL和变体，我不确定学术界的数据库理论家）
3. 减少的复杂性是什么？

Answer 1

实现Codd的算法应该很容易（*），但是：

将一种语言的表达式转换为另一种语言的表达式需要人们知道“其他语言”是什么。你能说出来吗？

如果所述转换的输出可以包含在源代码中，或者以某种其他方式传递到理解该特定语言的编译器，则使用这种转换的输出是明智的。你知道一种“标准的”基于代数的关系数据语言吗？

Imo，这些是工业实施中几乎没有意义的两个最明显的原因。

（*）如果您的输入是一个解析树，其中包含诸如＆lt; universalquantification＆gt;，＆lt; existentialquantification＆gt;，＆lt; restriction＆gt;，＆lt; cartesian＆gt;等节点...