[论文解读] Matching, Merging and Structural Properties of Data Base Category

Zoran Majkić|arXiv (Cornell University)|Feb 11, 2011

Data Management and Algorithms参考文献 14被引用 3

一句话总结

本文提出了一种关系数据库的范畴论框架，定义了范畴 $DB$，其中对象为数据库实例，态射为基于视图的查询映射。研究证明 $DB$ 是一个对称的、自对偶的、完备的、余完备的、具体的、局部小的、有限表示的、自 enrich 的对称张量范畴，且为代数格，最终构造出子对象分类器与数据库度量空间，表明 $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$ 是一个具体的、局部小的、有限表示的范畴，且自 enrich 于自身。
• 考察 $DB$ 作为拓扑范畴的局限性，包括缺乏幂对象以及拉回不保持满射。

提出的方法

• 本文定义了 $DB$ 范畴，其中对象为数据库实例（n 元关系的集合），态射为通过基于视图的语义从源数据库到目标数据库的 SPJRU 查询计算。
• 引入一个自函子 $T$ 的单子，将每个数据库映射为其所有视图的集合，从而在对象与态射上形成闭包算子。
• 证明 $DB$ 是对称且自对偶的，对象之间的同构对应于基于视图观察的可行为等价性。
• 为匹配操作定义张量积，使 $DB$ 成为一个自 enrich 的对称张量范畴。
• 通过商项代数 $\mathcal{L}_A/_{\approx}$ 构造子对象分类器，从而定义数据库度量空间。
• 本文证明 $DB$ 是具体的、局部小的、有限表示的，并通过范畴函子与普遍代数研究其拓扑范畴性质。

实验结果

研究问题

• RQ1 关系数据库的表达力是否能被完全捕捉于一个范畴论框架中，其中态射为基于视图的查询映射而非函数？
• RQ2 $DB$ 范畴是否支持关键范畴构造，如张量积、余积与子对象分类器？若支持，其定义方式为何？
• RQ3 $DB$ 范畴是否为拓扑范畴？若否，其不满足哪些拓扑公理？
• RQ4 单子 $T$ 如何在对象与态射上诱导闭包？其在定义行为等价性中起何作用？
• RQ5 $DB$ 作为范畴模型的结构性局限为何，特别是关于幂对象与拉回对满射的保持性？

主要发现

• $DB$ 范畴是对称且自对偶的，存在对象与态射之间的双射，且完备与余完备。
• $DB$ 范畴是具体的、局部小的、有限表示的，确立了其范畴基础的稳健性。
• $DB$ 范畴作为自 enrich 的对称张量范畴，其张量积对匹配操作有明确定义。
• 通过商项代数 $\mathcal{L}_A/_{\approx}$ 构造子对象分类器，从而支持数据库度量空间的定义。
• $DB$ 范畴被证明为代数格，支持数据库操作的丰富代数结构。
• 尽管其具有强大的范畴性质，$DB$ 仍缺乏幂对象，非良点化，且拉回不保持满射，表明其仅为弱张量拓扑范畴。