关系型数据库校验系统的设计与实现

Design and Implementation of Relation Database Verification System

为克服传统教学的限制与不足,秉着开放教学模式的思想,设计并实现了关系型数据库校验系统,将数据库原理相关知识进行可视化教学。本系统由属性列表、函数依赖集、属性组合、闭包计算过程、求候选码及关系模式分解分析6个模块组成。系统通过自定义属性列表和输入函数依赖集,作为其他模块计算的基础,拥有极大的自主性与可扩展性,在高校内具有较强的使用价值和推广意义。

In order to overcome the limitations and shortcomings of traditional teaching,and with the idea of open teaching mode,the relational database design verification system was designed and implemented,and the knowledge related to database principle was visualized.The system consists of six modules:attribute list,function dependency set,attribute combination,closure calculation process,candidate code and relationship pattern decomposition analysis.The system through the custom attribute list and input function dependency set,as the basis of other module calculations,has great autonomy and scalability,and has strong use value and promotion significance in colleges and universities.