A decomposition that always preserves every functional dependency

A decomposition that does not require foreign keys

A decomposition in which joining the decomposed tables produces exactly the original relation (no spurious tuples)

 A decomposition in which each new relation has fewer attributes than the original