Skip to main content

Module database

Module database 

Source
Expand description

The Database abstraction: compiles a Mangle program, loads EDB facts, executes the program, and serves queries from the resulting store.

Structs§

Batch
Batch operations with deferred recomputation.
Database
A compiled and executed Mangle database.
DatabaseConfig
Configuration for opening a Database.

Enums§

IdbMode
How IDB (derived facts) are handled across restarts.
RecomputeStrategy
How IDB is recomputed when EDB changes.
StoreBackend
Where the working store lives during and after execution.