Resources
Learn about the development towards our vision for universal data interoperability.
Articles
SQL-for-ETL Constraint Validator
SQL-for-ETL Constraint ValidatorCheck a set of SQL ETL queries for constraint violations before you run them.Having to...
Conexus FAQ
Conexus FAQ The Problem Your business—like all 21st century businesses—runs on data. But your data is...
Resolve urgent data ecosystem problems for healthcare organizations responding to the Covid Crisis
Resolve urgent data ecosystem problems for healthcare organizations responding to the COVID crisis Save lives with...
Data Warehousing with CQL
Data Warehousing with CQL Traditional data warehouse projects often lead to failures that are difficult to...
Optimizing Supply Chains with CQL
Optimizing Supply Chains with CQL With Conexus' revolutionary software, we can pinpoint data corruption at any point...
Doing Data Integration Forwards
Doing data integration forwards With CQL, we can identify risks early and ensure the success of your data warehousing...
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...
Resources - Company - News - Contact - Privacy Policy
@2023 Conexus AI, Inc. All Rights Reserved.