Relational Model

... according to the formal definition of “key.” Or, we could assert some FD’s and deduce one or more keys by the formal definition.