Learn about the development towards our vision for universal data interoperability.
Articles
Mergers & Acquisitions (M&A) Are Set to Explode in a Post-COVID World
Mergers & Acquisitions (M&A) are set to explode in a post-COVID world, as...
Videos
Compositional Models for Power Systems
Nolan, Pollard, Breiner, Anand, Subrahmanian. Compositional Models for Power Systems.
Topos Institute – Kensho AI Labs: Categorical Databases
David Spivak: Categorical Databases. Kensho AI Labs, Academic Speaker Series
Algebraic Databases – LambdaConf 2017
This talk describes a new “algebraic” way to formalize databases based on category theory.
Technical Papers
QINL: Query-Integrated Languages
Abstract We propose embedding programs in a query language rather than embedding queries in a programming language. We...
Relational Foundations for Functorial Data Migration
Abstract We develop a query language based on graph-based schemas. We prove that the resulting algebraic approach is...
Definition of CQL as a Context-free Grammar with Equations
Abstract We develop a canonical syntax and axiomatic semantics for CQL.
Database Queries and Constraints via Lifting Problems
Abstract We interpret SPARQL graph patterns as category-theoretic lifting problems. Each query is a lift in a certain...
Functorial Data Migration
Abstract We present a simple database definition language of categories and functors. A database schema is a small...
Ologs: A Categorical Framework for Knowledge Representation
Abstract Ologs are category-theoretic models for knowledge representation. Unlike semantic networks, ologs can be...