Algebraic data integration

DOI10.1017/S0956796817000168zbMath1475.68069arXiv1503.03571OpenAlexW2964296895MaRDI QIDQ4577809

Ryan Wisnesky, Patrick Schultz

Publication date: 3 August 2018

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1503.03571

Mathematics Subject Classification ID

Database theory (68P15) Functional programming and lambda calculus (68N18) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Institutions for SQL database schemas and datasets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Certified equational reasoning via ordered completion ⋮ Extending Maximal Completion (Invited Talk) ⋮ Persistent obstruction theory for a model category of measures with applications to data merging ⋮ Fast left Kan extensions using the chase

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Data exchange: semantics and query answering
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Functorial data migration
• Algebraic specification of modules and their basic interconnections
• Computing left Kan extensions.
• A database of categories.
• What Is a Derived Signature Morphism?
• Algebraic Databases
• The Knuth-Bendix Completion Procedure and Thue Systems
• Fast Decision Procedures Based on Congruence Closure
• Term Rewriting and All That
• Composing Hidden Information Modules over Inclusive Institutions
• Recent Trends in Algebraic Development Techniques
• Database queries and constraints via lifting problems