Relational Theory for Computer Professionals

Index

A note on the digital index

A link in an index entry is displayed as the section title in which that entry appears. Because some sections have multiple index markers, it is not unusual for an entry to have several links to the same section. Clicking on any link will take you directly to the place in the text in which the marker appears.

Symbols

!! (image relation reference), Image relations

0-tuple, TABLE_DUM and TABLE_DEE

1NF, Properties of Relations (see first normal form)

2NF, Irreducible FDs (see second normal form)

3NF, Third normal form (see third normal form)

|| (concatenation), More on Types

ε (set membership), What’s a set?

θ-join, Evaluating table expressions

– (set difference), Answers

∀ (universal quantifier), Sample queries

∃ (existential quantifier), Sample queries

∩ (set intersection), Answers

∪ (set union), Exercises

≡ (equivalent to), Answers II, Exercises

⊂ (properly included in), Intersection Revisited, Subsets and supersets

⊃ (properly includes), Intersection Revisited, Subsets and supersets

⊆ (included in), Intersection Revisited, What’s a set?, Subsets and supersets

⫆ (includes), Intersection Revisited, What’s a set?, Subsets and supersets

A

A, Intersection Revisited

absorption laws, Exercises II, Some identities

ACID properties, Recovery

aggregate operator, Image relations, Summarization, Explicit SUMMARIZE, Summarization, Summarization

empty argument, Summarization

empty argument (SQL), Summarization

SQL analog, Summarization

vs. summary, Explicit SUMMARIZE (see summary)

algebra, ...