Plouj

given a LinkedList of FDs

for each FD
   for each attribute in the LeftHandSide LinkedList
      if this attribute can be removed
         remove it - modifying the original FD