1.3.08. Joins, canonical algebraic form

  • Conditional (on join condition)
    • Only combines tuples where true
  • Cartesian product (conditionless)
    • example of conditionless join
    • all tuples combined
    • R ⋈true S
  • ⋈, Binary operator
    e.g. R ⋈<join_condition> S