Enhancement in a Formal V&V Approach for Real-Time Databases

With the evolution of concepts in databases' field, the complexity of systems is also increasing along with their efficiency. In conjunction with consistency and concurrency related problems, a related issue is data verification and data validation. To cater to the data collisions and synchronization problems, data verification and validation comes to play its part. This paper is motivated to quantify and enhance one of the available "Formal verification and validation approach for real time databases" presented by "Ribeiro Neto, Perkusich, Oliveira De Almeida and Perkusich".

Provided by: International Journal of Computer Applications Topic: Data Management Date Added: May 2012 Format: PDF

Find By Topic