[論文レビュー] Data Base Mappings and Monads: (Co)Induction

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

Advanced Database Systems and Queries参考文献 17被引用数 4

ひとこと要約

本稿では、$T$ というパワー・ビュー・モノイドと $DB$ 圈におけるモノイド代数を用いて、関係データベースのマッピングのカテゴリカルな意味論を導入する。ここで、データベースインスタンスは対象であり、ビューに基づくマッピングは射である。本稿は、$T$ のクライスリー圈权がクエリ同等性に関して GLAV マッピングをモデル化することを確立し、自己帰納的モノイドを形成する終末コアルゲブラが、終末コアルゲブラの原理を用いたコイナダクティブなクエリリライトと意味論を可能にすることを証明する。

ABSTRACT

In this paper we presented the semantics of database mappings in the relational DB category based on the power-view monad T and monadic algebras. The objects in this category are the database-instances (a database-instance is a set of n-ary relations, i.e., a set of relational tables as in standard RDBs). The morphisms in DB category are used in order to express the semantics of view-based Global and Local as View (GLAV) mappings between relational databases, for example those used in Data Integration Systems. Such morphisms in this DB category are not functions but have the complex tree structures based on a set of complex query computations between two database-instances. Thus DB category, as a base category for the semantics of databases and mappings between them, is different from the Set category used dominantly for such issues, and needs the full investigation of its properties. In this paper we presented another contributions for an intensive exploration of properties and semantics of this category, based on the power-view monad T and the Kleisli category for databases. Here we stressed some Universal algebra considerations based on monads and relationships between this DB category and the standard Set category. Finally, we investigated the general algebraic and induction properties for databases in this category, and we defined the initial monadic algebras for database instances.

研究の動機と目的

• モノイドと普遍代数を用いて、関係データベースのマッピングのカテゴリカルなフレームワークを構築すること。
• マッピングの意味論を、関数ではなく複雑なクエリツリーとして表現する射を有する $DB$ 圈を用いて、グローバル・アズ・ビュー（GLAV）マッピングとして形式化すること。
• パワー・ビュー・モノイド $T$ のクライスリー圈权を、クエリ同等性 $\approx$ に関してデータベースマッピングのモデルとして確立すること。
• $DB$ 圈におけるデータベースインスタンスの（共）帰納的および代数的性質を調査すること。これには、初期代数および終末代数が含まれる。
• クエリが $T$-コアルゲブラであることを示し、クエリリライトがそのようなコアルゲブラ間の射によって記述されることを示すこと。

提案手法

• データベースインスタンスを対象とし、ビューに基づくマッピングを射とする $DB$ 圈を定義する。ここで、射は複雑な木構造のクエリ計算として表現される。
• $DB$ 上の自己関手としてのパワー・ビュー・モノイド $T$ を導入する。ここで $TA$ は、SPJRU クエリを用いて計算可能な $A$ のすべてのビューの集合である。
• クォーティエント・ターム代数 $\mathcal{L}_A/_{\approx}$ を用いてビューを表現し、$TA$ がこの代数と自然な双対写像 $is_A$ を通じて同型であることを示す。
• 終末 $\Sigma_{R_A}$-コアルゲブラ $T_\infty A$ を、$T$ の最大不動点として構成する。これは、データベースのすべての有限および無限のビューを表す。
• $T_\infty$-コアルゲブラにおけるコイナダクションの原理を確立し、コアルゲブラ的構造に沿った写像の一意なコイナダクティブ拡張 $f^\#$ を可能にする。
• $T$ のクライスリー圈权が $DB$ 圏と同型であり、この圈权における射が、値渡しと名前渡しの意味論を同等にモデル化することを示す。

実験結果

リサーチクエスチョン

• RQ1 関係データベース間の GLAV マッピングの意味論を、$DB$ 圈におけるモノイドと圏論を用いてどのように形式化できるか？
• RQ2 パワー・ビュー・モノイド $T$ は、データベースビューとクエリ計算をどのようにモデル化するか？
• RQ3 初期および終末 $T$-代数およびコアルゲブラは、データベースの代数的およびコイナダクティブな意味論にどのように寄与するか？
• RQ4 $T$ のクライスリー圈权が、クエリ同等性 $\approx$ に関してどのようにデータベースマッピングをモデル化するか？
• RQ5 $DB$ 圈におけるコアルゲブラ的射によって、どのようにコイナダクティブなクエリリライトを捉えることができるか？

主な発見

• $DB$ 圈はその双対と同型であり、すべてのデータベースがその恒等射として表現可能であり、すべての射が閉じた対象であるという意味で対称的である。
• パワー・ビュー・モノイド $T$ のクライスリー圈权は $DB$ 圈と同型であり、クエリ同等性に関して GLAV マッピングの意味的モデルとして正当化される。
• 各データベースクエリは $T$-コアルゲブラに対応し、$T$-コアルゲブラ間の射はクエリリライトの意味論を提供する。
• 終末 $\Sigma_{R_A}$-コアルゲブラ $T_\infty A$ は、自己関手 $\Sigma_{R_A} = \Sigma_R + A$ の最大不動点であり、データベースのすべての有限および無限のビューを表す。
• $T_\infty$ におけるコイナダクションの原理により、一意なコイナダクティブ拡張 $f^\#$ が可能となり、$T_\infty f$ が $\Sigma_R$-コアルゲブラ間の準同型として意味論的に定義される。
• 終末コアルゲブラ $T_\infty$ は完全反復的モノイド $(T_\infty, \eta, \mu)$ を形成し、データベースマッピングにおけるコイナダクティブ推論の基盤を提供する。