0
0.0
user
and account
.
user
: Represents a customer of the bank.account
: Represents a bank account that has an owner
(which is a user
), and a balance
(amount of money in the account).withdraw
permission to be granted. In other words, a user can withdraw money from an account only if they are the owner of that account, and the amount they want to withdraw is within the account balance and doesn’t exceed 5000.
Relationships
check*{snapshot}*{schema*version}*{context}\_account:1$check_balance(context.amount,balance)
→ truecheck*{snapshot}*{schema*version}*{context}\_account:1#owner@user:1
→ true