Safety analysis using temporal database

The paper presents two methods of safety analysis using a temporal database. We present two operations for uniting multiple tables with different attributes, and show the benefits of chronological presentation of events and actions for intuitive understanding for safety analysis. We also present that the granularities of time and the actions are crucial factors in automatic verification based on safety assertions.