A principled way to transform data
The Categorical Query Language (CQL):
Conexus offers support for open-source CQL, support for data integration projects using CQL, and sells a proprietary extension of CQL that scales the open-source version along three dimensions:
Visualization and programmer productivity
Data size beyond a single in-memory node
Artificial intelligence capabilities beyond simple equational reasoning
Please contact us for more information.
Reduce risk of failure through artificial intelligence.
CQL contains an embedded automated theorem prover that guarantees the correctness of CQL programs. For example, a CQL program cannot materialize an instance that violates a data integrity constraint. Such errors are detected at compile time, when they are easiest to fix.
Preserve data quality.
High-quality data is expensive to obtain, so it is important to preserve that quality throughout the data life-cycle. CQL programs evolve and migrate data in a mathematically universal way, with zero degradation. As such, data integrated by CQL has many advantages, including perfect provenance: every row in the output of an CQL program contains a lineage that describes exactly how that row was obtained from input data.
Increased developer productivity through higher-level abstractions.
CQL generalizes concepts from SQL using powerful principles from category theory. For example, CQL generalizes SQL's select-from-where queries from returning single tables to returning many tables related by foreign keys. Such higher-level abstractions enable developers to be more productive.
Flexible I/O: data can be imported into and exported out of CQL by JDBC-SQL, CSV, and more.
Rich data integrity constraints: CQL schemas contain entities, attributes, and foreign keys - as well as equations between them. One use of equations is for denormalization without the need to manually enforce the consistency of redundant data.
More principled than SQL: relational concepts such as foreign keys re-appear, in a more principled form, in CQL. And CQL provides primitives that SQL lacks.
Smooth upgrade path from the open-source version of CQL.