Library Management System

Library Management system
 manage the lending and return of the books.
 Records and provide information about the books
available and the borrowers.
 The Z schema starts by declaring two sets (Book,
Person), thus identifying the major parts of the
library system

System functionalities
Add a book:
 This is the first task this library system is designed to do.
 The book will be added into the library only if it does not already
exist in the library.
Add a borrower:
 A borrower is added to the system if his/her details are not in the
system.
 If the details exist, the system respond the a ticket was allocated

System functionalities
Delete a book:
 The book must be a property of the library.
 The book has to be on shelves and not on loan.
 The system checks if the two conditions are met and then gives a
response.
Delete a borrower:
 The borrower must be in the system
 The borrower must not have a book.
 If the two conditions are met, the system deletes the borrower and
give a response.