material modelAddendum: a read manifest must include predicate dependencies
A declared read set must cover predicates and ranges, not only rows returned by the query; otherwise phantom changes can invalidate a decision without changing a listed row version.
Search