[논문 리뷰] On the Limitations of Provenance for Queries With Difference

Yael Amsterdamer, Daniel Deutch외 1명|arXiv (Cornell University)|2011. 05. 11.

Scientific Computing and Data Management참고 문헌 25인용 수 29

한 줄 요약

이 논문은 차등을 포함한 관계대수를 다루기 위해 증명 가능성 반군을 확장하는 데 있어 근본적인 한계가 있음을 보여준다: 모든 유용한 반군에서 기대되는 대수적 동치 공리(axiom)들(예: 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.

연구 동기 및 목표

• 차등이 포함된 증명 가능성 있는 관계대수에서 유지되어야 할 최소한의 대수적 동치 공리 집합을 규명하는 것.
• 모든 반군에서 이러한 공리를 만족시키는 유일한 반군 기반 프레임워크가 존재하는지 조사하는 것.
• 기존의 증명 가능성 있는 차등에 대한 의미 체계(예: monus, Z-관계, 집계 기반)가 기대되는 공리를 만족하는지 확인하는 것.
• 접근 제어와 같은 특정 응용 환경에서 핵심 공리를 유지하는 대체 반군 구성법을 탐색하는 것.

제안 방법

• 관계대수의 차등을 포함한 기대되는 동치 관계를 포괄하는 13개의 대수적 공리(A1–A13)를 체계화하는 것.
• 쿼리 연산자(합집합, 조인, 차등)를 반군 연산(+, ·, −)을 통해 모델링하는 반군 기반의 증명 가능성 프레임워크를 정의하는 것.
• 분배 격자, 보안 반군, 퍼지 반군, m-반군 등 다양한 반군에서 이러한 공리의 타당성을 분석하는 것.
• 핵심 공리들(예: A13)이 중요한 반군들에서 실패함을 보여주는 반례를 구성하는 것. 특히 m-반군이지만 여전히 실패함을 입증하는 것.
• 기존 보안 반군을 통합하고 집합 기반의 애너테이션을 사용하여 모든 공리를 만족시키는 수정된 반군 S′을 제안하는 것.
• 등식 추론과 격자 이론을 사용하여 A13의 실패가 특정 반군 구조에서 본질적인 것임을 증명하는 것.

실험 결과

연구 질문

• RQ1 차등이 포함된 관계대수에서 모든 기대되는 대수적 동치를 만족시키는 유일한 반군 기반 증명 가능성 프레임워크를 구성할 수 있는가? 이는 선택된 반군에 관계없이 성립해야 한다.
• RQ2 기존의 증명 가능성 있는 차등 의미 체계(예: monus, Z-관계, 집계 기반)가 기본적인 동치 공리를 만족하지 못하는 이유는 무엇인가?
• RQ3 보안 반군과 같은 중요한 반군에서 공리 A13가 실패하는 것은 특정 설계의 결함 때문인가, 아니면 반군 프레임워크 자체의 본질적 한계인가?
• RQ4 접근 제어와 같은 실용적 응용을 지원하면서도 핵심 공리들(예: A13)을 유지하는 대체 반군 구성법을 정의할 수 있는가?
• RQ5 완전한 관계대수를 위한 유일한 증명 가능성 도메인의 대수적 구조는 무엇이며, 자유 대수 외적으로 의미 있는 방식으로 기술할 수 있는가?

주요 결과

• A13 공리(차등을 포함한 분배 법칙을 표현함)는 보안 m-반군, 퍼지 m-반군, 잔여가 0이 아닌 분배 격자 위의 m-반군에서 실패한다.
• A13의 실패는 특정 의미 체계의 결함 때문이 아니라 특정 반군의 대수적 구조에서 유래된 본질적인 문제이므로, 이를 보편적으로 만족시키는 것은 불가능하다.
• 유일한 도메인으로 제안된 자유 m-반군도 A13를 만족하지 못하여 그 보편성에 의문이 제기된다.
• 표준 증명 가능성 반군 N[X]는 A13를 만족하지만, 차등에 대해 보편적이지 않으며, 따라서 A1–A13를 모두 만족하는 새로운 보편 도메인이 필요하다는 것을 시사한다.
• 보안 자격 증명의 집합 기반 애너테이션을 사용하는 수정된 반군 S′은 모든 공리 A1–A13를 만족하며 접근 제어 응용 분야에서 실용적인 대안이 된다.
• 결과적으로, 하나의 보편적 의미 체계로 증명 가능성과 차등을 다룰 수는 없으며, 대신 응용 분야에 맞는 반군 확장을 필요로 한다.