Consider the requirement that M. students complete CIS 560, CIS 570, CIS 580 before registering for Masters Project (CIS 600). There are no...

Bank teller machines rely on using information on the user s card giving the bank identifier,the account number and the user's personal identifier. They also derive account informationfrom a central database and update that database on completion of a transaction. Using yourknowledge of ATM operation, write Z schemas defining the state of the system, cardvalidation (where the user's identifier is checked) and cash withdrawal.