diff --git a/p6.md b/p6.md index 641c2714b89e2b7ffd6bc04060aed1755254e610..528371849d89fe8bce19cbfb76cbc572e26712e8 100644 --- a/p6.md +++ b/p6.md @@ -178,6 +178,8 @@ to be included in the annotation. The following shows the execution timeline of transactions 1, 2, and 3 from *scriptKV.1* and *scriptKV.2*:  +Each of the transactions *executes atomically* at the associated +dotted line. ## Details - Start/finish transaction commands should have *oids* matching their *tids*.