Ole J. Anfindsen Conditional Conflict Serializability - an Application-Oriented Correctness Criterion. 47-54 1998 IADT db/conf/iadt/iadt98.html#Anfindsen98