Motivated by recent developments of Datalog-based languages for highly distributed systems [9], in this paper we introduce a version of Datalog: specifically tailored for distributed programming [2] in synchronous settings, along with its operational and declarative semantics.
Datalog in time and space, synchronously / Interlandi, M., Tanca, L., Bergamaschi, S.. - 1087:(2013). (7th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2013 mex 2013).
Datalog in time and space, synchronously
Interlandi M.;Bergamaschi S.
2013
Abstract
Motivated by recent developments of Datalog-based languages for highly distributed systems [9], in this paper we introduce a version of Datalog: specifically tailored for distributed programming [2] in synchronous settings, along with its operational and declarative semantics.
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
