步驟9：列出事務(wù)、檢查模型是否支持用戶事務(wù)

這一步的目標(biāo)就是檢查局部邏輯數(shù)據(jù)模型，確保模型支持用戶所需要的事務(wù)。

事務(wù)是指一系列用來完成某一功能的與數(shù)據(jù)庫相關(guān)的動(dòng)作。

事務(wù)代表了現(xiàn)實(shí)世界的事件，例如：查詢機(jī)構(gòu)的當(dāng)月等級得分，添加新的機(jī)構(gòu)，審批機(jī)構(gòu)變更等。

根據(jù)對數(shù)據(jù)庫操作類型的不同，事務(wù)可分為檢索事務(wù)、更新事務(wù)和混合事務(wù)。檢索事務(wù)主要是用來查詢信息的事務(wù)，更新事務(wù)用于數(shù)據(jù)庫記錄的增刪改，混合事務(wù)是既查詢數(shù)據(jù)又增刪改數(shù)據(jù)的事務(wù)。例如：查詢機(jī)構(gòu)的當(dāng)月等級得分就是檢索事務(wù)。

檢查模型是否支持用戶事務(wù)的方法：在邏輯數(shù)學(xué)模型ER圖中，通過描述每個(gè)事務(wù)的需求，檢查模型是否提供了事務(wù)所需的所有信息，如實(shí)體、關(guān)系和屬性，以及這些信息是否已經(jīng)通過主鍵／外鍵連接起來。