Determines whether a given transaction schedule is conflict serializable.