[論文レビュー] Matching, Merging and Structural Properties of Data Base Category

Zoran Majkić|arXiv (Cornell University)|Feb 11, 2011

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

ひとこと要約

本稿は、関係データベースのための圏論的枠組みを提示し、対象がデータベースインスタンスで、射がビューに基づく照合マッピングである圏 $DB$ を定義する。$DB$ が対称的かつ自己双対的で、完全かつ余完全で、具体的かつ局所的に小さな有限生成可能で、自己の上に豊かに豊かに、代数的ラティスであることを確立し、部分対象分類子とデータベースメトリクス空間の構成に至る。これにより、$DB$ が弱いモノイダルトポスであることが示されたが、冪対象を備えておらず、引き戻しにおいてエピモルフィズムを保存しないことも判明した。

ABSTRACT

Main contribution of this paper is an investigation of expressive power of the database category DB. An object in this category is a database-instance (set of n-ary relations). Morphisms are not functions but have complex tree structures based on a set of complex query computations. They express the semantics of view-based mappings between databases. The higher (logical) level scheme mappings between databases, usually written in some high expressive logical language, may be functorially translated into this base "computation" DB category . The behavioral point of view for databases is assumed, with behavioural equivalence of databases corresponding to isomorphism of objects in DB category. The introduced observations, which are view-based computations without side-effects, are based (from Universal algebra) on monad endofunctor T, which is the closure operator for objects and for morphisms also. It was shown that DB is symmetric (with a bijection between arrows and objects) 2-category, equal to its dual, complete and cocomplete. In this paper we demonstrate that DB is concrete, locally small and finitely presentable. Moreover, it is enriched over itself monoidal symmetric category with a tensor products for matching, and has a parameterized merging database operation. We show that it is an algebraic lattice and we define a database metric space and a subobject classifier: thus, DB category is a monoidal elementary topos.

研究の動機と目的

• 射が関数ではなくビューに基づく照合マッピングであるような、関係データベースの圏論的モデルを形式化すること。
• 特に圏論的完全性と双対性を含めた、$DB$ 圏の表現力と構造的性質を調査すること。
• $DB$ がマッチングのためのテンソル積、パラメータ化されたマージング、および部分対象分類子といった基本的構成をサポートすることを示すこと。
• $DB$ が自己の上に豊かに豊かで、具体的かつ局所的に小さな有限生成可能な圏であることを示すこと。
• $DB$ がトポスとしての制限を検討すること、特に冪対象の不在とエピモルフィズムが引き戻しで保存されない点。

提案手法

• 本稿は、対象をデータベースインスタンス（n-アリティ関係の集合）とし、射をビューに基づく意味論を通じてソースからターゲットデータベースへマッピングするSPJRU照合計算として $DB$ 圏を定義する。
• 各データベースからそのすべてのビューの集合へ写像するモノイド自己函手 $T$ を導入し、対象および射の両方に対して閉包作用素を形成する。
• $DB$ が対称的かつ自己双対的であることが示され、対象の同型はビューに基づく観測における行動的同値性に対応する。
• マッチング操作のためのテンソル積が定義され、$DB$ が自己の上に豊かに豊かなモノイダル対称圏であることが保証される。
• 商項項代数 $\mathcal{L}_A/_{\approx}$ を用いて部分対象分類子が構成され、これによりデータベースメトリクス空間が定義可能となる。
• 本稿は、$DB$ が具体的かつ局所的に小さく、有限生成可能であることを証明し、圏論的ファンクターと普遍代数を通じてそのトポス的性質を調査する。

実験結果

リサーチクエスチョン

• RQ1 射が関数ではなくビューに基づく照合マッピングであるような圏論的枠組みの中で、関係データベースの表現力が完全に捉えられるか。
• RQ2 $DB$ 圏は、テンソル積、余直積、部分対象分類子といった基本的圏論的構成をサポートするか。もしサポートするならば、それらはどのように定義されるか。
• RQ3 $DB$ 圏はトポスであるか。そうでない場合、どのトポス公理を満たさないか。
• RQ4 モノイド $T$ は、対象および射の両方に対してどのように閉包を誘導するか。また、行動的同値性の定義において果たす役割は何か。
• RQ5 $DB$ が圏論的モデルとしての構造的制限は何か。特に、冪対象の不在とエピモルフィズムが引き戻しで保存されない点について。

主な発見

• $DB$ 圏は対称的かつ自己双対的であり、射と対象の間の全単射が存在し、完全かつ余完全である。
• $DB$ 圏は具体的かつ局所的に小さく、有限生成可能であり、その基礎的な圏論的頑健性が確立される。
• $DB$ 圏は自己の上に豊かに豊かで、マッチング操作のための明確なテンソル積を持つモノイダル対称圏である。
• 商項項代数 $\mathcal{L}_A/_{\approx}$ を用いて部分対象分類子が構成され、これによりデータベースメトリクス空間が定義可能となる。
• $DB$ 圏は代数的ラティスであることが示され、データベース操作のための豊かな代数的構造を支持する。
• 強力な圏論的性質を備えながらも、$DB$ は冪対象を欠き、well-pointed ではなく、引き戻しにおいてエピモルフィズムが保存されないため、弱いモノイダルトポスにとどまる。