- Disorderly programming
- The collected approach
- CALM consistency, CALM principle
- Concise, familiar code
- BLOOM => a language of distributed logic
- BOOM => Berkeley Orders Of Magnitude
- CALM => Consistency as Logical Monotonicity
- eventual consistency
- points-of-order protected with coordination protocols
- code support to achieve testability and feasibility of development&maintenance.
- Datalog => (sic) Prolog for Data
- Dedalus => Datalog in Time and Space
- Overlog => a variant of Datalog
- Policy vs Mechanism
- Datalog vs Java
In the vein of “owned, earned, paid”
- Tom Ameloot, Frank Neven, Jan Van den Bussche; Relational Transducers for Declarative Networking; In arXiv, proposed for Proceedings of the 30th ACM Symposium on Principles of Database Systems (PODS); 2011; 12 pages; landing.
- Peter Alvaro, Niel Conway, Joseph M. Hellerstein, William R. Marczak; Consistency Analysis in Bloom: a CALM and Collected Approach;In Proceedings of Conference on Innovative Data Systems Research (CIDR); 2011-01-09; 12 pages.
- Joseph M. Hellerstein; The Declarative Imperative: Experiences and Conjectures in Distributed Logic; Technical Report No. UCB/EECS-2010-90; University of California, Berkeley; 2010-06-10; 16 pages; landing.
- Peter Alvaro, Tom J. Ameloot, Joseph M. Hellerstein, William R. Marczak, Jan Van den Bussche; A Declarative Semantics for Dedalus; technical report; undated; 68 pages.
- Neil Conway; Cloud Programming: From Doom and Gloom to BOOM and Bloom; In Datalog 2.0 Workshop; WHEN; 36 slides.
- Peter Alvaro, William Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, Russell C. Sears; Dedalus: Datalog in Time and Space; Technical Report No. UCB/EECS-2009-173; University of California, Berkeley; 2009-12-16; 12 pages; landing.
- CALM principle was introduced as a conjecture in a keynote talk at PODS 2010 [slides] [video]