Maintained Result Sets: Exact Top-N Under Continuous Change
A subscription over a filtered, sorted, limited query can return exact enter, leave, move and update deltas if the in-engine window is kept an exact prefix of the source-ordered result. Gives the cushion and keyset refill construction, its correctness argument, and the sharded case it does not yet cover.
FabriqGrove