Based on Datalog Language
Logic programming
Deductive databases
Features:
Dynamic State (new tuples)
Distributed
Messages, Events (new tuples on remote nodes)
Timeouts (new tuples added regularly)
State Durability
