This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Query Language Vizla
October 1993 (vol. 5 no. 5)
pp. 813-825

We define the query language Vizla, in which answers to queries are built up by pointing to representations of sets and functions in a conceptual model of the data base of an application, and to iconic identifiers of computational operators or control constructs. At its present stage of development the primary use of Vizla is in the validation of conceptual models of information systems, but it is to be developed into a user interface to SF, a prototyping language for information and control systems. Moreover, it can be regarded as a visual programming language in its own right. As such it is based on abstract data types.

[1] D. Rombach, "Software specification: A framework,"Curriculum Module SEI-CM-11-1.0. Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1987.
[2] M.A. Jackson,System Development. Englewood Cliffs, NJ: Prentice-Hall, 1983.
[3] E. Dubois, J. Hagelstein, E. Lahou, F. Ponsaert, A. Rifaut, and F. Williams, "The ERAE model: A case study," inInformation System Design Methodologies: Improving the Practice, T. W. Olle, H. G. Sol, A. A. Verrijn-Stuart, Eds. North-Holland, 1986, pp. 87-106.
[4] J. Fiadeiro and A. Sernadas, "The INFOLOG linear tense propositional logic of events and transactions,"Inf. Systems, vol. 11, pp. 61-85, 1986.
[5] A. Wasserman et al., "Developing Interactive Information Systems with the User Software-Engineering Methodology,"IEEE Trans. Software Eng., Feb. 1986, pp. 326-345.
[6] A.T. Berztiss, "Data abstraction in the specification of information systems," inProc. IFIP World Congress 86, pp. 83-90, 1986.
[7] T.W. Olle, J. Hagelstein, I.G. Macdonald, C. Rolland, H.G. Sol, F.J.M. Van Assche, and A.A. Verrijn-Stuart,Information System Methodologies--A Framework for Understanding. Wokingham, England: Addison-Wesley, 1988.
[8] M. Jarke and Y. Vassiliou, "A framework for choosing a database query language,"ACM Comp. Surveys, vol. 17, pp. 313-340, 1985.
[9] J. Clement, J. Lochhead, and E. Soloway, "Positive effects of computer programming on students' understanding of variables and equations," inProc. ACM Annual Conf. 1980, pp. 467-474.
[10] D. Welty and D. W. Stemple, "Human factors comparison of procedural and nonprocedural query languages,"ACM Trans. Database Syst., vol. 6, no. 4, pp. 626-649, 1981.
[11] G. W. Hansen and J. V. Hansen, "Procedural and nonprocedural query languages revisited: A comparison of relational algebra and relational calculus"Int. J. Man-Machine Studies, vol. 26, pp. 683-694, 1987.
[12] W. Swartout, "GIST English generator, " inProc. AAAI Natl. Conf. 1982, pp. 404-409.
[13] W. S. Luk and S. Kloster, "ELFS: English language from SQL,"ACM Trans. Database Syst., vol. 11, no. 4, pp. 447-472, Dec. 1986.
[14] B. Czejdo, R. Elmasri, M. Rusinkiewicz, and D.W. Embley, "Graphical query languages for semantic database models," inProc. 1987 Natl. Computer Conf., pp. 615-623.
[15] B. Czejdo, D. Reddy, and M. Rusinkiewicz, "Design and implementation of an interactive graphical query interface for a relational database management system, " inProc. 1988 IEEE Workshop on Visual Languages, pp. 14-20.
[16] Harel, D. et al., "Statemate: A Working Environment for the Development of Complex Reactive Systems," inProc. 10th IEEE Int'l Conf. Software Eng., Apr. 1988, CS Press, Los Alamitos, Calif., Order No. 849.
[17] H. J. Kimet al., "PICASSO: a graphical query language,"Software Pract. Experience, vol. 18, no. 3, pp. 169-203, Mar. 1988.
[18] H. K. T. Wong and I. Kuo, "GUIDE: Graphical user interface for database exploration," inProc. 8th VLDB Conf., Mexico City, Mexico, 1982, pp. 22-31.
[19] Z. Q. Zhang and A. O. Mendelzon, "A graphical query language for entity-relationship databases," inProc. 3rd Int. Conf. Entity-Relationship Approach, 1983.
[20] M. Angelaccio, T. Catarci, and G. Santucci, "QBD*: A fully visual system for E-R oriented databases," inProc. Workshop Visual Language, Rome, Italy, Oct. 1989.
[21] L.E. Echeverria and J.A. Pino, "An intuitive approach for the expression of Boolean queries," inProc. 1989 IEEE Workshop on Uisual Languages, pp. 118-123.
[22] J.A. Larson, "Visual languages for database users," inVisual Languages, S.K. Chang, T. Ichikawa, and P.A. Ligomenides, Eds. New York: Plenum Press, 1986, pp. 127-147.
[23] S. Kari, H. Kangassalo, and J. Poso, "Conceptual query language CQL: a visual user interface to application data bases," to appear inProc. Joint Scandinavian-Japanese Seminar on Information Modeling and Knowledge Bases.
[24] H. Kangassalo, "CONCEPT D: A graphical language for conceptual modeling and data base use" (Invited Paper). inProc. IEEE 1988 Workshop Visual Languages, Pittsburgh, PA, Oct. 1988.
[25] R.B. Grafton and T. Ichikawa, Eds., special issue on visual programming,Computer, vol. 18, no. 6, Aug. 1985.
[26] Parnas, D.L. 1972. On the Criteria to be Used in Decomposing Systems into Modules,Communications of the ACM, Vol.15, pp. 1053-1058.
[27] J. R. Cameron, "An overview of JSD,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 222-240, Feb. 1986.
[28] M.W. Alford, "SREM at the age of eight; the distributed computing design system,"Computer, vol. 18, no. 4, pp. 36-46, Apr. 1985.
[29] M. Graf, "Building a visual designer's environment," inPrinciples of Visual Programmiig Systems, S.-K. Chang, Ed. Englewood Cliffs, NJ: Prentice-Hall, 1989, pp. 291-325.
[30] D. Shipman, "The functional model and the data language daplex,"ACM Trans. Database Syst., vol. 6, no. 1, Mar. 1981.
[31] A.T. Berztiss, "Formal specification methods and visualization," inPrinciples of Visual Programming Systems, S.-K. Chang, Ed. Englewood Cliffs, NJ: Prentice-Hall, 1989, pp. 231-290.
[32] A.T. Berztiss, "A notation for distributed operations,"Inf. Proc. Letters, vol. 26, pp. 19-21, 1987.
[33] A. Aho and J. Ullman, "Universality of data retrieval languages," inProc. 6th ACM Symp: Principles of Programming Languages, San Antonio, TX, Jan. 1979.
[34] A. Motro, "Constructing queries from tokens." inProc. ACM-SIGMOD Int. Conf. Management Data, Washington, DC, May 28-30, 1986. New York: ACM, pp. 120-131.
[35] A. Motro, "SEAVE: A mechanism for verifying user presuppositions in query systems,"ACM Trans. Office Inform. Syst., vol. 4, no. 4, pp. 312-330, Oct. 1986.
[36] A. Motro, "VAGUE: A user interface to relational database that permits vague queries,"ACM Trans. Office Inform. Syst., vol. 6, pp. 187-214, July 1988.
[37] E.W. Dijkstra, "A note on two problems in connection with graphs,"Numer. Math., vol. 1, pp. 269-271, 1959.
[38] J.A. Goguen, J.W. Thatcher, and E.G. Wagner, "An initial algebra approach to the specification, correctness, and implementation of abstract data types," inCurrent Trends in Programming Methodology, Vol. IV: Data Structuring, R.T. Yeh, Ed. Englewood Cliffs, NJ: Prentice-Hall, 1978, pp. 80-149.

Index Terms:
query language; Vizla; conceptual model; iconic identifiers; computational operators; control constructs; user interface; prototyping language; visual programming language; abstract data types; information system; prototyping environment; database management systems; query languages; software tools; visual programming
Citation:
A.T. Berztiss, "The Query Language Vizla," IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 5, pp. 813-825, Oct. 1993, doi:10.1109/69.243511
Usage of this product signifies your acceptance of the Terms of Use.