Let\'s have simple database for library. Among other relations, table named BookCopy(bookcopyID, bookID, status) status is enum {free, borrowed};
Another table named bor