Consider the following schemas :Branch_Schema = (branch_name, assets, city)Customer_Schema = (cutstomer_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,000 ?

• A. {t(customer_name) | t∈borrow[?] t[amount]>12000}
• B. {t |t(customer_name) | t∈borrow[?] t[amount]>12000}
• C. {t |[?] ∈ borrow (t(customer_name=s(customer_ name))[?] [amount]>12000}
• D. {t |[?] ∈ borrow (t(customer_name)[?] s[amount] >12000}