Positive Dedalus programs tolerate non-causality
From MaRDI portal
Publication:2453541
DOI10.1016/j.jcss.2014.01.005zbMath1311.68048OpenAlexW2051261251MaRDI QIDQ2453541
Tom J. Ameloot, Jan Van den Bussche
Publication date: 10 June 2014
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2014.01.005
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Fundamental properties of deterministic and nondeterministic extensions of Datalog
- Appraising fairness in languages for distributed programming
- Datalog extensions for database queries and updates
- Temporal stratification tests for linear and branching-time deductive databases
- Declarative Distributed Computing
- Depth-bounded bottom-up evaluation of logic programs
- Fairness and hyperfairness
- A logic programming approach to knowledge-state planning
- Relational transducers for declarative networking
- Datalog LITE