AQL

AQL documentation

AQL is a query language for managing databases which leverages concepts taken from category theory.

This repo would like to provide both a practical and theoretical introduction to AQL, collecting in one place the relevant information about the language.

References

For more information, please see:

• http://categoricaldata.net/fql.html
• http://catinf.com/
• wiki
• mailing list
• Category theory for the sciences by D. Spivak
• Seven sketches in compositionality: An Invitation to Applied Category Theory by B. Fong and D. Spivak

Main concepts

AQL focuses on describing the structure of databases and their contents, and on ways to mapping these informations between databases.

The structure of a database is described with a schema, which is then populated with data through an instance.