Nov 20, 2015 | Technical Papers
Abstract We propose embedding programs in a query language rather than embedding queries in a programming language. We dub this result QINL (Query-Integrated Languages). Read...
Oct 19, 2015 | Technical Papers
Abstract We develop a query language based on graph-based schemas. We prove that the resulting algebraic approach is closed under composition, and give an implementation for it using a key generation operation. We also show how this approach can be implemented in...
Mar 4, 2015 | Technical Papers
Abstract We develop a canonical syntax and axiomatic semantics for CQL. Download the...
Oct 11, 2013 | Technical Papers
Abstract We interpret SPARQL graph patterns as category-theoretic lifting problems. Each query is a lift in a certain category, and the set of solutions to the query corresponds to the set of lifts. We describe how giving users access to certain parts of this...
Aug 18, 2012 | Technical Papers
Abstract We present a simple database definition language of categories and functors. A database schema is a small category, and an instance is a set-valued functor on it. We show how morphisms of schemas induce three data migration functors which parameterize...
Jan 31, 2012 | Technical Papers
Abstract Ologs are category-theoretic models for knowledge representation. Unlike semantic networks, ologs can be formally stated and compared with each other. An olog is similar to a relational database schema, in that it serves as a data repository if desired. We...
