A query language should both rely safely on formal logic and suggest, with its syntax, the correct interpretation. This paper shows that a syntactic construct of SQL, which allows the expression of queries involving universal quantification of tuple-variables, does not satisfy the above requirement and suggests how the construct could be modified in order to avoid wrong interpretations.

Semantics and problems of Universal quantification in SQL

NEGRI, MAURO;PELAGATTI, GIUSEPPE;SBATTELLA, LICIA
1989-01-01

Abstract

A query language should both rely safely on formal logic and suggest, with its syntax, the correct interpretation. This paper shows that a syntactic construct of SQL, which allows the expression of queries involving universal quantification of tuple-variables, does not satisfy the above requirement and suggests how the construct could be modified in order to avoid wrong interpretations.
1989
File in questo prodotto:
File Dimensione Formato  
635096-Semantics and.pdf

Accesso riservato

: Altro materiale allegato
Dimensione 1.44 MB
Formato Adobe PDF
1.44 MB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/635096
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact