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

這一步的目標就是檢查局部邏輯數據模型，確保模型支持用戶所需要的事務。

事務是指一系列用來完成某一功能的與數據庫相關的動作。

事務代表了現實世界的事件，例如：查詢機構的當月等級得分，添加新的機構，審批機構變更等。

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

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