Extended serializability theories and their application in replicated scalable services

Two extended serializability theories, i.e., theory of transaction normalization (TTN) and multiple logical version single copy (MLVSC) serializability theory are brought forward and proved firstly. Then, a novel scheme for scalable services to implement lazy consistency for database systems, file systems and all management operations is presented. TTN indicates that each transaction could be translated into an equivalent two phase transaction, whose read operation precedes all write operations. In a MLVSC database system, each write on a data item x only produces a new logical version of x, however, the real value is kept in one final copy. Because MLVSC preserves the partial order of transactions perfectly, it could be used to design some new replication schemes without using group communications primitives or 2PC, e.g., no-acknowledgment-strict-order publish propagate replication scheme discussed subsequently. We focus on the correctness proof of them.