"A newly delivered operation (t, o) is added to the PO-Log if it is not redundant by the PO-Log operations [...].
"A newly delivered operation (t, o) is added to the PO-Log if it is not redundant by the PO-Log operations [...]. An existing operation x in the PO-Log is removed if it is made redundant by (t, o)"
the operation to add
the data type specific relations for causal redundancy
a pair conformed by
the set of operations with its timestamp and optional metadata (i.e.
the set of operations with its timestamp and optional metadata (i.e. systemTimestamp, creator)
Discards all the operations from the POLog that are less or equal than the received TCStable and returns a pair with the updated POLog and the discarded (stable) operations.
Discards all the operations from the POLog that are less or equal than the received TCStable and returns a pair with the updated POLog and the discarded (stable) operations.
the stable TCStable delivered by the TCSB middleware
a pair conformed by the POLog with only the operations that are not stable at the received TCStable, and the set of operations that are stable at the received TCStable
A Partial Ordered Log which retains all invoked operations together with their timestamps.
the set of operations with its timestamp and optional metadata (i.e. systemTimestamp, creator)