Jul 7, 2021 | General, Resources, Technical Papers
CQL Demo One way to answer business questions is to gather relevant data, integrate it according to business rules, and then populate a data warehouse in your favorite data store with the integrated information. If the warehouse is properly designed, and the...
Oct 27, 2020 | Technical Papers
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...
Jan 2, 2020 | Technical Papers
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...
Nov 24, 2019 | Case Studies, Technical Papers
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...
Nov 24, 2019 | Case Studies, Technical Papers
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)...
Sep 11, 2019 | Case Studies, Technical Papers
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...
