The Relational Database Dictionary, Extended Edition

The Relational Database Dictionary, Extended Edition......Page 1
Contents......Page 3
Introduction......Page 6
The Running Example......Page 7
Technical Issues......Page 9
Acknowledgments......Page 13
6NF......Page 15
Unknown......Page 0
absolute complement......Page 17
aggregate operator......Page 18
ALPHA......Page 19
appearance......Page 20
argument......Page 21
Armstrong’s inference rules......Page 22
associativity......Page 23
atomic statement......Page 24
attribute extractor......Page 25
attribute value......Page 26
axiom of extension......Page 27
bag......Page 29
BI-IMPLIES......Page 31
Boolean algebra......Page 32
bound variable......Page 33
Boyce/Codd normal form......Page 34
business rule......Page 35
candidate key......Page 37
cardinality constraint......Page 38
Cartesian product......Page 39
cell......Page 40
Closed World Assumption, The......Page 41
Codd, E. F.......Page 42
column......Page 43
compensating action / compensatory action......Page 44
COMPOSE......Page 45
composition......Page 46
conjunctive normal form......Page 47
consistent......Page 48
contrapositive......Page 49
CWA......Page 50
data independence......Page 51
data modeling......Page 52
database constraint......Page 53
database programming language......Page 54
database variable......Page 55
De Morgan’s Laws......Page 56
default value......Page 57
DELETE......Page 58
dereferencing......Page 59
determinant......Page 60
directed relationship......Page 61
DISTINCT......Page 62
DK/NF......Page 63
domain-key normal form......Page 64
dot qualification......Page 65
dual......Page 66
duplicate......Page 67
dyadic......Page 68
empty foreign key......Page 69
empty set......Page 70
entity modeling......Page 71
EQUIV......Page 72
equivalence......Page 73
equivalence relation......Page 74
essentiality......Page 75
existential quantifier......Page 76
expression......Page 77
extension......Page 78
external predicate......Page 79
FD preservation......Page 81
fifth normal form......Page 82
first order logic......Page 83
foreign key......Page 84
formal......Page 85
fourth normal form......Page 86
free variable......Page 87
function......Page 88
functional dependency......Page 89
functionally determines......Page 90
Great Divide......Page 91
group......Page 93
grouping......Page 94
heading......Page 95
host language......Page 96
identity projection......Page 97
image relation......Page 98
implementation defined......Page 100
implication......Page 101
IMPLIES......Page 102
inclusion dependency......Page 103
information equivalence......Page 104
INSERT......Page 105
instantiation......Page 106
intelligent key......Page 107
intersection......Page 108
inverse......Page 109
isomorphism......Page 110
joinable......Page 113
join trap......Page 114
key inference......Page 115
Laws of Algebra, The......Page 117
literal......Page 118
logical implication......Page 119
lossy decomposition......Page 120
many-to-one correspondence......Page 121
materialized view......Page 122
missing information......Page 123
multidetermines......Page 124
multivalued dependency......Page 125
MVD implied by a superkey......Page 126
natural join......Page 127
NF²......Page 128
nonnegative......Page 129
normalization principles......Page 130
NOT MATCHING......Page 131
nVL......Page 132
one-to-many correspondence......Page 133
open WFF......Page 134
operator......Page 135
ordering......Page 136
ordinal type......Page 137
overloading......Page 138
OWA......Page 139
partial ordering......Page 141
placeholder......Page 142
power set......Page 143
predicate variable......Page 144
prenex normal form......Page 145
primitive operator......Page 146
Principle of Cautious Design, The......Page 147
Principle of Orthogonal Design, The......Page 148
projection-join normal form......Page 149
proposition......Page 150
pseudovariable reference......Page 152
quota query......Page 155
read-only operator......Page 157
recursive query......Page 158
referential cycle......Page 159
relation (mathematics)......Page 160
relation constant......Page 161
relation schema / relation scheme......Page 162
relation value......Page 163
relational algebra......Page 164
relational completeness......Page 165
relational inclusion......Page 166
relational operator......Page 167
relvar constraint......Page 168
relvar predicate......Page 169
renaming......Page 170
restriction......Page 171
restriction condition......Page 172
RM/T......Page 173
RVA......Page 174
scalar value......Page 175
second order logic......Page 176
SELECT expression......Page 177
selector......Page 178
semantic modeling......Page 179
SEMIJOIN......Page 180
set function......Page 181
SI prefixes......Page 182
single-relvar constraint......Page 184
Skolem constant......Page 185
Small Divide......Page 186
sort/merge......Page 187
statement......Page 188
subject to update......Page 189
subtuple......Page 190
summarization......Page 191
superkey......Page 192
syntactic......Page 193
system defined......Page 194
TABLE_DEE and TABLE_DUM......Page 195
temporal database......Page 196
theta join......Page 197
three-valued logic......Page 198
transaction......Page 199
transitive closure......Page 200
triggered procedure......Page 201
truth table......Page 202
truth valued operator......Page 203
tuple component......Page 204
tuple equality......Page 205
tuple ID......Page 206
tuple renaming......Page 207
tuple union......Page 208
tuple valued attribute......Page 209
Tutorial D......Page 210
type constraint......Page 211
type inference......Page 212
type inheritance......Page 213
ungrouping......Page 215
union (set theory)......Page 216
universal quantifier......Page 217
unsorted logic......Page 218
UPDATE......Page 219
update operator......Page 220
user defined......Page 221
variable......Page 223
view......Page 224
virtual relvar......Page 225
WITH......Page 227
wrapping......Page 228
XOR......Page 229
Copyright......Page 230