On the notions of consistency and predicate locks in a relational database system" cacm