[논문 리뷰] DB Category: Denotational Semantics for View-based Database Mappings

Zoran Majkić|arXiv (Cornell University)|2011. 02. 24.

Advanced Database Systems and Queries참고 문헌 25인용 수 4

한 줄 요약

이 논문은 객체가 데이터베이스 인스턴스이고 사상이 함수가 아닌 뷰 기반 매핑인 특수한 데이터베이스 범주 $DB$를 사용하여 데이터베이스 매핑을 위한 새로운 범주론적 의미론을 제안한다. 파wr뷰 자기함수 $T$와 모나드 구조를 정의함으로써 복잡한 매핑의 조합적이고 그래픽적인 표현이 가능해지고, 데이터 통합을 위한 고정점 해법이 가능해지며, $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$을 일반화하여 복잡한 쿼리 계산을 처리한다.
• 상태 없고 부작용이 없는 뷰 계산을 모델링하기 위해 파wr뷰 자기함수 $T$와 보편 대수 모나드를 도입한다.
• 2세포가 매핑 간의 고차원 매핑을 나타내는 대칭성과 이중성을 보장하는 2범주 구조를 $DB$에 정의한다.
• 뷰 기반 계산에 기반한 강한 및 약한 관찰 동치성을 정의하여 데이터베이스와 매핑을 비교한다.
• 표준 데이터 통합 모델에 대한 최소 해를 계산하기 위해 고정점 연산자 $\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 등)을 뷰 기반 매핑의 계산적 범주로의 함자적 번역을 가능하게 한다.