diff --git a/tutorials/online/sidenote-format-arrow.html b/tutorials/online/sidenote-format-arrow.html index d444dcf..da214f6 100644 --- a/tutorials/online/sidenote-format-arrow.html +++ b/tutorials/online/sidenote-format-arrow.html @@ -5,17 +5,16 @@ -

Syntax for the relational product (->) - operator

+

Syntax for the relational product (->) operator

The "->" operator is a relational product. -

"The product p->q of two relations - p and q is the relation you get by - taking every combination of a tuple from p and a - tuple from q and concatenating them. In other +

The product p->q of two relations + p and q is the set of all possible tuples you can get by + taking an element from p and an + element from q and concatenating them. In other words, it's like join, but without the matching and dropping - of the intermediate atom." + of the intermediate atom.