Dedalus: datalog in time and space

Datalog, pp. 262-281, 2010.

Cited by: 119|Bibtex|Views15|DOI:https://doi.org/10.1007/978-3-642-24206-9_16
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments