1.3.09. Join equivalence

  • Equivalent to sequence
    • Cartesian product (X)
    • followed by Selection (s)
  • ACTUAL_DEPENDENTS =
    sSSN=ESSN(EMPNAMES X DEPENDENT)
  • or
  • ACTUAL_DEPENDENTS =
    EMPNAMES ⋈ SSN=ESSN(DEPENDENT)