Consider the following schemas:
Branch_Schema = (branch_name, assets, city)
Customer_Schema = (customer_name, street, city)
Deposit_Schema = (branch_name, account_number, customer_name, balance)
Borrow_Schema = (branch_name, loan_number, customer_name, amount)
Which of the following tuple relational calculus finds all customers who have loan amount more than Rs. 12, 0000?
- {t(customer_name) $\mid$ t $\in$ borrow[?] t[amount] > 12000 }
- {t $\mid$ t(customer_name) $\mid$ t $\in$ borrow[?] t[amount] > 12000 }
- { t $\mid$ [?] $\in$ borrow (t(customer_name)=s(customer_name))[?][amount]>12000}
- { t $\mid$ [?] $\in$ borrow(t(customer_name)[?] s[amount] > 12000}