DocumentCode :
899340
Title :
Two-dimensional specification of universal quantification in a graphical database query language
Author :
Whang, Kyu-Young ; Malhotra, Ashok ; Sockut, Gary H. ; Burns, Luanne ; Choi, Key-Sun
Author_Institution :
Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Daejeon, South Korea
Volume :
18
Issue :
3
fYear :
1992
fDate :
3/1/1992 12:00:00 AM
Firstpage :
216
Lastpage :
224
Abstract :
A technique is proposed for specifying universal quantification and existential quantification (combined with negation) in a two-dimensional (graphical) database query language. Unlike other approaches that provide set operators to simulate universal quantification, this technique allows a direct representation of universal quantification. Syntactic constructs for specifying universal and existential quantifications, two-dimensional translation of universal quantification to existential quantification (with negation), and translation of existentially quantified two-dimensional queries to relational queries are presented. The resulting relational queries can be processed directly by many existing database systems. The authors claim that this technique renders universal quantifications easy to understand. To substantiate this claim, they provide a simple, easy-to-follow guideline for constructing universally quantified queries
Keywords :
computer graphics; database theory; formal specification; query languages; relational databases; direct representation; existential quantification; existentially quantified two-dimensional queries; graphical database query language; relational queries; two-dimensional translation; universal quantification; Calculus; Computer science; Data models; Database languages; Database systems; Guidelines; Programming profession; Relational databases; Senior members;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/32.126770
Filename :
126770
Link To Document :
بازگشت