x64base

Documentation / Query and relations

Query and relations

Two walkers over one declared graph, and a SELECT that answers to an external referee.

One graph, two consumers

Runtime-proven A declared relation graph can be walked two entirely different ways. Positional traversal moves the child cursor as the parent moves — the classic behavior. The house SELECT returns qualifying rows as a set. On 2026-08-10 both walkers answered the same question over a 34-table schema with 58 foreign-key relations and agreed down to the record.

The oracle

Runtime-proven Every shipped operator of the house SELECT — selection, projection, ORDER BY, LIMIT, COUNT(*) — is verified against an in-process SQLite implementation. SQLite is compiled in both as a companion carrier and as the referee. Competing with it and testing against it are the same decision, made on purpose.

Chartered Joins are a later operator. The set algebra is being built one operator at a time, and each one arrives with its oracle check or it does not arrive.

A whole database posture in one file

Runtime-proven One command captures open work areas, attached indexes, selected tag orders, aliases, and declared relations into a plain-text snapshot. One command restores all of it. The standing demonstration brings back 43 work areas and 58 relations — an entire posed schema — from a single committed file.