Normal object scheme forest with respect to conflict-free dependencies

The properties for a normal object scheme forest with respect to a conflict-free set of ODs are shown. Firstly, basic concepts and properties about object dependency, a conflict-free set of object dependencies, normal object scheme forest and the algorithm of normalization design for complex object schemes are summarized. Then the properties for a normal object scheme forest with respect to a conflict-free set of ODs are presented and proved: P(F) is a unique split-free path set for a normal object scheme forest; There is a signification in the development for the object-oriented information systems.