Tuple relational calculus - Seeking advice

Question

I am not well versed in Predicate calculus and maybe, therefore, I am having problems writing queries in Tuple Relational Calculus and sometimes also in interpreting them.

I want to know if there is any specific and definite procedure of translating the Relational Algebra expressions into the Tuple Relational Calculus expressions and vice-versa. 

Or if you could get me some names of good books/lectures on predicate calculus.

Any guidance or reference would be highly helpful for me.

Thank You.

Answer 1

@harsh i think you should refer to Rosen for predicate calculus ,it is very good book & you will not face any problem.

this part is there in descrete mathematics so first you should go with that topic then

you can solve tuple relational calculus problems