Provo a rispiegare meglio cosa ho scritto al punto 4 in quanto alcuni colleghi non hanno afferrato subito, sperando di confutare ogni dubbio. Un'ulteriore spiegazione è nel documento PDF allegato. Stiamo valutando A°(B°C) [procedimento speculare per (A°B)°C]. Ipotizziamo che B°C = T, dunque dobbiamo fare A°T. Ipotizziamo di prendere ai ∈ A e ti ∈ T (con 'i' pedice). Come faccio a sapere se ai e ti sono in relazione? Confronto gli attributi su cui ho fatto il JOIN. Gli attributi di T sono quelli di B e C. NB (punto critico). Posso fare il JOIN tra A e T confrontando solo gli attributi di A e dell' "ex" B (senza dunque confrontare gli attributi di C), ma un non-confronto equivale a una condizione soddisfatta, basti pensare che il JOIN tra due tabelle senza condizione equivale al prodotto cartesiano (tutte le condizioni sono soddisfatte). Un piccolo esempio spiegato su PasteBin: pastebin.com/hbWVxSRU EDIT non pensavo potesse suscitare interesse tra i colleghi, grazie!