[论文解读] Relational Algebra as non-Distributive Lattice

Vadim Tropashko|ArXiv.org|Jan 21, 2005

Advanced Algebra and Logic参考文献 5被引用 6

一句话总结

本文通过将关系代数简化为两个基本操作——自然连接和广义并集——提出了一种新颖的关系代数代数基础，证明了这些操作构成一个非分配格。其主要贡献在于表明，这一最小操作符集合具有关系完备性并满足格公理，为关系数据库提供了基于序理论结构而非传统关系代数的新代数视角。

ABSTRACT

We reduce the set of classic relational algebra operators to two binary operations: natural join and generalized union. We further demonstrate that this set of operators is relationally complete and honors lattice axioms.

研究动机与目标

• 通过仅使用自然连接和广义并集作为基本操作，重新构想关系代数。
• 证明该最小操作符集合具有关系完备性。
• 确立这些操作满足格公理，形成一个非分配格结构。
• 为基于序理论的关联数据库提供一种新的代数基础。

提出的方法

• 将完整的关系代数简化为仅两个二元操作：自然连接和广义并集。
• 在格论框架内形式化这些操作，验证其封闭性、交换律、结合律和吸收律。
• 证明该格是非分配的，即一般情况下分配律不成立。
• 通过证明所有标准关系代数操作均可由这两个基本操作推导，展示关系完备性。
• 使用代数结构来建模关系数据操作，强调顺序和封闭性属性。
• 将格论应用于关系代数，突出诸如交与并操作等结构性质。

实验结果

研究问题

• RQ1 是否可以仅使用自然连接和广义并集作为基本操作来完全表达关系代数？
• RQ2 由自然连接和广义并集构成的操作集合是否满足格的公理？
• RQ3 所得的格结构是否是分配的，还是表现出非分配行为？
• RQ4 该最小操作符集合能否实现完全的关系完备性？
• RQ5 当通过格论的视角审视时，关系代数的代数结构是什么？

主要发现

• 仅使用自然连接和广义并集构成的最小操作符集合足以表达所有标准关系代数操作，从而证明了关系完备性。
• 这些操作满足所有格公理——封闭性、交换律、结合律和吸收律——形成了一个定义良好的格。
• 通过反例表明该格是非分配的，即分配律一般不成立。
• 该代数结构为关系数据库提供了基于序理论的新理论基础。
• 该框架为关系操作提供了更抽象且统一的视角，强调结构性质而非语法操作。
• 结果表明，格论可作为关系数据库系统强大代数基础。