Search

Most of the errors that occur in the input of a program cannot be automatically detected through input validation. As a result, most of such errors made in the input of a database transaction are discovered only after the completion of the transaction. Therefore, the provision of error correction transactions for correcting such error is essential in any database application. Current system development methodologies do not provide much detail for this important design task. The task is left to the designer's experience to carry out in an ad hoc way. This paper formalizes the common design knowledge in designing these transactions. It proposes a novel approach for the systematic design of post-transaction input error handling in a database application.

Error handling is crucial in any database application and is the most complex part of it. However, it has not received sufficient attention. No systematic techniques have been proposed for the verification of error handling in database applications. This paper proposes a metric suite for measuring the post-transaction error handling in database applications. The measurement helps in verifying the appropriate provision of post-transaction error handling during the development of database applications.