Normal Form question
Surely, choosing {a,b} as key, R(X) is in 3NF

Using an alternative definition of 3NF:

3NF Relation

A Relation Schema R(X) is in 3NF if for every non-trivial FD Y->Z


Y contains a candidate key (Y is superkey)


Or


Z is a prime attribute (Z is part of a key)