Question 9 - 2marks each Instruction Question 1 Question 2 Question 3 In a banking system, the balance in each account is recorded by a partial function balance: AcctNo Z where integers are used to record sums of money. If acno : AcctNo is in the domain of balance, say what the type is of each of the following terms. 1. acno H 5000 Question 4 Question 5 Question 6 Question 7 Question 8 13 Question 9 2. balance acno Question 10 3. dom balance 4. ran balance Question 10 - 5marks each Instruction Question 1 1. From Question 9, write down a predicate to formalize the statement "the active accounts are those for which there are balances" Question 2 Question 3 Question 4 Question 5 2. Write down a predicate to formalize the statement "overdrawn accounts are those accounts that have negative balances" Question 6 Question 7 Question 8 Question 9 3. Write down an expression for the set of account numbers of deposit accounts with balances exceeding 500000 14 Question 10 4. If c: Customer is a particular customer, write down an expression for the account numbers associated with c. Question 9 - 2marks each Instruction Question 1 Question 2 Question 3 In a banking system, the balance in each account is recorded by a partial function balance: AcctNo Z where integers are used to record sums of money. If acno : AcctNo is in the domain of balance, say what the type is of each of the following terms. 1. acno H 5000 Question 4 Question 5 Question 6 Question 7 Question 8 13 Question 9 2. balance acno Question 10 3. dom balance 4. ran balance Question 10 - 5marks each Instruction Question 1 1. From Question 9, write down a predicate to formalize the statement "the active accounts are those for which there are balances" Question 2 Question 3 Question 4 Question 5 2. Write down a predicate to formalize the statement "overdrawn accounts are those accounts that have negative balances" Question 6 Question 7 Question 8 Question 9 3. Write down an expression for the set of account numbers of deposit accounts with balances exceeding 500000 14 Question 10 4. If c: Customer is a particular customer, write down an expression for the account numbers associated with c