Page preview panel
ON OFF

This is the graph of pages.

All pages ("nodes") in Knowen belong to a directed acyclic graph: more general nodes are to the left (upstream), and more specific to the right (downstream).

Hover over a node to see the node preview; click to select a specific node; mouse scroll to zoom; click and drag to move.

Dashboard

Now you are in the subtree of Distributed Computing project. 

Correctness Criteria for Replicated Database Systems with Snapshot Isolation Replicas

PODC'08-BA

In this work, we present the correctness criteria that ensures a replicated database behaves like a single copy where transactions see a weaker form of SI, called Generalized-SI, with deferred update protocols in a crash failure scenario.