public DatalogDependencyGraphGenerator(List<CQIE> program) { for (CQIE rule : program) { updateRuleIndexes(rule); updatePredicateDependencyGraph(rule); } generateRuleDependencyGraph(program); generateOrderedDepGraph(); /** * * Intuitively, the extensional predicates in the datalog program without * definitions * * <pre> * extensionalPredicates = vertices(predicateDependencyGraph) - ruleIndex.keys() * </pre> */ extensionalPredicates.addAll(predicateDependencyGraph.vertexSet()); extensionalPredicates.removeAll(ruleIndex.keySet()); }
public DatalogDependencyGraphGenerator(List<CQIE> program) { for (CQIE rule : program) { updateRuleIndexes(rule); updatePredicateDependencyGraph(rule); } generateRuleDependencyGraph(program); generateOrderedDepGraph(); /** * * Intuitively, the extenion predicates in the datalog program without * definitions * * <pre> * extensionalPredicates = vertices(predicateDependencyGraph) - ruleIndex.keys() * </pre> */ extensionalPredicates.addAll(predicateDependencyGraph.vertexSet()); extensionalPredicates.removeAll(ruleIndex.keySet()); }