In Tuple Relational Calculus, to express the query “Find the set of all tuples S such that F(S) is true”, how can we write this?

A. {S >> F(S)}

B. {S | F(S)}

C. {S → F(S)}

D. {S = F(S)}

Leave a Reply