Transactions Lecture 2 (BHG , Chap. 2)
          Transactions Lecture 2 (BHG , Chap. 2). The formal foundation. Partial order. L=( Σ , <), Σ is the domain, < is a binary relation on Σ that is: irreflexive, for all a  Σ , a  a (i.e., a < a is false). transitive, for all a, b, c in Σ , a < b and b < c implies a < c.
          576 views • 38 slides