S is superkey? A is primary attribute?