private void processDependency(Dependency dependency) {
assignAuthoritativeSources(dependency);
aliasAssigner.assignAliases(dependency);
variableFinder.findVariables(
dependency, task.getSource().getTableNames(), task.getAuthoritativeSources());
checker.checkVariables(dependency);
equivalenceClassFinder.findVariableEquivalenceClasses(dependency);
}
public void addDC(Dependency d) {
if (!(d.getConclusion() instanceof NullFormula)) {
throw new ParserException("DC must have no conclusion");
}
IDatabase source = task.getSource();
List<String> sourceTables = source.getTableNames();
IDatabase target = task.getTarget();
List<String> targetTables = target.getTableNames();
checkAtomsForDCs(sourceTables, targetTables, d.getPremise());
this.dcs.add(d);
}
