对于一个信息系统来说，如果所设计的数据库均具有良好的、合理的范式级别，那么系统的正确性将自动得到某种保证。 如何构造一个好的关系模式？从给定的关系出发，以所知的约束条件为指南，有计划地将关系模式化为一组与原关系等价，但某些方面更合要求的关系。