a strawman analysis of the probability of wait and deadlock . technical report rj2131 , ibm san jose j gray , p homan , hf korth , r obermarck proceedings of acm-sigmod 1996 intcrnational conference on & hellip ; ,