Technique for universal quantification in SQL

  • Authors:

  • Claudio Fratarcangeli

  • Affiliations:

  • Black Diamond Software, Inc. 127 Wilton Road East, Ridgefield, Connecticut

  • Venue:
  • ACM SIGMOD Record
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract

Universal quantification is expressed in ANSI SQL with negated existential quantification because there is no direct support for universal quantification in ANSI SQL. However, the lack of explicit support for universal quantification diminishes the userfriendliness of the language because some queries are expressed more naturally using universal quantification than they are using negated existential quantification. It is the intent of this paper to describe a technique to facilitate the construction of universal quantification queries in ANSI SQL. The technique is based upon a proposed extension to ANSI SQL to incorporate explicit general support for universal quantification.