Module sql 

SQL protocol definition and DDL parser/emitter. SQL protocol definition.

SQL uses a constrained hypergraph schema theory (colimit(ThHypergraph, ThConstraint)) and a set-valued functor instance theory (ThFunctor).

Tables are modeled as hyper-edges connecting column vertices. Foreign keys are hyper-edges connecting source columns to target columns.

Functions

emit_ddl

Emit a Schema as SQL DDL CREATE TABLE statements.

parse_ddl

Parse a SQL DDL string into a Schema.

protocol

Returns the SQL protocol definition.

register_theories

Register the component GATs for SQL with a theory registry.