- 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
In Focus
1.3.08. Joins, canonical algebraic form