
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
G. Ozsoyoglu, H. Wang, "A Relational Calculus with Set Operators, Its Safety, and Equivalent Graphical Languages," IEEE Transactions on Software Engineering, vol. 15, no. 9, pp. 10381052, September, 1989.  
BibTex  x  
@article{ 10.1109/32.31363, author = {G. Ozsoyoglu and H. Wang}, title = {A Relational Calculus with Set Operators, Its Safety, and Equivalent Graphical Languages}, journal ={IEEE Transactions on Software Engineering}, volume = {15}, number = {9}, issn = {00985589}, year = {1989}, pages = {10381052}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.31363}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  A Relational Calculus with Set Operators, Its Safety, and Equivalent Graphical Languages IS  9 SN  00985589 SP1038 EP1052 EPD  10381052 A1  G. Ozsoyoglu, A1  H. Wang, PY  1989 KW  algorithms; relational calculus; set operators; safety; graphical languages; set comparison; set manipulation; Codd relational calculus; RC/S queries; RC query; evaluable formulas; allowed formulas; RC/S* query; QuerybyExample; QBE; computer graphics; database theory; query languages; relational databases VL  15 JA  IEEE Transactions on Software Engineering ER   
The authors propose a relational calculus (RC/S) which uses set comparison and set manipulation operators to replace universal quantifiers and negations. It is argued that compared to the Codd relational calculus (RC), RC/S queries are easier to construct and comprehend. It is proved that the expressive power of RC is equivalent to the expressive power of RC/S, and algorithms for translating an RC query into an RC/S query and vice versa are given. A safe RC/S query is defined as one that has finite output and can be evaluated in finite time. Then a subset of RC/S queries, called RC/S* is defined, and it is proved that RC/S* is safe. RC/S* is compared to the existing largest safe subsets of RC, i.e. the evaluable formulas and the allowed formulas. Algorithms are given to transform any evaluable formula into an RC/S* query, and some RC/S* formulas that are not evaluable are given. RC/S* queries can be directly implemented using a graphical language similar to QuerybyExample (QBE). Two different graphical languages are described that are equivalent to the RC/S* in expressive power, and these languages are compared to QBE.
[1] W. A. AbdulQader and G. Ozsoyoglu, "A human factors study of two screen oriented query languages: STBE and QBE," Case Western Reserve Univ., Tech. Rep., 1987.
[2] E. F. Codd, "Relational completeness of database sublanguages," inData Base Systems (Courant Computer Science Symp. 6), R. Rustin, Ed. Englewood Cliffs, NJ: PrenticeHall, 1971.
[3] E. F. Codd, "A database sublanguage founded on the relational calculus," inProc. ACM SIGFIDET Workshop Data Description, Access and Control, Nov. 1971, pp. 3561.
[4] E. F. Codd, "Normalized database structure: A brief tutorial," inProc. ACM SIGFIDET Workshop Data Description, Access and Control, Nov. 1971, pp. 17.
[5] H. Decker, "Integrity enforcement in deductive databases," inProc. 1st Int. Conf. Expert Database Systems, pp. 271285.
[6] R. Demolombe, "Syntactical characterization of a subset of domain independent formulas," ONERACERT, Tech. Rep., 1982.
[7] R. Demolombe, "Assigning meaning to illdefined queries expressed in predicate calculus language," inAdvances in Data Base Theory, vol. 1, J. Minker and J.M. Nicolas, Eds. New York: Plenum, 1981.
[8] R. A. DiPaola, "The recursive unsolvability of the decision problem for the class of definite formulas,"J. ACM, vol. 16, no. 2, pp. 324 324, 1969.
[9] R. Fagin, "Horn clauses and database dependencies,"J. ACM, vol. 29, no. 3, pp. 952985, Oct. 1982.
[10] A. Gelder, private communication, Jan. 1987.
[11] A. Van Gelder and R. W. Topor, "Safety and correct translation of relational calculus formulas," inProc. ACM Symp. on Principles of Database Syst., 1987, pp. 313326.
[12] A. Klug, "AbeA query language for constructing aggregatesbyexample," inProc. First Int. Workshop Statistical Database Management, 1981.
[13] A. Klug, "Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions,"J. ACM, Vol. 29, No. 3, July 1982, pp. 699717.
[14] J. L. Kuhns, "Answering questions by computer: A logical study," Rand Corp., Tech. Rep. Rm5428PR, 1967.
[15] J. A. Makowsky, "Characterizing database dependencies," in8th Colloq. Automata, Languages and Programming. New York: SpringerVerlag, 1981.
[16] Z. Manna,Mathematical Theory of Computation. New York: McGrawHill, 1974.
[17] J.M. Nicolas, "On the stability of relational queries," ONERACERT, Tech. Rep., 1982.
[18] J.M. Nicolas, "Logic for improving integrity checking in relational databases,"Acta Inform., vol. 18, no. 3, pp. 227253, 1982.
[19] G.Özsoyoglu, V. Matos, and Z.M.Özsoyoglu, "QueryProcessing Techniques in the SummaryTablebyExample Database Query Language,"ACM Trans. on Database Systems, Vol. 14, No. 4, Dec. 1989, pp. 526573.
[20] G. Ozsoyoglu and V. Matos, "On optimizing summarytablebyexample queries," inProc. ACM PODS Conf., 1985.
[21] S. Osborn, private communication, Feb. 1987.
[22] Z. M. Ozsoyoglu and G. Ozsoyoglu, "A query language for statistical databases," inQuery Processing in Database Systems, W. Kim, D. Reiner, and D. Batory, Eds. New York: SpringerVerlag, 1985.
[23] Ozsoyoglu, Z.M., and G. Ozsoyoglu, "SummaryTableByExample: A Database Query Language for Manipulating Summary Data,"First IEEE Int'l Data Eng. Conf., IEEE CS Press, Los Alamitos, Calif., Order No. 533 (microfiche only), 1984, pp. 193 202.
[24] A. Pirotte, "High level data base query languages," inLogic and Data Bases, H. Gallarie and J. Minker, Eds. New York: Plenum, 1978.
[25] A. U. Tansel, E. Arkun, and G. Ozsoyoglu, "Timebyexample query language for historical databases,"IEEE Trans. Software Eng., Apr. 1989.
[26] R. Topor, "Domain independent formulas and databases," Univ. Melbourne, Tech. Rep. 86/11, 1986 (to appear inTheoretical Comput. Sci.).
[27] J. D. Ullman,Principles of Databases Systems. Rockville, MD: Computer Science Press, 1982.
[28] M. M. Zloof, "Querybyexample: A data base language,"IBM Syst. J., 1977.