文件名称:normalization:Prolog中的数据库规范化
文件大小:3KB
文件格式:ZIP
更新时间:2024-06-07 14:03:32
Prolog
正常化 Prolog中的数据库规范化 该脚本实现了两种最常用的数据库规范化算法:BCNF分解和3NF合成。 它是在数据库课程中学习考试时作为练习而编写的。 norm_example谓词对Kifer,Bernstein和Lewis教科书“数据库系统”中给出的示例数据库进行规范化。 输出示例: $ ./norm.pl # BCNF Decomposition - Schema: `[[a,d,e],[a,f,h],[b,c,f,g]]` - Dependencies: `[ ([a]->[d,e]), ([b,h]->[c,f,g]), ([f]->[a,h])]` - Decomposition: ``` [a,b,c,d,e,f,g,h] ├── violation: [a]->[d,e] ├── [a,d,e] └── [a,b,c,f,g,h] ├── violatio
【文件预览】:
normalization-master
----README.md(964B)
----LICENSE(1KB)
----norm.pl(5KB)