Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Given the augmentation axiom and the decomposition axioms of functional dependencies and a relation of R(A,B,C) with an FD of:
A -> B
I can augment A -> B with C to get AC -> BC.
Can I then decompose AC -> BC to get AC -> B?
Community wiki answer:
Yes. You can decompose to get AC -> B and AC -> C.
AC -> B
AC -> C
Required, but never shown