Last update: Sat Jan  6 02:03:49 MST 2018
              
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Negri:1989:SNS,
  author =       "M. Negri and G. Pelagatti and L. Sbattella",
  title =        "Short Notes: Semantics and Problems of Universal
                 Quantification in {SQL}",
  journal =      j-COMP-J,
  volume =       "32",
  number =       "1",
  pages =        "90--91",
  month =        feb,
  year =         "1989",
  CODEN =        "CMPJA6",
  DOI =          "https://doi.org/10.1093/comjnl/32.1.90",
  ISSN =         "0010-4620 (print), 1460-2067 (electronic)",
  ISSN-L =       "0010-4620",
  bibdate =      "Tue Dec 4 14:48:26 MST 2012",
  bibsource =    "Compendex database;
                 http://comjnl.oxfordjournals.org/content/32/1.toc;
                 http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/",
  URL =          "http://comjnl.oxfordjournals.org/content/32/1/90.full.pdf+html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/90.tif;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/91.tif",
  acknowledgement = ack-nhfb,
  affiliation =  "Dipartimento di Autom. Ind., Univ. Statale di
                 Brescia",
  affiliationaddress = "Brescia, Italy",
  classcodes =   "C6160D (Relational DBMS); C6140D (High level
                 languages)",
  classification = "723; C6140D (High level languages); C6160D
                 (Relational DBMS)",
  corpsource =   "Dipartimento di Autom. Ind., Univ. Statale di Brescia,
                 Italy",
  fjournal =     "The Computer Journal",
  journal-URL =  "http://comjnl.oxfordjournals.org/",
  keywords =     "Database Systems; Formal logic; formal logic; Query
                 language; query language; Query Languages; query
                 languages; relational database access; relational
                 databases; SOL; SQL; Syntactic construct; syntactic
                 construct; Syntax; syntax; Tuple-variables;
                 tuple-variables; Universal quantification; universal
                 quantification; Universal Quantification, Relational
                 database access",
  thesaurus =    "Query languages; Relational databases",
  treatment =    "P Practical",
}
Related entries
- access,
23(2)124,
23(2)188,
25(1)74,
25(1)140,
25(2)193,
25(4)486,
26(1)10,
26(2)113,
27(1)3,
27(3)270,
28(3)291,
28(4)398,
28(4)409,
29(1)9,
29(2)167,
29(6)527,
30(2)157,
30(3)249,
30(4)343,
30(5)451,
30(6)485,
30(6)529,
31(1)41,
31(2)116,
31(2)147,
31(3)209,
31(6)503,
32(1)24,
32(2)162,
32(4)362
 
- C6140D,
32(1)36,
32(2)127,
32(2)152,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413
 
- C6160D,
31(6)550,
32(1)63
 
- construct,
27(1)83,
27(2)97,
28(2)162,
29(5)404,
29(5)423,
29(6)506,
30(6)487,
31(3)243,
31(6)531
 
- DBMS,
23(1)53,
25(2)169,
25(3)368,
25(4)448,
25(4)486,
26(3)218,
26(3)228,
27(3)209,
27(3)218,
28(2)170,
28(4)372,
28(4)391,
30(6)485,
31(2)99,
31(2)182,
31(6)490,
31(6)550,
31(6)570,
32(1)55,
32(1)63,
32(1)68,
32(4)333
 
- formal,
27(2)121,
28(1)59,
28(2)112,
28(2)162,
28(5)474,
28(5)480,
29(6)481,
30(2)134,
30(2)183,
30(4)316,
30(4)328,
30(4)337,
30(6)507,
31(4)313,
31(4)325,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)1,
32(1)36,
32(1)91,
32(4)290,
32(4)305,
32(4)351,
32(5)385,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(5)445
 
- high,
23(2)124,
23(2)153,
24(1)56,
25(1)153,
25(2)176,
25(2)264,
25(3)289,
26(1)52,
26(1)72,
26(2)124,
26(2)175,
26(3)228,
26(3)277,
26(4)344,
26(4)360,
26(4)366,
27(1)37,
27(1)83,
27(2)97,
27(2)151,
28(1)34,
28(3)231,
28(3)250,
28(4)391,
29(2)118,
29(3)229,
29(3)253,
29(4)289,
29(4)340,
29(6)500,
29(6)506,
29(6)538,
30(2)128,
30(5)437,
30(6)487,
30(6)558,
31(2)99,
31(2)110,
31(3)220,
31(3)243,
32(1)36,
32(2)127,
32(2)152,
32(2)162,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413
 
