Manpower is the key factor to the success of the CIMS Subject of China 863 Program. Many manpower strategies have been used in the CIMS Subject, which include e
This paper formally defines and analyses the new notion of correctness called quasi serializability, and then outlines corresponding concurrency control protoco