[논문 리뷰] Data Base Mappings and Monads: (Co)Induction

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

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

한 줄 요약

이 논문은 $DB$ 범주에서 데이터베이스 인스턴스를 대상으로 하고 뷰 기반 매핑을 사상으로 하는 전이-뷰 모나드 $T$와 모나드 대수를 사용하여 관계형 데이터베이스 매핑의 범주론적 의미 이론을 제안한다. 이는 $T$의 클라이슬리 범주가 질의 등가성에 대해 GLAV 매핑을 모델링하며, $Σ_{R_A}$의 최종 코알제브라가 완전 이터레이티브 모나드를 형성함으로써 코이터레이티브 질의 재작성과 의미 이론이 최종 코알제브라 원리에 의해 가능해짐을 증명한다.

ABSTRACT

In this paper we presented the semantics of database mappings in the relational DB category based on the power-view monad T and monadic algebras. The objects in this category are the database-instances (a database-instance is a set of n-ary relations, i.e., a set of relational tables as in standard RDBs). The morphisms in DB category are used in order to express the semantics of view-based Global and Local as View (GLAV) mappings between relational databases, for example those used in Data Integration Systems. Such morphisms in this DB category are not functions but have the complex tree structures based on a set of complex query computations between two database-instances. Thus DB category, as a base category for the semantics of databases and mappings between them, is different from the Set category used dominantly for such issues, and needs the full investigation of its properties. In this paper we presented another contributions for an intensive exploration of properties and semantics of this category, based on the power-view monad T and the Kleisli category for databases. Here we stressed some Universal algebra considerations based on monads and relationships between this DB category and the standard Set category. Finally, we investigated the general algebraic and induction properties for databases in this category, and we defined the initial monadic algebras for database instances.

연구 동기 및 목표

• 모나드와 보편 대수학을 사용하여 관계형 데이터베이스 매핑을 위한 범주론적 프레임워크를 개발하는 것.
• 모르는 함수가 아닌 복합 질의 트리로 표현되는 사상들을 갖는 $DB$ 범주를 사용하여 글로벌-어즈-뷰(GLAV) 매핑의 의미 이론을 형식화하는 것.
• 전이-뷰 모나드 $T$의 클라이슬리 범주가 질의 등가성 $\approx$ 에 대해 데이터베이스 매핑의 모델이 되도록 확립하는 것.
• $DB$ 범주 내에서 데이터베이스 인스턴스의 (코)이터레이티브 및 대수적 성질을 조사하는 것, 초기 및 최종 대수를 포함하여.
• 데이터베이스 질의가 $T$-코알제브라임을 보여주고, 질의 재작성은 이러한 코알제브라 간의 사상으로 포괄됨을 보여주는 것.

제안 방법

• 데이터베이스 인스턴스를 대상으로 하고, 뷰 기반 매핑을 사상으로 하는 $DB$ 범주를 정의하며, 여기서 사상은 복합 트리 구조의 질의 계산으로 표현된다.
• 전이-뷰 모나드 $T$를 $DB$ 위의 내적 함자로 도입하며, $TA$ 는 SPJRU 질의를 통해 계산된 $A$의 모든 뷰의 집합이다.
• 뷰를 표현하기 위해 몰입-항법 대수 $\mathcal{L}_A/_{\approx}$ 를 사용하며, $TA$ 는 자연스러운 전단사 사상 $is_A$ 를 통해 이 대수와 동형임을 보인다.
• 모든 유한 및 무한 뷰를 표현하는 최대 고정점으로서, $T$의 최대 고정점인 $T_\infty A$ 로서 $Σ_{R_A}$-코알제브라의 최종 코알제브라를 구성한다.
• 코알제브라의 구조를 따라 맵핑의 유일한 코이터레이티브 연장 $f^\#$ 를 가능하게 하는 $T_\infty$-코알제브라에 대한 코이터레이션 원리를 수립한다.
• 모나드 $T$의 클라이슬리 범주가 $DB$ 범주와 동형임을 보이며, 이 범주 내의 사상들이 콜-바-벨류 및 콜-바-네임 의미 이론을 동일하게 모델링함을 보여준다.

실험 결과

연구 질문

• RQ1 어떻게 $DB$ 범주 내에서 모나드와 범주론을 사용하여 관계형 데이터베이스 간의 GLAV 매핑의 의미 이론을 형식화할 수 있는가?
• RQ2 전이-뷰 모나드 $T$는 데이터베이스 뷰와 질의 계산을 모델링하는 데 어떤 역할을 하는가?
• RQ3 초기 및 최종 $T$-대수와 코알제브라는 데이터베이스의 대수적 및 코이터레이티브 의미 이론에 어떻게 기여하는가?
• RQ4 모나드 $T$의 클라이슬리 범주가 질의 등가성 $\approx$ 에 대해 어떻게 데이터베이스 매핑을 모델링하는가?
• RQ5 코알제브라 사상으로서 $DB$ 범주 내에서 어떻게 코이터레이티브 질의 재작성을 포괄할 수 있는가?

주요 결과

• $DB$ 범주는 자신의 쌍대 범주와 동형이며, 모든 데이터베이스는 그 정체 사상으로 표현 가능하고, 모든 사상은 닫힌 대상임을 대칭적으로 가짐.
• 전이-뷰 모나드 $T$의 클라이슬리 범주는 $DB$ 범주와 동형이며, 질의 등가성에 대해 GLAV 매핑의 의미 모델로 유효함을 검증함.
• 각 데이터베이스 질의는 $T$-코알제브라이며, $T$-코알제브라 간의 사상은 질의 재작성의 의미 이론을 제공함.
• 최종 $Σ_{R_A}$-코알제브라 $T_\infty A$ 는 내적 함자 $Σ_{R_A} = \Sigma_R + A$ 의 최대 고정점이며, 데이터베이스의 모든 유한 및 무한 뷰를 표현함.
• $T_\infty$ 에서의 코이터레이션 원리는 유일한 코이터레이티브 연장 $f^\#$ 를 가능하게 하며, 이는 $T_\infty f$ 를 $Σ_R$-코알제브라 간의 준동형으로서 의미 이론화함.
• 최종 코알제브라 $T_\infty$ 는 완전 이터레이티브 모나드 $(T_\infty, \eta, \mu)$ 를 형성하며, 데이터베이스 매핑에 대한 코이터레이티브 추론의 기초를 제공함.