brin-extensibility-inclusion-table was confused in places about the
difference between strategy 4 (RTOverRight) and strategy 5 (RTRight).
Alexander Law
|
Operator Strategy 4
- operator right-of
- Operator Strategy 2
+ operator does-not-extend-to-the-left-of
+ Operator Strategy 1
|
Operator Strategy 5
- operator does-not-extend-to-the-right-of
- Operator Strategy 1
+ operator right-of
+ Operator Strategy 2
|
Operator Strategy 6, 18
|
Operator Strategy 20
operator less-than
- Operator Strategy 4
+ Operator Strategy 5
|
Operator Strategy 21
operator less-than-or-equal-to
- Operator Strategy 4
+ Operator Strategy 5
|
Operator Strategy 22