[論文レビュー] On the Limitations of Provenance for Queries With Difference

Yael Amsterdamer, Daniel Deutch+1 more|arXiv (Cornell University)|May 11, 2011

Scientific Computing and Data Management参考文献 25被引用数 29

ひとこと要約

この論文は、差集合を含む関係代数における証明可能性半群を拡張する際の根本的な限界を示している。すなわち、すべての有用な半群において期待される代数的同等性公理（例：A13）を満たす、普遍的な半群ベースのフレームワークは存在しない。著者らは、セキュリティ半群、ファジィ半群、分配的ラティス上のm-半群といった重要な半群において、重要な公理が成立しないことを証明しており、一様なソリューションは不可能であることを示している。代わりに、アプリケーション固有の半群拡張を提唱しており、その例として、元のセキュリティ半群を埋め込み、集合ベースの付録を用いることで望ましい公理を保持する修正されたセキュリティ半群を提示している。

ABSTRACT

The annotation of the results of database transformations was shown to be very effective for various applications. Until recently, most works in this context focused on positive query languages. The provenance semirings is a particular approach that was proven effective for these languages, and it was shown that when propagating provenance with semirings, the expected equivalence axioms of the corresponding query languages are satisfied. There have been several attempts to extend the framework to account for relational algebra queries with difference. We show here that these suggestions fail to satisfy some expected equivalence axioms (that in particular hold for queries on "standard" set and bag databases). Interestingly, we show that this is not a pitfall of these particular attempts, but rather every such attempt is bound to fail in satisfying these axioms, for some semirings. Finally, we show particular semirings for which an extension for supporting difference is (im)possible.

研究の動機と目的

• 差集合を含む証明可能性対象の関係代数において、保持すべき最小限の代数的同等性公理のセットを特定すること。
• すべての半群においてこれらの公理を満たす、普遍的な半群ベースのフレームワークが存在するかどうかを調査すること。
• 既存の証明可能性対象差集合の意味論（例：モノス、Z関係、集約ベース）が、期待される公理を満たすかどうかを検証すること。
• アクセス制御のような特定のアプリケーション文脈で、重要な公理を保持する代替の半群構成を検討すること。

提案手法

• 差集合を含む関係代数における期待される同等性を捉える13個の代数的公理（A1–A13）の形式的定式化。
• クエリ演算子（和集合、結合、差集合）を半群演算（＋、・、−）でモデル化する半群ベースの証明可能性フレームワークの定義。
• 分配的ラティス、セキュリティ半群、ファジィ半群、m-半群などのさまざまな半群におけるこれらの公理の妥当性の分析。
• 特定の半群（たとえばm-半群）において、A13のような重要な公理が成立しないことを示す反例の構築。
• 元のセキュリティ半群を埋め込み、集合ベースの付録を用いることで、すべての公理を満たす修正半群S′の提案。
• 等式論理とラティス理論を用いて、A13の失敗が特定の半群構造に内在していることを証明。

実験結果

リサーチクエスチョン

• RQ1 差集合を含む関係代数において、選択された半群にかかわらず、すべての期待される代数的同等性を満たす普遍的な半群ベースの証明可能性フレームワークを構築できるか？
• RQ2 既存の証明可能性対象差集合の意味論（例：モノス、Z関係、集約ベース）が、基本的な同等性公理を満たさないのはなぜか？
• RQ3 セキュリティ半群のような重要な半群においてA13が失敗するのは、特定の設計の欠陥によるものか、それとも半群フレームワークそのものに内在する限界か？
• RQ4 アクセス制御のような実用的応用をサポートしつつ、A13のような重要な公理を保持する代替の半群構成を定義できるか？
• RQ5 完全な関係代数のための普遍的証明可能性ドメインの代数的構造は何か？ そして、自由代数を超えて意味的に特徴づけられるか？

主な発見

• A13公理（差集合を含む分配法則を表す）は、セキュリティm-半群、ファジィm-半群、非ゼロの残渣をもつ分配的ラティス上のm-半群で成立しない。
• A13の失敗は、特定の意味論の欠陥によるものではなく、特定の半群構造に内在するものであり、その結果、公理を普遍的に満たすことは不可能である。
• 普遍的ドメインとして提案された自由m-半群もA13を満たさず、その普遍性が揺らぐ。
• 標準的証明可能性半群N[X]はA13を満たすが、差集合に関して普遍的ではないため、A1–A13をすべて満たす新たな普遍的ドメインの必要性が示唆される。
• 集合ベースのセキュリティ資格証明を用いる修正半群S′は、すべての公理A1–A13を満たし、アクセス制御アプリケーションにおける実用的代替案を提供する。
• 結果として、差集合を含む証明可能性のための単一の普遍的意味論は実現不可能であり、代わりにアプリケーション固有の半群拡張が不可欠であることが示唆される。