Relational Model

Index

  1. Part I: Foundations
  2. 1 Introduction
  3. 2 Sets of ordered pairs
  4. 3 Function
  5. 4 Tuple
  6. 5 Relation
  7. 6 DEE and DUM
  8. 7 Relational Algebra
  9. 8 Formula of the relational calculus
  10. 9 Codd's theorem
  11. 10 Summary of relational theory
  12. 11 Untyped formalism of relational theory
  13. Part II: Meaning and database design
  14. 12 Natural language predicates
  15. 13 The relvar proposition
  16. 14 The database proposition
  17. 15 Relational Database Schema
  18. 16 Supplier-and-parts database
  19. 17 Many simple predicates
  20. 18 Fidelity
  21. 19 Microworlds
  22. Part III: Types and nested models
  23. 20 Tuple types
  24. 21 Tuple and relation types as first class citizens
  25. 22 Possreps
  26. 23 Two meanings of type constraint
  27. 24 Infinite types
  28. 25 Nested relational databases
  29. Part IV: Constraints and information decomposition
  30. 26 Key constraint
  31. 27 Information equivalence classes
  32. 28 Unique prime Cartesian factorisation of a relation
  33. 29 Proof of the unique prime Cartesian factorisation of a relation
  34. 30 Independently updatable variables
  35. 31 Maximal decomposition of information
  36. 32 Two monadic relations with an IND constraint
  37. 33 Unrolling a predicate
  38. 34 Factorisation of supplier and parts database schema
  39. 35 Using the PCF to select appropriate representations
  40. 36 Logical independence
  41. Part V: Views and updates
  42. 37 View update problem
  43. 38 Restriction views
  44. 39 View update problem - insert into a restriction
  45. 40 View update on projections
  46. 41 Join views
  47. 42 Principle of Interchangeability
  48. 43 Remove Duplicates
  49. 44 Additional relational operations
  50. Part VI: Applications and implementation
  51. 45 Relational model applications methodology
  52. 46 Events databases
  53. 47 Database Trigger
  54. 48 Asynchronous updates
  55. 49 Compensating actions
  56. 50 How to implement long running business processes
  57. 51 Interfacing CEDA to a conventional RDBMS
  58. 52 Imperative programming language variables
  59. 53 Conditionally existent L-values
  60. 54 Matches function to check whether the dbvar has a given dbvalue
  61. Part VII: Examples and exploratory notes
  62. 55 Objects in two rooms example
  63. 56 Musings on the Relational Model