SchemaForm is a computationally-complete, high-level database programming language, intended to greatly reduce the work needed to produce a performant back-end from a complex, normalized design. With SchemaForm, you worry about what your system should do, and you the let the compiler worry about all of the bookkeeping needed to knit that design into something reliable and fast.