[論文レビュー] 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の符号化などの先行手法と比較して、順序行動と一意性の観点で本手法はどのように異なるか？

主な発見

• 提案手法は、有限連分数から導出される有理数を用いてノードを符号化し、正しい階層的順序を保証することに成功した。
• キー生成プロセスは逆転可能である。ノードのキーとパス情報のみを用いて、データベース照会を経ずに親のキーを計算できる。
• すべての子ノードのキーは、親ノードのキーと、親ノードの次の兄弟ノードのキーの間に厳密に位置し、正しいソート順序が保証される。
• 本手法により、任意のノードのキーがその次の兄弟ノードのキーより小さいことが証明され、正しい兄弟順序が保証される。
• 理論的証明により、符号化がネストドセットの性質を維持することが確認された。すなわち、任意のノードについて、すべての祖先のキーがノードのキーを境界づけており、すべての子孫のキーはその祖先のキーの境界内に厳密に位置する。
• 任意の2つのキーの間に無限に多くの有理数が存在するため、挿入時における再バランスの必要がなく、十分な空き領域が確保される。