[論文レビュー] DB Category: Denotational Semantics for View-based Database Mappings

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

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

ひとこと要約

本稿は、データベースインスタンスを対象とし、関数ではなくビューに基づくマッピングを射とする特殊なデータベース圏 $DB$ を用いて、データベースマッピングの新しいカテゴリカルな意味論を導入する。パワー・ビュー自己関手とモノイド的構造を定義することで、複雑なマッピングの合成的かつ図式的表現が可能となり、データ統合のための不動点解が得られ、$DB$ 内で動作的同等性と双対性が確立される。主な貢献は、P2Pおよびデータウェアハウスシステムにおけるクエリリライトとメタマッピング抽象化をサポートする、数学的に厳密で対称的な2圏を提供する点である。

ABSTRACT

We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed database category DB, for databases (objects) and view-based mappings (morphisms) between them, is different from Set category: the morphisms (based on a set of complex query computations) are not functions, while the objects are database instances (sets of relations). The logic based schema mappings between databases, usually written in a highly expressive logical language (ex. LAV, GAV, GLAV mappings, or tuple generating dependency) may be functorially translated into this "computation" category DB. A new approach is adopted, based on the behavioral point of view for databases, and behavioral equivalences for databases and their mappings are established. By introduction of view-based observations for databases, which are computations without side-effects, we define a fundamental (Universal algebra) monad with a power-view endofunctor T. The resulting 2-category DB is symmetric, so that any mapping can be represented as an object (database instance) as well, where a higher-level mapping between mappings is a 2-cell morphism. Database category DB has the following properties: it is equal to its dual, complete and cocomplete. Special attention is devoted to practical examples: a query definition, a query rewriting in GAV Database-integration environment, and the fixpoint solution of a canonical data integration model.

研究の動機と目的

• 従来の $Set$-ベースの圏論が複雑で非関数的データベースマッピングをモデル化する上で抱える制限を解消すること。
• マージやマッチングなどの高レベルな代数的演算子をサポートする、データ統合と交換のための形式的圏論的フレームワークを構築すること。
• ビューに基づく観察を用いて、データベースおよびマッピングの動作的同等性（強および弱）を確立すること。
• P2Pおよびデータウェアハウス環境における、複雑なマッピングおよびクエリの合成的で図式的な表現を可能にすること。
• モノイド的および代数的構造を用いて、データ統合システムにおけるクエリリライトおよび不動点計算の形式的基盤を提供すること。

提案手法

• 対象がデータベースインスタンス（関係の集合）であり、射がビューに基づくマッピングである圏 $DB$ を構築し、$Set$ を一般化して複雑なクエリ計算を扱えるようにする。
• パワー・ビュー自己関手 $T$ と普遍代数的モノイドを導入し、状態なしで副作用のないビュー計算をモデル化する。
• 2-セルがマッピング間の高階マッピングを表すように、$DB$ に2圏構造を定義し、対称性と双対性を保証する。
• ビューに基づく計算を用いた観察による強および弱の同等性を定義し、データベースおよびマッピングの比較を行う。
• 正規データ統合モデルの最小解 $\mathcal{C}_M(\mathcal{I},\mathcal{D})$ を計算するための不動点作用素 $\Psi$ を適用する。
• 閉包作用素 $T_w$ を用いて、無限正規データベースがその有限不動点部分集合と弱同等であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$Set$ を一般化し、複雑で非関数的なビューに基づくマッピングを扱えるようにするカテゴリカルな意味論を構築できるか？
• RQ2 ビューに基づく観察の下で保存される、データベースおよびマッピング間の動作的同等性とは何か？
• RQ3 どのようにして、高階合成およびメタマッピングをサポートする、データベースマッピングのための対称的2圏構造を定義できるか？
• RQ4 正規データ統合モデルにおける最小解を形式的に定義可能な不動点作用素を構築できるか？
• RQ5 この枠組みにおいて、閉包および不動点作用を用いて無限データベースを有限に表現できるか？

主な発見

• データベース圏 $DB$ は双対と同型であり、完全かつ余完全であるため、マッピングの推論に強い圏論的性質を備えている。
• 不動点解 $\mathcal{C}_M(\mathcal{I},\mathcal{D}) = S$ は $\Psi$ の最小不動点として得られ、$S = \Psi(S)$ を満たし、正規データベースが無限であっても有限である。
• 閉包作用素 $T_w$ は代数的であり、$T_w(\mathit{can}(\mathcal{I},\mathcal{D})) = \bigcup \{ T_w(X') \mid X' \subseteq_\omega \mathit{can}(\mathcal{I},\mathcal{D}) \}$ を満たすため、有限近似で十分であることが示される。
• 無限正規データベース $\mathit{can}(\mathcal{I},\mathcal{D})$ は、その有限不動点部分集合 $\mathcal{C}_M(\mathcal{I},\mathcal{D})$ と弱同等である、すなわち $\mathit{can}(\mathcal{I},\mathcal{D}) \approx_w \mathcal{C}_M(\mathcal{I},\mathcal{D})$ が成り立つ。
• 本フレームワークは、P2Pおよびデータウェアハウスシステムにおける複雑で部分的なマッピングを、図式的でスケッチベースのメタマッピング記述システムとしてサポートする。
• $DB$ 圏は、論理スキーママッピング（例：GAV、LAV）を、ビューに基づくマッピングの計算圏へとファンクター的翻訳可能である。