Abstract
jää is a relational database in which every decision a statement needs — parsing, validation, planning, filtering, joining, aggregation, sorting, integrity checks and the shape of every write — is designed as a gate: a pure function from one immutable event to zero or more events, run by a stream that dispatches events to gates by type and holds no ordering of its own (the SISO model; Section 2). A gate never sees the database. A gate that needs stored state returns a read request naming what it needs and the event type of its continuation; a boundary layer reads it and enters the continuation with what was read. Writes leave as intents, never as effects.
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.
Recommended Citation
Bailey, Jonathan, "Technical Disclosure: A Relational Database Built from Pure Gates, Order-Free Residue Forms at Its Boundary, and Integrity Checked on the Net Change", Technical Disclosure Commons, ()
https://www.tdcommons.org/dpubs_series/12940