- level,
23(2)124,
23(2)153,
24(1)25,
24(1)56,
24(1)62,
25(1)153,
25(2)176,
25(2)264,
25(3)289,
25(4)429,
26(1)52,
26(1)72,
26(2)124,
26(2)175,
26(2)188,
26(3)228,
26(3)235,
26(3)277,
26(4)344,
26(4)360,
26(4)366,
27(1)83,
27(2)97,
27(2)151,
27(4)334,
28(1)34,
28(3)250,
28(4)357,
29(2)118,
29(3)229,
29(3)253,
29(4)340,
29(6)500,
29(6)506,
29(6)538,
30(1)52,
30(2)128,
30(5)437,
30(6)487,
31(2)99,
31(2)110,
31(3)220,
31(3)229,
31(3)243,
31(4)344,
32(1)36,
32(2)127,
32(2)152,
32(2)162,
32(4)290,
32(4)297,
32(4)305,
32(4)312,
32(4)323,
32(4)341,
32(5)413
 
- logic,
23(2)165,
23(2)191,
25(1)140,
25(2)218,
25(2)287,
27(3)260,
28(2)112,
28(5)474,
28(5)487,
29(1)9,
29(1)12,
29(1)17,
29(3)241,
29(3)246,
29(6)481,
29(6)495,
29(6)545,
30(1)77,
30(2)134,
30(2)183,
30(3)258,
30(3)283,
30(5)386,
30(5)393,
31(2)133,
31(3)220,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)29,
32(1)36,
32(1)91,
32(4)290,
32(5)399,
32(5)445,
32(5)453
 
- note,
24(3)278,
25(1)158,
25(1)159,
25(3)397,
26(1)93,
26(2)187,
26(2)187,
26(2)188-1,
26(3)205,
26(3)282,
27(1)83,
27(1)84,
27(1)86,
27(1)87,
27(2)179,
27(3)283-1,
27(3)283-3,
27(3)284,
27(3)284-1,
27(4)373,
27(4)375,
27(4)376,
28(2)111,
28(3)343,
29(2)189-1,
29(4)378,
29(4)380-1,
29(5)477,
29(6)572,
29(6)573,
30(2)189,
30(3)276-1,
30(3)276-2,
30(3)282-1,
30(3)283,
30(4)376,
30(4)378,
31(3)285,
31(5)474,
31(6)564,
31(6)565,
31(6)567,
31(6)570,
32(1)13,
32(1)16,
32(1)91,
32(1)93,
32(2)187,
32(3)281,
32(4)377,
32(5)474
 
- query,
24(1)56,
24(2)125,
25(1)2,
25(2)239,
26(3)239,
27(4)301,
28(2)154,
28(2)162,
28(3)282,
29(1)38,
29(1)76,
29(2)176,
29(5)451,
30(2)157,
30(6)535,
31(1)34,
31(1)41,
31(2)133,
31(2)155,
31(4)344,
32(1)55,
32(3)220
 
- relational,
24(2)112,
24(4)312,
25(1)68,
25(1)135,
27(4)301,
28(1)82,
28(2)162,
28(2)170,
28(4)391,
28(4)398,
28(5)501,
29(1)38,
29(3)261,
29(4)348,
29(4)378,
29(4)378,
29(5)451,
29(5)458,
30(2)157,
30(5)404,
30(5)437,
31(1)34,
31(1)41,
31(1)51,
31(2)125,
31(2)141,
31(2)147,
31(2)155,
31(3)253,
31(3)258,
31(6)550,
32(1)63
 
- semantic,
23(2)132,
23(3)212,
23(4)317,
24(1)56,
24(2)125,
25(1)63,
25(2)264,
25(3)331,
26(2)124,
26(2)164,
26(3)228,
27(1)83,
27(3)233,
28(2)112,
28(2)162,
28(3)250,
28(4)357,
28(5)480,
29(1)33,
29(2)151,
29(3)241,
29(5)404,
30(2)128,
30(3)239,
30(4)328,
30(6)498,
31(1)9,
31(2)141,
31(3)193,
32(2)108,
32(2)152,
32(4)290,
32(5)422
 
- short,
25(1)158,
26(1)93,
26(2)187,
26(2)188-1,
26(3)282,
27(1)83,
27(1)84,
27(1)86,
27(1)87,
27(3)283-1,
27(3)283-3,
27(3)284-1,
27(4)373,
27(4)375,
27(4)376,
28(2)111,
29(2)189-1,
29(4)378,
29(4)380-1,
29(5)477,
29(6)572,
29(6)573,
30(2)189,
30(3)282-1,
30(3)283,
30(4)376,
30(4)378,
31(3)285,
31(5)474,
31(6)564,
31(6)565,
31(6)567,
31(6)570,
32(1)91,
32(1)93,
32(2)152,
32(2)187,
32(3)281,
32(4)377,
32(5)474
 
- syntactic,
23(4)317,
24(2)143,
25(3)331,
27(1)83,
29(3)241
 
- syntax,
23(3)212,
24(1)56,
24(2)125,
26(1)15,
26(2)142,
28(1)29,
28(1)34,
28(3)250,
31(2)125,
32(5)422
 
- universal,
23(1)53,
24(3)193,
32(1)55