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

• 第1行為relation schema
• 第2行為已知的FD(functional dependency)的數量
• 第3行後則為已知的FD

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

[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]