Data Base Mappings and Theory of Sketches
Zoran Majkic
TL;DR
This paper introduces a categorical framework for database mappings, defining new operations and semantics that improve the theoretical understanding of schema transformations and data federation.
Contribution
It develops a functorial semantics for database schemas using a new base category, expanding the theoretical foundation of database mapping systems.
Findings
Defined separation and Data Federation operations for schemas
Introduced a new base category DB for functorial semantics
Established a categorical framework for schema mappings
Abstract
In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functorial semantics for database mappings needed a new base category instead of usual Set category. Successively, it is presented a definition of the graph G for a schema database mapping system, and the definition of its sketch category Sch(G). Based on this framework we presented functorial semantics for database mapping systems with the new base category DB.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Database Systems and Queries · Semantic Web and Ontologies · Data Management and Algorithms