*This paper has been added to your cart ($35.00)*

*You may also Subscribe for unlimited downloads of all papers and abstracts on www.scientific.net ($135.00 per month)*

- The Analysis and Design of Hospital Information System Based on UML Model p.441
- Research on Intelligent Recommendation Method and its Application on Internet Bookstore p.447
- A Fast BP Algorithm and its Application in China Stock Market p.453
- A Multiphase Level Set Method Based on Total Variation Density Estimation for Image Classification p.458
- A Proof Method for Correctness of Database Query Program p.464
- Parameters Optimization in SVM Based-On Ant Colony Optimization Algorithm p.470
- Study on Medical Micro-Image Mosaic with SIFT Features p.476
- A Network Intrusion Detection Method Inspired by Biological Immunology p.482
- A Negative Selection Algorithm Based on Hierarchical Clustering of Self Set p.486

Paper Title:

A Proof Method for Correctness of Database Query Program

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.

Periodical

Advanced Materials Research (Volumes 121-122)

Main Theme

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

Price

$35.00

Share

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

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

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

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

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

×

Added To Cart

×

Article Preview