The notions of consistency and predicate locks in a database system | Synapse