The journal consists of an ordered list of journal files Fn where 0 <= n <= N
A journal file can contain either positives (pos) or negatives (neg)
(Positives correspond either to adds or updates, and negatives correspond to deletes).
A file Fn can be deleted if, and only if the following criteria are satisified
1) All pos in a file Fn, must have corresponding neg in any file Fm where m >= n.
2) All pos that correspond to any neg in file Fn, must all live in any file Fm where 0 <= m <= n which are also marked for deletion in the same pass of the algorithm.
@author Tim Fox @author Clebert Suconic | |
| |
| |
| |