Un dialecto SQL de verdad
JOINs, subconsultas, CTEs, vistas, triggers, claves foráneas — y un ALTER TABLE lógico que nunca reescribe filas.
ἀρχεῖον — la casa donde viven los registros de referencia
La base de datos donde el pasado sigue vivo
Un motor embebido, versionado y auditable en Rust puro — como si SQLite y Git hubieran tenido un hijo, nacido en Europa. Y aprendió a buscar.
v0.13.0 en crates.io · MIT o Apache-2.0 · bases de datos en un solo fichero
-- the past is addressable
SELECT id, status, total
FROM invoices
AS OF VERSION 128;
-- and provable
db.verify()?; ✓ chain intactRecorre el tiempo
Cuatro commits sobre una tabla de facturas. Arrastra la versión — cada estado está a una consulta de distancia.
verify() ✓
SELECT * FROM invoices AS OF VERSION 4;| id | status | total |
|---|---|---|
| 1001 | emitida | €120.00 |
v4 DELETE factura 1002
La factura 1002 ya no está aquí — y se lee perfectamente una versión atrás.
Un motor serio en un solo fichero
La búsqueda vive en el fichero
Texto completo BM25 y ANN vectorial en el mismo fichero cifrado y versionado. MATCH … AS OF busca en el pasado.
Un pasado que puedes demostrar
Commits encadenados por hash, verify() con anclas, ramas con merge a tres bandas. La historia es una funcionalidad, no un log.
Soberana por construcción
Diseñada, escrita y gobernada en Europa. Cuatro dependencias de runtime, ni una línea de código unsafe, sin linaje de SQLite — y todo el motor es open source.
Arkeion cloud está en camino
Una base de datos gestionada y verificable — tú recibes una cadena de conexión, nosotros nunca vemos tus datos. Ya funciona en producción detrás de quota.at.