This normal form, more restrictive than Third Normal Form (3NF), guarantees that a database is free from certain types of anomalies and dependencies, especially non-trivial functional dependencies.