Plouj

          class FunctionalDependency {                  LinkedList<String> LeftHandSide;                  LinkedList<String> RightHandSide;...          class Relation {                  LinkedList<FunctionalDependency> FDs;...                  public Relation elimRedundantAttributes() {                          Relation R = new Relation(FDs);                          for (FunctionalDependency fd: R.getFDs()) {                                  if (fd.getLHS().size() > 1) {                                          for (Iterator<String> AttrList = fd.getLHS().iterator();                                                          AttrList.hasNext(); ) {                                                  String A = AttrList.next();                                                  // can we eliminate this attribute from the LHS?                                                  FunctionalDependency smallerFD = fd.removeLHS(A);                                                  Relation altRel = R.removeFD(fd);                                                  altRel = altRel.addFD(smallerFD);                                                                                                    if (altRel.closureOfAttributeSet(smallerFD.getLHS()).containsAll(fd.getLHS())                                                          // apparently yes                                                          System.out.println(A+" is redundant in "+fd);                                                          // remove it from the original LHS somehow...                                                  }                                          }                                  }                          }                          return R;                  }