EDTTDT: an expert design tool for temporal database transaction

摘要

This paper describes an expert tool for temporal database transaction design, EDTTDT, developed to assist transaction designers in creating efficient, safe and reliable transactions. When applied to a temporal database design EDTTDT first derives specific Knowledge about the application. It then accepts a user-designed transaction, converts it into its internal form (And/Or tree) and performs the following processing on the transaction: optimization, which attempts to improve the efficiency of the transaction; temporal safety verification, which checks whether the transaction preserves the consistency of the database; amendment, which corrects any errors detected during safety verification; and temporal analysis, which attempts to detect the semantic errors that may exist in the transaction. The resulting transaction is safe, and may have been improved with respect to efficiency and reliability if it was not originally well designed.