it.unibz.inf.ontop.iq.optimizer.impl

Class SelfJoinUCIQOptimizerImpl.SelfJoinUCSimplifier

java.lang.Object

it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier<UniqueConstraint>

it.unibz.inf.ontop.iq.optimizer.impl.SelfJoinUCIQOptimizerImpl.SelfJoinUCSimplifier

Enclosing class:

SelfJoinUCIQOptimizerImpl

protected static class SelfJoinUCIQOptimizerImpl.SelfJoinUCSimplifier
extends AbstractSelfJoinSimplifier<UniqueConstraint>

Nested Class Summary

Nested classes/interfaces inherited from class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

AbstractSelfJoinSimplifier.DeterminantGroupEvaluation, AbstractSelfJoinSimplifier.NormalizationBeforeUnification, AbstractSelfJoinSimplifier.OptimizationState

Field Summary

Fields inherited from class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

iqFactory, substitutionFactory, termFactory, unificationTools

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SelfJoinUCSimplifier(CoreSingletons coreSingletons)

Method Summary

Modifier and Type	Method and Description
protected boolean	canEliminateNodes()
protected Optional<AbstractSelfJoinSimplifier.DeterminantGroupEvaluation>	evaluateDeterminantGroup(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<VariableOrGroundTerm> determinants, Collection<ExtensionalDataNode> dataNodes, UniqueConstraint constraint)
protected Stream<UniqueConstraint>	extractConstraints(RelationDefinition relationDefinition)
protected boolean	hasConstraint(ExtensionalDataNode node)

Methods inherited from class it.unibz.inf.ontop.iq.optimizer.impl.AbstractSelfJoinSimplifier

normalizeDataNodes, optimizeExtensionalDataNodes, transformInnerJoin, unifyDataNodes

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SelfJoinUCSimplifier

@Inject
protected SelfJoinUCSimplifier(CoreSingletons coreSingletons)

Method Detail

canEliminateNodes

protected boolean canEliminateNodes()

Specified by:

canEliminateNodes in class AbstractSelfJoinSimplifier<UniqueConstraint>

hasConstraint

protected boolean hasConstraint(ExtensionalDataNode node)

Specified by:

hasConstraint in class AbstractSelfJoinSimplifier<UniqueConstraint>

extractConstraints

protected Stream<UniqueConstraint> extractConstraints(RelationDefinition relationDefinition)

Specified by:

extractConstraints in class AbstractSelfJoinSimplifier<UniqueConstraint>

evaluateDeterminantGroup

protected Optional<AbstractSelfJoinSimplifier.DeterminantGroupEvaluation> evaluateDeterminantGroup(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<VariableOrGroundTerm> determinants,
                                                                                                   Collection<ExtensionalDataNode> dataNodes,
                                                                                                   UniqueConstraint constraint)

Specified by:

evaluateDeterminantGroup in class AbstractSelfJoinSimplifier<UniqueConstraint>