Struct Database 

pub struct Database { /* private fields */ }

A compiled and executed Mangle database.

Thread-safe: queries take a read lock, mutations take a write lock.

Implementations

impl Database

pub fn open(config: DatabaseConfig) -> Result<Self>

Open a database: compile the program, load EDB, execute, serve queries.

pub fn query(&self, relation: &str) -> Result<Vec<Vec<Value>>>

Query all tuples in a relation.

pub fn insert(&self, relation: &str, tuple: Vec<Value>) -> Result<()>

Insert a fact into an EDB relation and recompute IDB.

pub fn retract(&self, relation: &str, tuple: &[Value]) -> Result<()>

Retract a fact from an EDB relation and recompute IDB.

pub fn batch(&self) -> Batch<'_>

Create a batch for deferred recomputation.

pub fn reload(&self) -> Result<()>

Force reload from sources and recompute everything.

pub fn relation_names(&self) -> Result<Vec<String>>

Returns the names of all relations in the store.