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...

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...