Fast Left-Kan Extensions Using The Chase

Abstract In this paper we show how to compute left-Kan extensions of set-valued functors with the venerable chase algorithm from relational data base theory. The chase constructs an initial model of a particular finite-limit theory associated with each left-Kan...

Informal Data Transformation Considered Harmful

Abstract We take a popular position that AI systems are limited more by the integrity of the data they are learning from than by the sophistication of their algorithms. We also take an uncommon position that this limitation is not overcome by the data lake approach of...

Financial Reporting Data Warehousing with CQL

Abstract Using a simplified financial reporting example, we examine how traditional data warehouses are put together. We then propose an improved method for creating data warehouses: using the categorical query language CQL. Finally we demonstrate how CQL enables the...

Compositional Models for Power Systems

Abstract We consider the issue of multiple overlapping data models in the context of modern power grids. We present a methodology for specifying, managing and reasoning within multiple models of distributed energy resources (DERs, e.g., microgrids and generators)...

Algebraic Property Graphs

Abstract In this paper we consider how to integrate a simple and developer-friendly data model such as the property graph with more complex and less user-friendly data models such as relational database tables. We observe that algebraic data types are a common...

Categorical Data Integration for Computational Science

Abstract CQL is an open-source query and data integration scripting language that can be applied to common challenges in the field of computational science. It can preserve structure as it moves data from one database to another, and thus allows users who share their...