Suponha que tenhamos uma relação R(A, B, C) com o FD A -> B. Digamos que, para duas tuplas t e u em R, se t[C] e u[C] satisfazem uma condição booleana - digamos menos que uma constante C - então t[B] = u[B]. Isso constitui uma dependência funcional?
Em um sentido mais prático, como normalizar essa relação e eliminar a redundância clara em R(A, B, C) e permitir junções sem perdas?
deixe R ser Person(id,age,drivers_licence_number)
deixe a condição ser
age<5Claramente, drivers_license_number não depende funcionalmente da idade, pois duas pessoas com a mesma idade têm diferentes drivers_license_numbers. Mas nenhuma pessoa com menos de 5 anos tem um driver_license_number.
Como o relacionamento não é uma dependência funcional, dividir essa relação não seria uma normalização.