Recently, several researchers have discussed the advantages of extending the relational model by allowing nested relations (i.e., non-first-normal form relations). In this paper, we address the problem of designing a database with the nested relations with respect to semantic integrity constraints so that a better model of the real world can be obtained. We first define a normal form for nested relations, called nested normal form, utilizing the functional and multivalued dependencies, and then give an algorithm to a obtain such a database scheme.