Module sql 

SQL protocol definition and DDL parser. 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

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.