000 01884nam a2200169 4500
020 _a9781484290156
082 _a510
_bHAA
084 _2Colon Classification
100 _aHaan, Lex De
245 _aApplied Mathematics for Database Professionals
_c Lex De Haan; Toon Koppelaars
260 _aBerkeley:
_bApress,
_c2022.
300 _axxviii, 376 p.
505 _aPART 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
650 _aApplied Mathematics
700 _aKoppelaars, Toon
942 _cBK
999 _c694621
_d694621