command

check
check_query
exec_cmdline
exec_jdbc
exec_js
export_csv_instance
export_csv_transform
export_jdbc_instance
export_jdbc_query
export_jdbc_transform
match

constraints

constraints_literal

graph

graph_literal

instance

anonymize
cascade_delete
chase
cod_t
coequalize
coeval
colimit
coproduct
delta
distinct
dom_t
empty
eval
except
frozen
import_csv
import_jdbc
import_jdbc_all
instance_literal
pi
pivot
quotient_query
random
sigma
sigma_chase

mapping

getMapping
mapping_compose
mapping_identity
mapping_literal
pivot

query

fromCoSpan
fromConstraints
query_compose
query_identity
query_literal
simple
toCoQuery
toQuery

schema

cod_m
cod_q
dom_m
dom_q
empty
getSchema
import_jdbc_all
pivot
schemaOf
schema_literal

schema_colimit

coproduct
modify
schema_colimit_literal
wrap

theory_morphism


transform

coeval
counit
counit_query
delta
distinct
distinct_return
eval
except
except_return
frozen
import_csv
import_jdbc
pi
sigma
transform_compose
transform_identity
transform_literal
unit
unit_query

typeside

empty
sql
typesideOf
typeside_literal