Venn Diagram for Natural Join

Venn diagrams are not very helpful for understanding natural join or inner join. Most Venn diagrams associated with joins on Stack Overflow are parroted worthless misrepresentations–even in cases where a Venn diagram could be useful.

Here are some valid uses of Venn diagrams for SQL natural join:

If you ignore column order, we can have an area be a set whose elements are an associated table’s column names. Then the left & right circles’ elements are the left & right tables’ column names & the combined elements are the result’s column names.

If input table columns with the same name have the same type then we can have an area be the set whose elements are the subrow values that appear somewhere in a table for the common columns. Then the left & right circles’ elements are the left & right tables’ such subrow values & the intersection elements are the result’s such subrow values.

But neither diagram nor the pair tells us what the output rows are.

From my answer at CROSS JOIN vs INNER JOIN in SQL Server 2008:

Re Venn diagrams A Venn diagram with two intersecting circles can illustrate the difference between output rows for INNER, LEFT, RIGHT & FULL JOINs for the same input. And when the ON is unconditionally TRUE, the INNER JOIN result is the same as CROSS JOIN. Also it can illustrate the input & output rows for INTERSECT, UNION & EXCEPT. And when both inputs have the same columns, the INTERSECT result is the same as for standard SQL NATURAL JOIN, and the EXCEPT result is the same as for certain idioms involving LEFT & RIGHT JOIN. But it does not illustrate how (INNER) JOIN works in general. That just seems plausible at first glance. It can identify parts of input and/or output for special cases of ON, PKs (primary keys), FKs (foreign keys) and/or SELECT. All you have to do to see this is to identify what exactly are the elements of the sets represented by the circles. (Which muddled presentations never make clear.) (Remember that in general for joins output rows have different headings from input rows.)

I repeat with emphasis:

But it does not illustrate how (INNER) JOIN works in general.

All you have to do to see this is to identify what exactly are the elements of the sets represented by the circles.

From my comments (using “key” in the sense of “legend”) on an answer re its Venn diagram “Figure 1” for inner join:

Figure 1 is a common terrible attempt to explain JOIN. Its key is also complex: It’s only for tables as sets & only equijoin & only one [column]; it also represents the input differently than the output. Write it for JOIN in general.

From my comments on What is the difference between “INNER JOIN” and “OUTER JOIN”?:

Venn diagrams show elements in sets. Just try to identify exactly what the sets are and what the elements are in these diagrams. The sets aren’t the tables and the elements aren’t their rows. Also any two tables can be joined, so PKs & FKs are irrelvant. All bogus. You are doing just what thousands of others have done–got a vague impression you (wrongly) assume makes sense.

Of the answers & comments & their references below only one actually explains how Venn diagrams represent the operators: The circle intersection area represents the set of rows in A JOIN B. The area unique to each circle represents the set of rows you get by taking its table’s rows that don’t participate in A JOIN B and adding the columns unique to the other table all set to NULL. (And most give a vague bogus correspondence of the circles to A and B.)

So Venn diagrams are relevant for certain cases where tables can reasonably be considered to hold sets of row-valued elements. But in general SQL tables do not hold sets of row-valued elements, while Venn diagrams denote sets.

Re illustrating inner vs outer joins via Venn diagrams:

From my comment on LEFT JOIN vs. LEFT OUTER JOIN in SQL Server

Re Venn diagrams: If no nulls or duplicate rows are input, so we can take a table to be a set of row-valued values & use normal math =, then the Venn diagrams are OK–taking circles to hold left & right join output tables/sets. But if nulls or duplicate rows are input then it is so difficult to explain just what the circles are sets of & how those sets relate to input & output tables/bags that Venn diagrams are not helpful.

From my comment on my answer at What is the difference between “INNER JOIN” and “OUTER JOIN”?

I must admit that, despite my quick phrasing in comments, because SQL involves bags & nulls and SQL culture doesn’t have common terminology to name & distinguish between relevant notions, it is non-trivial even to explain clearly how elements of a Venn diagram are 1:1 with output “rows”, let alone input “rows”. Or what inner or outer joins do, let alone their difference. “value” may or may not include NULL, “row” may be a list of values vs a slot in a table value or variable & “=” may be SQL “=” vs equality.

PS Often diagrams are called Venn diagrams when they are really Euler diagrams.

Leave a Comment