I’m solving a problem using tuple relational calculus ( TRC) in DBMS.
Problem
Find the name of all the employees who work for XYZ Bank Corporation.
Solution ( as given in my book)
I don’t understand why book is using S . We have t . Since both of them represents tuples , we could just use t in place of S and get moving.
Can anyone please explain why we required S ?