Constructor and Description |
---|
BasicChase(Iterable<Rule> rules,
T atomSet,
ChaseHaltingCondition haltingCondition) |
BasicChase(Iterable<Rule> rules,
T atomSet,
Homomorphism<ConjunctiveQuery,? super T> solver,
ChaseHaltingCondition haltingCondition) |
BreadthFirstChase(Iterable<Rule> rules,
AtomSet atomSet,
ChaseHaltingCondition haltingCondition) |
BreadthFirstChase(Iterable<Rule> rules,
AtomSet atomSet,
Homomorphism<ConjunctiveQuery,AtomSet> solver,
ChaseHaltingCondition haltingCondition) |
Modifier and Type | Class and Description |
---|---|
class |
FrontierRestrictedChaseHaltingCondition
This HaltingCondition will produce new data according to a rule, a
substitution and specified data if it has not already been applied with an
other substitution that maps the rule's frontier in the same way.
|
class |
HaltingConditionWithHandler |
class |
RestrictedChaseHaltingCondition
This HaltingCondition will produce new data according to a rule, a
substitution s and specified data if s cannot be extended to a homomorphism
from B ∪ H to F where B is the rule body, H the rule HEAD and F the data.
|
Modifier and Type | Method and Description |
---|---|
void |
HaltingConditionWithHandler.setRealChaseHaltingCondition(ChaseHaltingCondition c) |
Constructor and Description |
---|
HaltingConditionWithHandler(ChaseHaltingCondition c) |
HaltingConditionWithHandler(ChaseHaltingCondition c,
RuleApplicationHandler h) |
Modifier and Type | Method and Description |
---|---|
protected ChaseHaltingCondition |
AbstractRuleApplier.getHaltingCondition() |
Constructor and Description |
---|
AbstractRuleApplier(ChaseHaltingCondition haltingCondition)
Construct a DefaultRuleApplier with the given HaltingCondition.
|
AbstractRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver,
ChaseHaltingCondition haltingCondition)
Construct a DefaultRuleApplier with the given HaltingCondition,
homomorphism solver and SymbolGenerator
|
DefaultRuleApplier(ChaseHaltingCondition haltingCondition)
Construct a DefaultRuleApplier with the given HaltingCondition.
|
DefaultRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver,
ChaseHaltingCondition haltingCondition)
Construct a DefaultRuleApplier with the given HaltingCondition,
homomorphism solver and SymbolGenerator
|
ExhaustiveRuleApplier(ChaseHaltingCondition haltingCondition)
Construct a ExhaustiveRuleApplier with the given HaltingCondition.
|
ExhaustiveRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver,
ChaseHaltingCondition haltingCondition)
Construct a ExhaustiveRuleApplier with the given HaltingCondition,
homomorphism solver and SymbolGenerator
|
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.