A library automation software is to be designed. Before a book can be issued, it needs to be checked whether the book has been reserved by any user. Which one of the following mechanisms is most appropriate to factor this use case into issue book and check reservation use cases?