[논문 리뷰] Matching, Merging and Structural Properties of Data Base Category

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

Data Management and Algorithms참고 문헌 14인용 수 3

한 줄 요약

이 논문은 관계형 데이터베이스를 위한 범주론적 프레임워크를 제안하며, 객체가 데이터베이스 인스턴스이고 사상이 뷰 기반 쿼리 매핑인 범주 $DB$를 정의한다. 이는 $DB$가 대칭적이고, 자기 dual이며, 완비적이고, 코완비적이고, 구체적이고, 국소적으로 작은, 유한히 표현 가능한, 자기 자신에 대해 풍부화된, 대칭 모노이드 범주이자 대수적 래티스임을 입증하며, 하위객체 분류자와 데이터베이스 거리 공간의 구축을 통해 $DB$가 약한 모노이드 토포스임을 보여준다. 다만, 멱집합을 갖추지 못하며, 필드의 전성사상이 당김에서 보존되지 않아, 이는 $DB$가 강력한 토포스가 아님을 시사한다.

ABSTRACT

Main contribution of this paper is an investigation of expressive power of the database category DB. An object in this category is a database-instance (set of n-ary relations). Morphisms are not functions but have complex tree structures based on a set of complex query computations. They express the semantics of view-based mappings between databases. The higher (logical) level scheme mappings between databases, usually written in some high expressive logical language, may be functorially translated into this base "computation" DB category . The behavioral point of view for databases is assumed, with behavioural equivalence of databases corresponding to isomorphism of objects in DB category. The introduced observations, which are view-based computations without side-effects, are based (from Universal algebra) on monad endofunctor T, which is the closure operator for objects and for morphisms also. It was shown that DB is symmetric (with a bijection between arrows and objects) 2-category, equal to its dual, complete and cocomplete. In this paper we demonstrate that DB is concrete, locally small and finitely presentable. Moreover, it is enriched over itself monoidal symmetric category with a tensor products for matching, and has a parameterized merging database operation. We show that it is an algebraic lattice and we define a database metric space and a subobject classifier: thus, DB category is a monoidal elementary topos.

연구 동기 및 목표

• 사상이 함수가 아니라 뷰 기반 쿼리 매핑인 관계형 데이터베이스의 범주론적 모델을 형식화하는 것.
• 특히 그 완비성과 이중성에 초점을 맞춰 $DB$ 범주의 표현력과 구조적 성질을 조사하는 것.
• $DB$가 매칭을 위한 텐서 곱, 매개변수화된 융합, 하위객체 분류자를 포함한 필수 구조를 지원함을 보여주는 것.
• $DB$가 자기 자신에 대해 풍부화된 구체적이고 국소적으로 작은, 유한히 표현 가능한 범주임을 보여주는 것.
• $DB$가 토포스로서의 한계, 특히 멱집합의 부재와 필드의 전성사상이 당김에서 보존되지 않는 문제를 조사하는 것.

제안 방법

• 논문은 객체가 n-항 관계의 집합인 데이터베이스 인스턴스이고 사상이 뷰 기반 의미론을 통해 소스 데이터베이스에서 타겟 데이터베이스로 매핑하는 SPJRU 쿼리 계산인 $DB$ 범주를 정의한다.
• 각 데이터베이스를 그 모든 뷰의 집합으로 매핑하는 모나드 내항자 $T$를 도입하여, 객체와 사상 양쪽에 대해 닫힘 연산자를 형성한다.
• $DB$ 범주는 대칭적이고 자기 dual이며, 뷰 기반 관측에 대한 행동 동치성과 객체의 동형사상이 대응됨을 보여준다.
• 매칭 연산을 위한 텐서 곱을 정의함으로써 $DB$는 자기 자신에 대해 풍부화된 대칭 모노이드 범주가 된다.
• 하위객체 분류자는 몽환어휘 $\mathcal{L}_A/_{\approx}$를 이용한 목환어휘 대수를 통해 구성되며, 이는 데이터베이스 거리 공간의 정의를 가능하게 한다.
• 논문은 $DB$가 구체적이고 국소적으로 작은, 유한히 표현 가능한 범주임을 증명하며, 범주론적 함자와 보편 대수학을 통해 그 토포스 이론적 성질을 조사한다.

실험 결과

연구 질문

• RQ1 사상이 함수가 아니라 뷰 기반 쿼리 매핑인 범주론적 프레임워크 내에서 관계형 데이터베이스의 표현력이 완전히 포괄될 수 있는가?
• RQ2 $DB$ 범주는 텐서 곱, 코곱, 하위객체 분류자와 같은 필수 범주론적 구조를 지원하는가? 만약 그렇다면, 이들은 어떻게 정의되는가?
• RQ3 $DB$ 범주는 토포스인가? 만약 그렇지 않다면, 어떤 토포스 공리가 만족되지 않는가?
• RQ4 모나드 $T$는 객체와 사상 양쪽에 대해 어떻게 닫힘을 유도하며, 행동 동치성을 정의하는 데 어떤 역할을 하는가?
• RQ5 $DB$가 범주론적 모델로서의 구조적 한계는 무엇인가? 특히 멱집합과 필드의 전성사상이 당김에서 보존되지 않는 문제에 대해 설명하라.

주요 결과

• $DB$ 범주는 대칭적이고 자기 dual이며, 사상과 객체 사이에 전단사가 존재하며, 완비적이고 코완비적이다.
• $DB$ 범주는 구체적이고 국소적으로 작은, 유한히 표현 가능한 범주로서, 그 기본적인 범주론적 강건성을 확립한다.
• $DB$ 범주는 자기 자신에 대해 풍부화된 대칭 모노이드 범주로서, 매칭 연산을 위한 잘 정의된 텐서 곱을 지닌다.
• 하위객체 분류자는 몽환어휘 $\mathcal{L}_A/_{\approx}$를 통해 구성되며, 이는 데이터베이스 거리 공간의 정의를 가능하게 한다.
• $DB$ 범주는 대수적 래티스임이 입증되어 데이터베이스 연산을 위한 풍부한 대수적 구조를 지닌다.
• 강력한 범주론적 성질에도 불구하고, $DB$는 멱집합을 갖추지 못하며, 잘 점지되지 않은(가장 잘 점지되지 않은) 범주이며, 필드의 전성사상이 당김에서 보존되지 않아, 이는 $DB$가 약한 모노이드 토포스에 불과하다는 것을 시사한다.