From 432601544de236344f7f2f89bab21163f435da8e Mon Sep 17 00:00:00 2001 From: hardroadcrush <130765493+hardroadcrush@users.noreply.github.com> Date: Tue, 31 Mar 2026 01:48:19 -0900 Subject: [PATCH] Update sidenote-format-arrow.html Made the explanation more easy to understand --- tutorials/online/sidenote-format-arrow.html | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) 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.