数据库中关于关系模式的知识,涉及到模块分解以及相关定义性质,还有算法练习,内涵公理系统的有效性已经相应的推理规则,适合初学者以及数据库爱好者学习,有效掌握数据库关系模式这一块的知识