在數(shù)據(jù)庫(kù)系統(tǒng)中，“事務(wù)”是訪問數(shù)據(jù)庫(kù)并可能更新各種數(shù)據(jù)項(xiàng)的一個(gè)程序執(zhí)行單元。為了保證數(shù)據(jù)完整性，要求數(shù)據(jù)庫(kù)系統(tǒng)維護(hù)事務(wù)的原子性、一致性、隔離性和持久性。針對(duì)事務(wù)的這4種特性，考慮以下的架構(gòu)設(shè)計(jì)場(chǎng)景。假設(shè)在某一個(gè)時(shí)刻只有一個(gè)活動(dòng)的事務(wù)，為了保證事務(wù)的原子性，對(duì)于要執(zhí)行寫操作的數(shù)據(jù)項(xiàng)，數(shù)據(jù)庫(kù)系統(tǒng)在磁盤上維護(hù)數(shù)據(jù)庫(kù)的一個(gè)副本，所有的寫操作都在數(shù)據(jù)庫(kù)副本上執(zhí)行，而保持原始數(shù)據(jù)庫(kù)不變，如果在任一時(shí)刻操作不得不中止，系統(tǒng)僅需要?jiǎng)h除副本，原數(shù)據(jù)庫(kù)沒有受到任何影響。這種設(shè)計(jì)策略稱為（1）。事務(wù)的一致性要求在沒有其他事務(wù)并發(fā)執(zhí)行的情況下，事務(wù)的執(zhí)行應(yīng)該保證數(shù)據(jù)庫(kù)的一致性。數(shù)據(jù)庫(kù)系統(tǒng)通常采用（2）機(jī)制保證單個(gè)事務(wù)的一致性。事務(wù)的隔離性保證操作并發(fā)執(zhí)行后的系統(tǒng)狀態(tài)與這些操作以某種次序順序執(zhí)行（即可串行化執(zhí)行）后的狀態(tài)是等價(jià)的。兩階段鎖協(xié)議是實(shí)現(xiàn)隔離性的常見方案，該協(xié)議（3）。持久性保證一旦事務(wù)完成，該事務(wù)對(duì)數(shù)據(jù)庫(kù)所做的所有更新都是永久的，如果事務(wù)完成后系統(tǒng)出現(xiàn)故障，則需要通過恢復(fù)機(jī)制保證事務(wù)的持久性。假設(shè)在日志中記錄所有對(duì)數(shù)據(jù)庫(kù)的修改操作，將一個(gè)事務(wù)的所有寫操作延遲到事務(wù)提交后才執(zhí)行，則在日志中（4）。當(dāng)系統(tǒng)發(fā)生故障時(shí)，如果某個(gè)事務(wù)已經(jīng)開始，但沒有提交，則該事務(wù)應(yīng)該（5）。

某商場(chǎng)商品數(shù)據(jù)庫(kù)的商品關(guān)系模式P（商品代碼，商品名稱，供應(yīng)商，聯(lián)系方式，庫(kù)存量），函數(shù)依賴集F={商品代碼→商品名稱，（商品代碼，供應(yīng)商）→庫(kù)存量，供應(yīng)商→聯(lián)系方式}。商品關(guān)系模式P達(dá)到（1）；該關(guān)系模式分解成（2）后，具有無損連接的特性，并能夠保持函數(shù)依賴。

某商場(chǎng)商品數(shù)據(jù)庫(kù)的商品關(guān)系模式P（商品代碼，商品名稱，供應(yīng)商，聯(lián)系方式，庫(kù)存量），函數(shù)依賴集F={商品代碼→商品名稱，（商品代碼，供應(yīng)商）→庫(kù)存量，供應(yīng)商→聯(lián)系方式}。商品關(guān)系模式P達(dá)到（1）；該關(guān)系模式分解成（2）后，具有無損連接的特性，并能夠保持函數(shù)依賴。

若對(duì)關(guān)系R（A，B，C，D）和S（C，D，E）進(jìn)行關(guān)系代數(shù)運(yùn)算，則表達(dá)式與（）等價(jià)。