Haan, Lex De

Applied Mathematics for Database Professionals Lex De Haan; Toon Koppelaars - Berkeley: Apress, 2022. - xxviii, 376 p.

PART 1 The Mathematics
CHAPTER 1 Logic: Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
CHAPTER 2 Set Theory: Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
CHAPTER 3 Some More Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
CHAPTER 4 Relations and Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
PART 2The Application
CHAPTER 5 Tables and Database States. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
CHAPTER 6 Tuple, Table, and Database Predicates . . . . . . . . . . . . . . . . . . . . . . . . 117
CHAPTER 7 Specifying Database Designs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
CHAPTER 8 Specifying State Transition Constraints. . . . . . . . . . . . . . . . . . . . . . . . 185
CHAPTER 9 Data Retrieval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
CHAPTER 10 Data Manipulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221
PART 3 The Implementation
CHAPTER 11 Implementing Database Designs in Oracle. . . . . . . . . . . . . . . . . . . . . 241
CHAPTER 12 Summary and Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305

9781484290156


Applied Mathematics

510 / HAA