Paper Title:
A Proof Method for Correctness of Database Query Program
  Abstract

It is necessary that formal proof for correctness of relational algebra expressions. It can effectively improve the reliability of database query program. The aim of the present study is to present a proof method for correctness of relational algebra expressions. The basic idea about this proof method is explained as follows. Based on the semantics of relational algebra operators, according to the characteristic of relational algebra expressions, we can formally derivate the semantic of an algebra relational expression. And then we can compare this semantic with the specification. If they are equal logically, the relational algebra expression is correct, otherwise, the relational algebra expression is wrong. This article explains the mean and necessity of proving the correctness of relational algebra expressions. Some rules of formal deduction are presented. Based on it, we present a proof method for correctness of relational algebra expressions. Next, a application is given to illustrate this proof method. At last, conclusions and discussions about this proof method are given. As far as we known, there is no other work which is about proof method for the correctness of a relational algebra expression to the database query specification based on the given semantics.

  Info
Periodical
Advanced Materials Research (Volumes 121-122)
Edited by
Donald C. Wunsch II, Honghua Tan, Dehuai Zeng, Qi Luo
Pages
464-469
DOI
10.4028/www.scientific.net/AMR.121-122.464
Citation
B. Yang, "A Proof Method for Correctness of Database Query Program", Advanced Materials Research, Vols. 121-122, pp. 464-469, 2010
Online since
June 2010
Authors
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Tong He, Shang Hui Jia
Abstract:According to the affective model based on rough sets and by combining with rough graph theory, this paper presents a new method to mine...
84
Authors: Zheng Bo Zhao
Chapter 5: Control and Detection Technology
Abstract:It has given out term substitution theorem in the system K *. R0-algebra is introduced firstly, and then the fuzzy interpretation of the...
1065
Authors: Jing An, Zhi Liu, Lu Feng Qian
Chapter 9: Computer Applications and Mathematical Modeling, Intelligent Algorithms and Optimization
Abstract:Process algebra is an algebra method of concurrency theory. Based on the relevant theories of process algebra, it is set forth several class...
1555