步驟9:列出事務、檢查模型是否支持用戶事務
這一步的目標就是檢查局部邏輯數據模型,確保模型支持用戶所需要的事務。
事務是指一系列用來完成某一功能的與數據庫相關的動作。
事務代表了現實世界的事件,例如:查詢機構的當月等級得分,添加新的機構,審批機構變更等。
根據對數據庫操作類型的不同,事務可分為檢索事務、更新事務和混合事務。檢索事務主要是用來查詢信息的事務,更新事務用于數據庫記錄的增刪改,混合事務是既查詢數據又增刪改數據的事務。例如:查詢機構的當月等級得分就是檢索事務。
檢查模型是否支持用戶事務的方法:在邏輯數學模型ER圖中,通過描述每個事務的需求,檢查模型是否提供了事務所需的所有信息,如實體、關系和屬性,以及這些信息是否已經通過主鍵/外鍵連接起來。