VQL-UT v1.0.0 — Paper Release

VQL-UT: Progressive Type Safety for Database Query Languages

Paper: arcvix-10-level-query-safety.tex (1,888 lines)

The foundational framework that typed-wasm, StatistEase, and TypedQLiser build upon. Defines progressive levels of query type safety from parse-time validity through linearity.

Zenodo

.zenodo.json included — toggle this repo ON at zenodo.org/account/settings/github/ to get a DOI.

Citation

@misc{jewell2026vqlut,
  author = {Jewell, Jonathan D.A.},
  title = {VQL-UT: Progressive Type Safety for Database Query Languages},
  year = {2026},
  publisher = {GitHub},
  howpublished = {\url{https://github.com/hyperpolymath/vql-ut}},
}