asdi 0.2.5

Another Simplistic Datalog Implementation (in Rust)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

@startuml

!include options.plantuml

class asdi::Program
hide "asdi::Program" members

class asdi::edb::RelationSet
hide "asdi::edb::RelationSet" members

namespace asdi::idb::eval {
    interface Evaluator {
        inference(program: &Program) : Result<RelationSet>
    }

    class NaiveEvaluator
    class NoopEvaluator
    class StratifiedEvaluator

    NaiveEvaluator ..|> Evaluator
    NoopEvaluator ..|> Evaluator
    StratifiedEvaluator ..|> Evaluator

    Evaluator ..> asdi::Program
    Evaluator ..> asdi::edb::RelationSet
}

@enduml