Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language

Authors:
Kyu-Young Whang;Ashok Malhotra;Gary H. Sockut;Luanne Burns;Key-Sun Choi
Affiliations:
Korea Advanced Institute of Science and Technology, Daejeon, Korea;IBM T. J. Watson Research Center, Yorktown Heights, NY;IBM T. J. Watson Research Center, Yorktown Heights, NY;IBM T. J. Watson Research Center, Yorktown Heights, NY;Korea Advanced Institute of Science and Technology, Daejeon, Korea
Venue:
IEEE Transactions on Software Engineering
Year:
1992

Citing 10
Cited 6

A graphical query language for entity-relationship databases

Proc. of the third international conference on Entity-relationship approach to software engineering
Safety and correct translation of relational calculus formulas

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PICASSO: a graphical query language

Software—Practice & Experience
Negation in logic programming

Foundations of deductive databases and logic programming
On optimizing an SQL-like nested query

ACM Transactions on Database Systems (TODS)
Maximal objects and the semantics of universal relation databases

ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data

ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Principles of Database Systems

Principles of Database Systems
GUIDE: Graphical User Interface for Database Exploration

VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Graphical Query Facility for ER Databases

Proceedings of the Fourth International Conference on Entity-Relationship Approach

V: a visual query language for a multimodal environment

CHI '94 Conference Companion on Human Factors in Computing Systems
CBM: a visual query interface model based on annotated cartoon diagrams

AVI '00 Proceedings of the working conference on Advanced visual interfaces
The effect of data model, system and task characteristics on user query performance: an empirical study

ACM SIGMIS Database
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language

DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
A visual query interface for a customisable schema visualisation system

IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
A two-phased visual query interface for relational databases

DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications

Quantified Score

Hi-index	0.00

Visualization

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.