Associatività di quest'operatore

[daffeen]

Ciao, vorrei sapere se quest'operazione su insiemi è associativa:
A ° B = { (a1,...an,b1,...bm) / (a1,...an) \(\displaystyle \in \) A AND (b1,...,bm) \(\displaystyle \in \) B AND \(\displaystyle \exists \) ai = bi )

Questa è in realtà la definizione della funzione JOIN in SQL (spero di averla scritta correttamente).
Sostanzialmente mi piacerebbe conoscere la dimostrazione dell'associatività di quest'operazione.
Vi ringrazio anticipatamente <3.

[solaàl]

Che numeri sono $n,m$? Stai enumerando tutti gli elementi di $A$ e di $B$, oppure ne stai prendendo solo alcuni?

[daffeen]

Che numeri sono $n,m$? Stai enumerando tutti gli elementi di $A$ e di $B$, oppure ne stai prendendo solo alcuni?

Ciao, innanzitutto grazie per la risposta.
Ho ipotizzato che l'insieme A è un insieme di n-uple, mentre l'insieme B è un "m-uple".
Spero di essere stato chiaro.

In poche parole A°B sta ad indicare "unisci tutte le n-uple con tutte le m-uple in modo da formare una "m+n"-upla se e solo se data una $i, ai = bi ".
In realtà potrebbe essere ancora più generico scritto come
"... se e solo se data una (i1,...ih) , ai = bi , .... , ah = bh ".
Ti ringrazio ancora per l'attenzione

[solaàl]

Allora, vediamo; avevo imparato un paio di cose di SQL anni fa.

Hai due insiemi $A,B$ e stai considerando l'insieme (credo per $n,m$ fissati?) costruito a questo modo:
\[ A \circ B = \{(\underline a, \underline b) \mid \underline a \in A^n, \, \underline b \in B^m,\, \exists i \le \min\{n,m\} \colon a_i = b_i \}\] e vuoi sapere se questa operazione è associativa, ossia se dati tre insiemi a caso $A,B,C$ si ha $(A \circ B)\circ C = A \circ (B \circ C)$.

Giusto?

[daffeen]

Allora, vediamo; avevo imparato un paio di cose di SQL anni fa.

Hai due insiemi $A,B$ e stai considerando l'insieme (credo per $n,m$ fissati?) costruito a questo modo:
\[ A \circ B = \{(\underline a, \underline b) \mid \underline a \in A^n, \, \underline b \in B^m,\, \exists i \le \min\{n,m\} \colon a_i = b_i \}\] e vuoi sapere se questa operazione è associativa, ossia se dati tre insiemi a caso $A,B,C$ si ha $(A \circ B)\circ C = A \circ (B \circ C)$.

Giusto?

Ciao, esattamente!

[daffeen]

Allora, vediamo; avevo imparato un paio di cose di SQL anni fa.

Hai due insiemi $A,B$ e stai considerando l'insieme (credo per $n,m$ fissati?) costruito a questo modo:
\[ A \circ B = \{(\underline a, \underline b) \mid \underline a \in A^n, \, \underline b \in B^m,\, \exists i \le \min\{n,m\} \colon a_i = b_i \}\] e vuoi sapere se questa operazione è associativa, ossia se dati tre insiemi a caso $A,B,C$ si ha $(A \circ B)\circ C = A \circ (B \circ C)$.

Giusto?

In realtà un altro dubbio riguarda questa parte:
\(\displaystyle \exists i \le \min\{n,m\} \colon a_i = b_i \)
perché non è detto che tra A e B confronto solo un attributo, d'altro canto però come l'hai scritta tu potrebbe essere il modo più generale possibile?
Cioè tra A e B potrei fare il join su 2 attributi, e poi (A°B)°C su 3...