A unified representation and transformation of multi-model data using category theory

Abstract

The support for multi-model data has become a standard for most of the existing DBMSs. However, the step from a conceptual (e.g., ER or UML) schema to a logical multi-model schema of a particular DBMS is not straightforward. In this paper, we extend our previous proposal of multi-model data representation using category theory for transformations between models. We introduce a mapping between multi-model data and the categorical representation and algorithms for mutual transformations between them. We also show how the algorithms can be implemented using the idea of wrappers with the interface published but specific internal details concealed. Finally, we discuss the applicability of the approach to various data management tasks, such as conceptual querying.

Preventing Technical Errors in Data Lake Analyses with Type Theory

“…For example, languages based on the nested relational model cannot express transitive closure and, therefore, several graph operators [1]. Finally, foundations of multi-model languages [10,11,14] use category theory to formally represent and control the effects of operators on data. However, this approach mainly focuses on representing different data models with a single formalism.…”