Ouri Wolfson Mihalis Yannakakis Deadlock-Freedom (and Safety) of Transactions in a Distributed Database. 161-178 1986 33 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss33.html#WolfsonY86