Type Inheritance and Relational Theory

Index

For alphabetization purposes (a) differences in fonts and case are ignored; (b) quotation marks are ignored; (c) other punctuation symbols—hyphens, underscores, parentheses, etc.—are treated as blanks; (d) numerals precede letters; (e) blanks precede everything else. Note: There are no index entries for the definitions in Appendix C.

= (equality), 25

SQL, 492-493

:= (assignment), 25

^ (exponentiation), 34

(is defined as), 397

∈ (member of), 125

⊆ (included in), 309

⊂ (properly included in), 309

∪ (union), 136

∩ (intersection), 134

|T| (values constituting type T), 117

0-tuple, 70

1NF, xx, 509

alpha, 132, 242, 252-253

ancestor, 86

antisymmetry, 125

appearance (of a value), 21

argument, 60

argument contravariance, 212-214

“argument declared type,” 209

argument expression, 60

assignment (“:=”)

multiple, see multiple assignment

relational, see relational assignment

required, 26

tuple, see tuple assignment

with inheritance, 165-170, 332, 399-400

Assignment Principle, 25, 168, 267

Atkinson, Malcolm, 15, 73, 511

atomicity (scalar value), 28, 508-509

attribute, 46

extracting value from tuple, 49, 51

relation, 47

tuple, 46

SQL, 467

attribute FROM, 49, 51

available types, see GSAT

Baclawski, Kenneth, 73

Bancilhon, François, 15, 73, 511

BASE, 10, 50

base relvar, 9

based variable (PL/I), 529

Barry, Douglas K., 90, 151, 229, 443, 505, 509, 512

Becque, Henry, 175

Beech, David, 15, 511