【正文】 倉庫管理員通過該模塊對每次倉庫庫存量的修改記錄進(jìn)行審核，如有錯誤，就查找該條記錄所關(guān)系的銷售記錄和采購記錄，修改錯誤，并及時了解各項商品的庫存量，制定采購計劃。收銀員通過該模塊進(jìn)行每次交易開具發(fā)票，并根據(jù)交易的商品完成本次銷售單，將銷售單發(fā)送給商品銷售管理進(jìn)行進(jìn)一步審核。采購員通過該模塊接收倉庫管理員制定的采購計劃，根據(jù)采購計劃制定好采購單去采購商品，并對采購商品做好采購記錄，將記錄發(fā)送給倉庫商品管理，增加相應(yīng)的商品庫存量。銷售管理員通過該模塊審核 POS 收銀管理產(chǎn)生的銷售單，確認(rèn)后簽上審核人并寫入銷售記錄，同時將記錄發(fā)送給倉庫商品管理，減少相應(yīng)的商品庫存量。根據(jù)該定義，結(jié)合概念數(shù)據(jù)模型中設(shè)計的ER 圖，舉一個不是 3NF 的例子如下： [例 2] 在 發(fā)票 表中，假如還存在一個屬性：消費總額，即關(guān)系模式發(fā)票( 發(fā)票編號，員工編號，實收金額，找零金額，日期，消費總額)，這時就存在傳遞依賴，因47 / 55為 消費總額=實收金額 找零金額，即消費總額可由實收金額和找零金額兩個屬性推出，而消費總額又可由發(fā)票編號得到，所以不滿足第三范式。解決的辦法是用投影分解把關(guān)系模式“采購員制定采購單”分解為三個關(guān)系模式：商品信息（商品編號，商品名稱，商品規(guī)格)采購單（采購單編號，員工編號，進(jìn)貨日期)制定（商品編號，采購單編號，采購量）三個關(guān)系模式可以用圖 222 表示如下：商品名稱商品規(guī)格員工編號進(jìn)貨日期商品編號采購單編號商品編號采購單編號采購量圖 222 不 滿 足 第 三 范 式 舉 例 關(guān)系模式 RU，F(xiàn) 中若不存在這樣的碼 X，屬性組 Y 及非主屬性 Z(Z￠Y)使得X→Y，Y→Z 成立，Y 推不出 X，則稱U，F(xiàn)∈3NF。函數(shù)依賴示例如圖 221：商品編號采購單編號商品名稱商品規(guī)格進(jìn)貨日期員工編號采購量圖 221 圖中用虛線表示部分函數(shù)依賴。 不 滿 足 第 二 范 式 舉 例一個關(guān)系模式定義為一個五元組：R(U，D，DOM，F(xiàn))，若 R∈1NF ，且每一個非主屬性完全函數(shù)依賴于碼，則 R∈2NF。在第一范式中滿足進(jìn)一步要求的為第第二范式，其余以此類推。) DROP TABLE 采購記錄GO/*==============================================================*//* TABLE: BUY_BILL *//*==============================================================*/CREATE TABLE BUY_BILL ( BBNO CHAR(10) NOT NULL, SNO CHAR(10) NULL, BBDATE DATETIME NULL, CONSTRAINT PK_BUY_BILL PRIMARY KEY NONCLUSTERED (BBNO))GO/*==============================================================*//* INDEX: 制定 2_FK *//*==============================================================*/CREATE INDEX 制定 2_FK ON BUY_BILL (SNO ASC)GO33 / 55/*==============================================================*//* TABLE: BUY_PLAN *//*==============================================================*/CREATE TABLE BUY_PLAN ( BPNO CHAR(10) NOT NULL, SNO CHAR(10) NULL, BPDATE DATETIME NULL, CONSTRAINT PK_BUY_PLAN PRIMARY KEY NONCLUSTERED (BPNO))GO/*==============================================================*//* INDEX: 制定 1_FK *//*==============================================================*/CREATE INDEX 制定 1_FK ON BUY_PLAN (SNO ASC)GO/*==============================================================*/34 / 55/* TABLE: OUT_REC *//*==============================================================*/CREATE TABLE OUT_REC ( BPNO CHAR(10) NOT NULL, WGNO CHAR(10) NOT NULL, PLANBNUM INT NULL, CONSTRAINT PK_OUT_REC PRIMARY KEY (BPNO, WGNO))GO/*==============================================================*//* INDEX: OUT_REC_FK *//*==============================================================*/CREATE INDEX OUT_REC_FK ON OUT_REC (BPNO ASC)GO/*==============================================================*//* INDEX: OUT_REC2_FK *//*==============================================================*/35 / 55CREATE INDEX OUT_REC2_FK ON OUT_REC (WGNO ASC)GO/*==============================================================*//* TABLE: PAY_BILL *//*==============================================================*/CREATE TABLE PAY_BILL ( PBNO CHAR(10) NOT NULL, SNO CHAR(10) NULL, PBDATE DATETIME NULL, CONSTRAINT PK_PAY_BILL PRIMARY KEY NONCLUSTERED (PBNO))GO/*==============================================================*//* INDEX: 出示 2_FK *//*==============================================================*/CREATE INDEX 出示 2_FK ON PAY_BILL (SNO ASC)36 / 55GO/*==============================================================*//* TABLE: PAYL_RECORD *//*==============================================================*/CREATE TABLE PAYL_RECORD ( PBNO CHAR(10) NOT NULL, WGNO CHAR(10) NOT NULL, PRNUM INT NULL, PRPRICE MONEY NULL, CONSTRAINT PK_PAYL_RECORD PRIMARY KEY (PBNO, WGNO))GO/*==============================================================*//* INDEX: PAYL_RECORD_FK *//*==============================================================*/CREATE INDEX PAYL_RECORD_FK ON PAYL_RECORD (PBNO ASC)GO37 / 55/*==============================================================*//* INDEX: PAYL_RECORD2_FK *//*==============================================================*/CREATE INDEX PAYL_RECORD2_FK ON PAYL_RECORD (WGNO ASC)GO/*==============================================================*//* TABLE: RECEIPT *//*====================================