Design verification for database applications through analysing their support to data lifecycle
by Sun Ding, Hee Beng Kuan Tan
International Journal of Data Mining, Modelling and Management (IJDMMM), Vol. 3, No. 4, 2011

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.

Online publication date: Thu, 26-Feb-2015

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Data Mining, Modelling and Management (IJDMMM):
Login with your Inderscience username and password:

    Username:        Password:         

Forgotten your password?


Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com