[論文レビュー] Functorial Data Migration: From Theory to Practice

Ryan Wisnesky, David I. Spivak+2 more|arXiv (Cornell University)|Feb 20, 2015

Semantic Web and Ontologies参考文献 7被引用数 3

ひとこと要約

本稿では、FQL（関手的クエリ言語）を用いたデータ移行の関手的アプローチを提示する。カテゴリー理論を用いることで、関係データベースの意味的拡張が可能であることを示し、特に第三者的な材料オントロジーを用いて製造サプライチェーンの機器能力データを拡張する事例を提示する。スキーマを圏として、インスタンスを関手としてモデル化することで、随伴関手（Σ, Δ, Π）を用いた効率的かつ合成可能なデータ統合が実現され、FQLの高水準な構文により、低水準な関手的合成よりも優れた実行効率を達成する複雑な移行が可能になる。

ABSTRACT

In this paper we describe a functorial data migration scenario about the manufacturing service capability of a distributed supply chain. The scenario is a category-theoretic analog of an OWL ontology-based semantic enrichment scenario developed at the National Institute of Standards and Technology (NIST). The scenario is presented using, and is included with, the open-source FQL tool, available for download at categoricaldata.net/fql.html.

研究の動機と目的

• 理論的関手的データモデルと、サプライチェーンのような実世界システムにおける実用的データ統合を橋渡しすること。
• FQLによる関手的データ移行が、OWL推論と同等の意味的拡張を直接実行可能かつ最適化可能に実装できることを示すこと。
• FQLの高水準クエリ構文（select/from/where）が、Σ∘Π∘Δ 関手の組み合わせよりも直感的かつ効率的であることを示すこと。
• 関手的データ移行を構築・テストできるオープンソースで拡張可能なツールチェーン（FQL IDE）を提供すること。
• 関手的クエリ言語が、SQLの範囲外にある複雑なデータ統合タスク、特に意味的拡張の場面で表現可能であることを確立すること。

提案手法

• テーブルを対象とし、外部キー・属性を射として持つ有限生成圏としてデータベーススキーマをモデル化する。
• スキーマ圏から集合の圏への集合値関手としてデータベースインスタンスを表現する。
• スキーマの進化や統合を可能にするために、随伴関手ΔF、ΣF、ΠFを用いてスキーマ間のデータ移行を定義する。
• FQL（select/from/whereなどの一般的なパターンに特化した構文的糖衣を備えた高水準な代数的クエリ言語）にこれらの移行を実装する。
• SQLデータをFQLスキーマおよびインスタンスに変換し、is-a関係および同義語関係の推移的閉包と結合操作を用いて拡張する。
• 結合の再順序付けなどのリレーショナル代数の技術を活用し、select/from/where構文を直接コンパイルすることでクエリ実行を最適化する。

実験結果

リサーチクエスチョン

• RQ1 FQLによる関手的データ移行は、実行可能で実用的な形でOWL推論エンジンの意味的拡張能力を再現できるか？
• RQ2 FQLのselect/from/where構文は、低水準な関手的合成（Σ∘Π∘Δ）と比較して、表現力および実行性能においてどのように異なるか？
• RQ3 関手的データモデルは、既存のSQLベースのシステムやツールとどの程度相互運用可能か？
• RQ4 FQLは、標準SQLでは不可能または表現不可能なデータ統合タスクを表現できるか？
• RQ5 実世界のデータ統合に向けた関手的クエリ言語の実装における実用的課題と設計上のトレードオフは何か？

主な発見

• FQLは、Portal Aの機器データにis-a階層と同義語マッピングを用いて、材料オントロジーの知識を統合する意味的拡張のシナリオを成功裏に実装した。
• FQL IDEはSQLデータをインポートし、is-a階層の推移的閉包を計算し、同義語関係と結合して、新たな妥当な帰納を含む拡張データを生成した。
• 元のNISTシナリオのQuery 1は、拡張後、特にプレハードドステンレス鋼の行が追加され、元のデータには存在しなかったが、材料オントロジーを介して推論された。
• FQLのselect/from/where構文は、手動によるΣ∘Π∘Δの組み合わせよりも直感的かつ効率的であり、リレーショナル最適化技術を直接適用可能であった。
• FQL IDEに内蔵された例（2000行、うち1800行がスキーマおよびデータ）は、関手的データ移行が実世界のサプライチェーンデータに対して実現可能で実用的であることを示している。
• 本研究では、FQLの高水準構文が保守性に優れるだけでなく、圏論に根ざした意味的基盤を持つため、正しく構築されたデータ移行が可能であることが明らかになった。