[論文レビュー] Relational lattices via duality

Luigi Santocanale|arXiv (Cornell University)|Feb 26, 2016

Data Management and Algorithms参考文献 7被引用数 3

ひとこと要約

この論文は双対性理論を用いて、一般化された非アーベル距離空間における対称性と二重完全性に基づく、関係的ラティスの等式公理化を特徴づける。関係的ラティスの準等式理論が、普遍的 S5^n 積フレームからの p-準同型を介してモーダル論理と結びついており、純粋ラティス記号におけるその理論の決定不能性を示している。

ABSTRACT

The natural join and the inner union combine in different ways tables of a relational database. Tropashko [18] observed that these two operations are the meet and join in a class of lattices-called the relational lattices- and proposed lattice theory as an alternative algebraic approach to databases. Aiming at query optimization, Litak et al. [12] initiated the study of the equational theory of these lattices. We carry on with this project, making use of the duality theory developed in [16]. The contributions of this paper are as follows. Let A be a set of column's names and D be a set of cell values; we characterize the dual space of the relational lattice R(D, A) by means of a generalized ultrametric space, whose elements are the functions from A to D, with the P (A)-valued distance being the Hamming one but lifted to subsets of A. We use the dual space to present an equational axiomatization of these lattices that reflects the combinatorial properties of these generalized ultrametric spaces: symmetry and pairwise completeness. Finally, we argue that these equations correspond to combinatorial properties of the dual spaces of lattices, in a technical sense analogous of correspondence theory in modal logic. In particular, this leads to an exact characterization of the finite lattices satisfying these equations.

研究の動機と目的

• 純粋ラティス記号における関係的ラティスの等式公理化を、双対性理論を用いて開発すること。
• 関係的ラティス R(D,A) の双対空間を、P(A)-値距離関数を備えた一般化された非アーベル距離空間として特徴づけること。
• 双対空間の組合せ的性質（対称性と二重完全性）を、ラティス理論における等式法則に結びつけること。
• 関係的ラティスの準等式理論の決定不能性を、普遍的 S5^n 積フレームからの p-準同型の存在問題への還元によって確立すること。
• 双対性理論を無限ラティスへと拡張し、関係的ラティスにおける対応理論的潜在的応用を検討すること。

提案手法

• 関係的ラティス R(D,A) を完全空間的ラティスとして表現し、その完全に結合的不可約要素を A ⊔ D^A と特定する。
• D^A 上の P(A)-値非アーベル距離空間として双対空間を構成し、距離 δ(f,g) = {x ∈ A | f(x) ≠ g(x)} とする。
• join-不可約要素の最小結合被覆を用いて R(D,A) の OD-グラフを定義し、f ∈ D^A に対して g ≠ f のとき δ(f,g) ∪ {g} を最小被覆とする。
• 双対性フレームワークを用いて、ラティス方程式を双対空間の組合せ的性質に翻訳し、モーダル論理の対応理論に類似した手法を適用する。
• 対応するラティスが関係的ラティスに埋め込めるための必要十分条件として、普遍的 S5^n 積フレームから完全初期フレームへの全射 p-準同型が存在することを示す。
• 既知のモーダル論理における決定不能性結果を活用し、関係的ラティスの準等式理論の決定不能性を導出する。

実験結果

リサーチクエスチョン

• RQ1 純粋ラティス記号における関係的ラティスを支配する等式法則は何か？ また、それらは双対空間の構造的性質からどのように導かれるか？
• RQ2 双対空間の組合せ的性質（特に対称性と二重完全性）は、関係的ラティスの等式理論の公理化に利用可能か？
• RQ3 関係的ラティスの等式理論における方程式と、その双対非アーベル距離空間の幾何的・位相的特徴の間に、対応関係が存在するか？
• RQ4 双対性理論はどの程度無限関係的ラティスへと拡張可能であり、新たな対応メカニズムはどのようなものが生じるか？
• RQ5 与えられたフレームへ向かう普遍的 S5^n 積フレームからの p-準同型の存在が、関連するラティスが関係的ラティスに埋め込めるという条件と正確に対応するか？

主な発見

• 関係的ラティス R(D,A) の双対空間は、D^A 上の P(A)-値非アーベル距離空間であり、距離関数 δ(f,g) = {x ∈ A | f(x) ≠ g(x)} で定義される。
• D^A 内の要素の最小結合被覆は δ(f,g) ∪ {g} で特徴づけられ、これら構造が等式公理の根拠となっている。
• 関係的ラティスの等式理論は、双対空間の対称性と二重完全性によって公理化され、これらはラティス方程式に対応する。
• 対応するラティスが関係的ラティスに埋め込めるための必要十分条件として、普遍的 S5^n 積フレームから完全初期フレームへの全射 p-準同型が存在することである。
• 純粋ラティス記号における関係的ラティスの準等式理論は、モーダル論理における p-準同型の存在問題への還元により、決定不能であることが示された。
• 本研究は、ラティス方程式と双対空間の組合せ的性質との間の新たな対応関係を確立し、双対性理論の適用範囲を関係的ラティスへと拡張した。