I have this relation:
R = ABCDE F: AB->DE, AC->B, DE->C, AE->C, C->AB.
Is AC->B a partial dependency in F?
I'm guessing it is, because
C->AB can be decomposed to
from where we can conclude that there exists a subset of AC (C in our case) which goes into B, that is
I couldn't find a formal definition on the internet, so I would like it if someone could confirm my assumption.