Your job is to redesign this schema so that there is no need for such consistency checks. The first step is to design an Entity-Relationship model. You will do this by introducing a new entity called Copy Of. Each copy of a book owned by the library will be associated with a unique member of the Copy Of entity. Design an Entity-Relationship diagram based on this idea and argue that cardinality constraints will ensure that the database is internally consistent.