Algebraic data integration
From MaRDI portal
Publication:4577809
Abstract: In this paper we develop an algebraic approach to data integration by combining techniques from functional programming, category theory, and database theory. In our formalism, database schemas and instances are algebraic (multi-sorted equational) theories of a certain form. Schemas denote categories, and instances denote their initial (term) algebras. The instances on a schema S form a category, S-Inst, and a morphism of schemas F : S -> T induces three adjoint data migration functors: Sigma_F : S-Inst -> T-Inst, defined by substitution along F, which has a right adjoint Delta_F : T-Inst -> S-Inst, which in turn has a right adjoint Pi_F : S-Inst -> T-Inst. We present a query language based on for/where/return syntax where each query denotes a sequence of data migration functors; a pushout-based design pattern for performing data integration using our formalism; and describe the implementation of our formalism in a tool we call AQL.
Recommendations
- Algebra of Data Reconciliation
- Data based algorithmic algebra
- An algebraic theory for data linkage
- Algebraic databases
- Algebraic approach to data processing. Techniques and applications
- Data refinement and algebraic structure
- Logic Programming and Nonmonotonic Reasoning
- Data algebra and its application in database design
Cites work
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- scientific article; zbMATH DE number 2013749 (Why is no real title available?)
- scientific article; zbMATH DE number 803303 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- scientific article; zbMATH DE number 2241919 (Why is no real title available?)
- A database of categories.
- A mathematical introduction to logic.
- Algebraic databases
- Algebraic specification of modules and their basic interconnections
- Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
- Composing hidden information modules over inclusive institutions
- Computing left Kan extensions.
- Data exchange: semantics and query answering
- Database queries and constraints via lifting problems
- Entity-relationship-attribute designs and sketches
- Fast Decision Procedures Based on Congruence Closure
- Functorial data migration
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Recent Trends in Algebraic Development Techniques
- Term Rewriting and All That
- The Knuth-Bendix Completion Procedure and Thue Systems
- What Is a derived signature morphism?
Cited in
(16)- An algebraic theory for data linkage
- Institutions for SQL database schemas and datasets
- scientific article; zbMATH DE number 7453976 (Why is no real title available?)
- Certified equational reasoning via ordered completion
- Completion for logically constrained rewriting
- Algebraic databases
- Extending Maximal Completion (Invited Talk)
- Persistent obstruction theory for a model category of measures with applications to data merging
- Adjunctions and data collections
- Functorial data migration
- scientific article; zbMATH DE number 5770342 (Why is no real title available?)
- Complete conceptual schema algebras
- Fast left Kan extensions using the chase
- Big data integration theory. Theory and methods of database mappings, programming languages, and semantics
- Research on relational-algebra-based schema mapping of data integration
- scientific article; zbMATH DE number 1479637 (Why is no real title available?)
This page was built for publication: Algebraic data integration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577809)
