[論文レビュー] Grounded Fixpoints and Active Integrity Constraints

Luı́s Cruz-Filipe|University of Southern Denmark Research Portal (University of Southern Denmark)|Jul 19, 2016

Logic, Reasoning, and Knowledge被引用数 6

ひとこと要約

この論文は、不整合データベースにおけるアクティブ整合制約（AICs）のための新しい意味論として、修飾付き不動点を導入する。修復をラティス作用素の不動点としてモデル化する。非決定的作用素への修飾付き不動点理論の一般化により、従来のアプローチにおける循環的帰納の問題を回避しながら、モジュラリティーや並列化といった望ましい性質を保つ修復意味論を提供する。

ABSTRACT

The formalism of active integrity constraints was introduced as a way to specify particular classes of integrity constraints over relational databases together with preferences on how to repair existing inconsistencies. The rule-based syntax of such integrity constraints also provides algorithms for finding such repairs that achieve the best asymptotic complexity. However, the different semantics that have been proposed for these integrity constraints all exhibit some counter-intuitive examples. In this work, we look at active integrity constraints using ideas from algebraic fixpoint theory. We show how database repairs can be modeled as fixpoints of particular operators on databases, and study how the notion of grounded fixpoint induces a corresponding notion of grounded database repair that captures several natural intuitions, and in particular avoids the problems of previous alternative semantics. In order to study grounded repairs in their full generality, we need to generalize the notion of grounded fixpoint to non-deterministic operators. We propose such a definition and illustrate its plausibility in the database context.

研究の動機と目的

• 既存のAIC修復意味論（例えば、基礎的修復やwell-founded修復）における直感的でない振る舞いを解消する。
• AICがデータベースに与える影響に基づき、ラティス作用素を介して生成されるエンタイルメント作用素を介して、データベース修復を不動点として形式化する。
• 非決定的作用素への修飾付き不動点理論の一般化により、AIC意味論における完全な一般性を実現する。
• 直感的な修復行動を捉えつつ、正当化修復に見られる循環的根拠の問題を回避する修復意味論を提供する。
• 修復が並列化や階層化といった重要な性質を保つことを確立し、効率的な計算を可能にする。

提案手法

• データベース修復のラティスと、AICから導かれるエンタイルメント作用素を定義する。
• このラティス上での単調作用素の不動点として修復をモデル化し、最小の変更が最小不動点に対応するようにする。
• 決定的作用素に対する修飾付き不動点の概念を導入し、標準的な代数的不動点概念を一般化する。
• 適用可能な作用の下での閉包性に基づく一般化条件を定義することで、非決定的作用素への修飾付き不動点意味論を拡張する。
• 修復が基礎的修復とwell-founded修復を包含することを証明し、問題となる循環的根拠を除外することを示す。
• AICの正規化において修復が保存されることを示し、並列化と階層化の性質を継承することを示す。

実験結果

リサーチクエスチョン

• RQ1 修飾付き不動点理論は、アクティブ整合制約下でのデータベース修復をどのようにモデル化できるか？
• RQ2 基礎的修復、well-founded修復、正当化修復といった既存の意味論と比較して、修飾付き修復意味論が満たす性質は何か？
• RQ3 AICの文脈において、修飾付き不動点の概念を非決定的作用素に意味的に拡張できるか？
• RQ4 修復の意味論は、正当化修復に内在する循環的根拠の問題を回避できるか？
• RQ5 AICの正規化において修復は保存されるか？また、モularityと並列化の性質を継承するか？

主な発見

• AICによって誘導される作用素の修飾付き不動点は、基礎的修復とwell-founded修復を包含し、より強固な修復意味論を提供する。
• 修飾付き修復意味論は循環的根拠を回避し、正当化修復に見られる主要な直感的でない振る舞いを解消する。
• 非決定的作用素に対する修飾付き不動点の新しい定義が提案され、決定的ケースの一般化として、データベース文脈において整合的で直感的なものである。
• 正当化修復が厳密に修飾付き修復でない例を示すことで、正規化下でも正当化修復が常に修飾付き意味論と一致するわけではないことが示された。
• 修飾付き修復は、基礎的修復と正当化修復が持つ並列化と階層化の性質を保ち、効率的でモジュラーな計算を可能にする。
• 正規化は修飾付き修復を保存するため、AICの異なる文法的表現間で一貫性が保たれる。