Dedalus: datalog in time and space
Datalog, pp. 262-281, 2010.
Recent research has explored using Datalog-based languages to express a distributed system as a set of logical invariants. Two properties of distributed systems proved difficult to model in Datalog. First, the state of any such system evolves with its execution. Second, deductions in these systems may be arbitrarily delayed, dropped, or r...More
Full Text (Upload PDF)
PPT (Upload PPT)