门店=种V方 DVx.2A 2 1E网门=程U为+三疗4a,,门 Figure 13.A selection of consitency axkomns over an execution [E,repl.obj,oper.rval;ro,vi, Auxiliary relations ameobj6f》←→cbe)=dbj门 LU有w1r4 Per-object (aka heopens-befure)order hbo [frof sameobi]Uvis]t Causality (aka happen-befure)oeder hb=[roUvis]+ =可国加=《者 a时imi EVENTUAL e∈E.(3 infiniely my∈E.ameobj(e,.fnA-e凸f》 THNA孩：ro Uvis is acyclic POCV (Per-Object Causal Visibility]:hbo C vis POCA (Per-Object Causal Arbimation):hhe C ar COCV (Crons-Ohject Causal Viibility::(hb n sameobj)C vis COCA (Cros-Object Causal Arbitralion:hb U ar is acyehe 0a0 Hengfeng Wei (hfwei&inju.edu.cn) 1-9 Set Theory (II):Relations 2019年12月03日 3/51. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Hengfeng Wei (hfwei@nju.edu.cn) 1-9 Set Theory (II): Relations 2019 年 12 月 03 日 3 / 51