Project 2

turnin code: db.proj2

延續自Project 1,請將程式檔名命名為isBCNF.c。此程式的輸入檔與findkeys.c的輸入檔相同,且同樣使用redirect方式輸入到程式中。此程式取得輸入後,必須判定此relation是否符合BCNF(Boyce-Code Normal Form)。此程式的輸入檔格式如下:

此程式的執行結果可參考如下:

[11:19 user@ws proj2] cat in.1
R(ABCDEFGH)
6
A->C
D->E
AD->H
BCF->H
BCD->E
BDFG->E
[11:19 user@ws proj2] ./a.out < in.1
R(ABCDEFGH) is not in BCNF
[11:19 user@ws proj2] cat in.2
R(XY)
2
X->Y
Y->X
[11:19 user@ws proj2] ./a.out < in.2
R(XY) is in BCNF
[11:19 user@ws proj2]