A model of the calvin distributed database