Abstract: The condition under which an attribute is a prime attribute is studied by classifying the attributes. The inference of functional dependencies based on Armstrong axiom is realized using the closure, and a polynomial time algorithm to find all prime attributes of a relation schema is given on the basis of the related references .