Title: Design verification for database applications through analysing their support to data lifecycle

Authors: Sun Ding, Hee Beng Kuan Tan

Addresses: School of Electrical and Electronic Engineering, Nanyang Technological University, 639798, Singapore. ' School of Electrical and Electronic Engineering, Nanyang Technological University, 639798, Singapore

Abstract: A large proportion of software systems are database applications. Functionalities provided in these applications are very much associated with their databases. Hence, a lot of designs for these applications can be inferred from their databases. However, most of the design and verification techniques do not take advantage from these important and fundamental characteristics that are generally applied across database applications. Based on these characteristics, this paper proposes a design verification approach for database applications. The proposed verification is grounded on the fact that all data maintained in a database must be inserted, used and removed. These data may also require to be modified. Our evaluation finds that the proposed design verification is useful and effective in detecting essential functionalities that are not provided originally.

Keywords: database applications; use cases; use transactions; data mining; modelling; management; design verification; data lifecycle.

DOI: 10.1504/IJDMMM.2011.042937

International Journal of Data Mining, Modelling and Management, 2011 Vol.3 No.4, pp.406 - 417

Received: 08 May 2021
Accepted: 12 May 2021

Published online: 08 Oct 2011 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article