I'm reading about lossless join decomposition and working on the following example: R(ABCDE) decomposed into R1(ABC), R2(BCD), R3(ACE). The functional dependencies are A->D, D->E, B->D.
When I apply the "tableau" method I find the decomposition to be a non lossless join. Is there any way to use the tableau for getting an example that shows how you get spurious tuples when joining back the relations of the decomposition?