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.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.
