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)This 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]u003e12000}
• B. {t |t (customer_name) | t?borrow[?] t[amount]u003e12000}
• C. {t |[?] ? borrow (t (customer_name=s (customer_ name))[?] [Amount]u003e12000}
• D. {t |[?] ? borrow (t (customer_name)[?] s[amount] u003e12000}