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?