Lossless-join is a property of decomposition, which ensures that no spurious tuples are generated when relations are reunited through a natural join operation.Now let’s try to understand fifth normal form. When decomposing a relation into multiple relations for minimizing redundency, it might introduce join dependency, that might create spurious tuples when they are reunited.
For a relationConsidering this, definition of fifth normal form goes asR
with subsets of the attributes ofR
denoted asA
,B
, ...,Z
, a relationR
satisfies a join dependency if and only if every legal value ofR
is equal to the join its projections onA
,B
, ...,Z
.
A relation is in fifth normal form if it is in 4NF, and won’t have join dependency.
Since this is very rare to see in database design, let’s try to understand with an example. See the table that contains how Lecturers teaches Subjects related to Courses. |