QINL: Query-Integrated Languages

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

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 closed under composition, and give an implementation for it using a key generation operation. We also show how this approach can be implemented in...

Entity-Attribute Sketches

Abstract Describes EASIK, a category-theoretic predecessor to CQL that now ships within, and interoperates with, CQL. View...