Answer:
Step 1 of 2
Definition of normal forms when only primary keys are considered
First Normal Form: It states that the domain of an attribute must include only atomic values and that the values of any attribute in a tuple must be a single value from the domain of that attribute. In other words first normal form does not allow relations with in relation as attribute values within tuples.
Second Normal Form: It is based on concept of full functional dependency. A dependency X-> Y is full functional dependency if after removing any attribute A from X dependency does no hold any more. Else it is called partial dependency.
A relation schema R is said to be in 2NF f every nonprime attribute A in R is fully functional dependent on the primary key of R.
Third Normal Form: It is based on concept of transitive dependency. A functional dependency X->Y in a relation schema R is a transitive dependency if there is a set of attributes of Z, that are neither a candidate key nor a subset of any key of R, and both X->Z and Z->Y hold.
A relation schema is said to be in third normal form if it satisfies second normal form and no nonprime attribute of R is transitively dependent on the primary key.
Step 2 of 2
The general definitions of 2NF and 3NF are different from general definition because general definition takes into account candidate keys as well. As a general definition of prime atribute, an attribute that is part of any candidate key will be considered as prime. Partial and full functional dependencies and transitive dependencies will be considered with respect to all candidate keys of a relation.
General definition of 2NF: A relation schema R is in second normal form if every non-prime attribute A in R is not partially dependent on any key of R
General definition of 3NF: A relation schema is said to be in 3NF if, whenever a nontrivial functional dependency X->A holds in R, either (a) X is a super key of R, or (b) A is a prime attribute of R
A functional dependency is X-> Y trivial if X is superset of Y else dependency is non trivial.