[论文解读] Using rational numbers to key nested sets

Dan Hazel|ArXiv.org|Jun 19, 2008

History and Theory of Mathematics参考文献 3被引用 3

一句话总结

本文提出了一种新颖的方法，使用有理数作为节点键来在关系型数据库中编码层次树结构，从而实现无需重新平衡的高效插入。通过使用有限连分数从父节点键推导子节点键，确保每个节点在排序中位于其后代之前、且在索引较小的兄弟节点之后，具备可逆的父子键关系和可证明的排序保证。

ABSTRACT

This report details the generation and use of tree node ordering keys in a single relational database table. The keys for each node are calculated from the keys of its parent, in such a way that the sort order places every node in the tree before all of its descendants and after all siblings having a lower index. The calculation from parent keys to child keys is simple, and reversible in the sense that the keys of every ancestor of a node can be calculated from that node's keys without having to consult the database. Proofs of the above properties of the key encoding process and of its correspondence to a finite continued fraction form are provided.

研究动机与目标

• 解决传统嵌套集模型在插入后需要昂贵重新平衡所导致的可伸缩性问题。
• 设计一种基于有理数的键编码系统，以在不修改现有节点键的前提下保持层次顺序。
• 确保基于有限连分数推导出的节点键能正确维护祖先-后代关系与兄弟顺序。
• 提供一种可逆的键系统，使得仅通过节点键即可重建其父节点键，而无需数据库查询。
• 形式化证明所提出的有理数键编码的正确性与排序特性。

提出的方法

• 该方法使用有限连分数，基于节点在树中的路径为每个节点生成唯一的有理数键，且每个节点的键均从其父节点键推导而来。
• 子节点键通过涉及分子与分母的递推关系计算得出，以保持父节点、子节点与下一个兄弟节点之间的严格排序关系。
• 该键生成过程具有可逆性：可通过相同的递推关系从任意节点键重建其祖先键，从而无需访问数据库。
• 该方法利用连分数的性质，确保每个子节点的键严格位于其父节点键与其父节点下一个兄弟节点键之间。
• 通过表示每一层子节点数量的转移矩阵的矩阵乘法对编码进行形式化，以确保数学一致性。
• 提供了理论证明，验证所生成的键排序满足所需的嵌套集属性，包括祖先-后代关系与兄弟顺序。

实验结果

研究问题

• RQ1 能否使用有理数键在单个关系表中表示层次树结构，同时避免插入后的重新平衡？
• RQ2 所提出的键编码是否能确保每个节点在排序中位于其后代之前、且在索引较小的兄弟节点之后？
• RQ3 能否仅通过节点键本身重建任意节点的父节点键，而无需访问数据库？
• RQ4 基于有限连分数的有理数键编码在数学上是否一致且可证明地正确，以支持层次排序？
• RQ5 与Tropashko的编码等先前方法相比，该方法在排序行为与唯一性方面表现如何？

主要发现

• 所提出的方法成功使用基于有限连分数的有理数对树节点进行编码，确保了正确的层次排序。
• 键生成过程具有可逆性：仅通过节点键及其路径信息，即可计算出其父节点键，而无需查询数据库。
• 每个子节点的键严格位于其父节点键与其父节点下一个兄弟节点键之间，从而保证了正确的排序顺序。
• 该方法证明了任意节点的有理数键严格小于其下一个兄弟节点的键，从而确保了正确的兄弟顺序。
• 理论证明确认，该编码保持了嵌套集属性：对于任意节点，其所有祖先的键均能界定该节点键的范围，而其所有后代的键均严格位于其祖先键的界定范围内。
• 该方法避免了插入时的重新平衡，因为在任意两个键之间存在无限多个有理数，为新节点提供了充足的插入空间。