DBMS Precedence Graphs for Testing Serializability of a Schedule