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.
571 views • 38 slides