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

Class AbstractSelfJoinSimplifier<C extends FunctionalDependency>

java.lang.Object

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

Direct Known Subclasses:

SelfJoinUCIQOptimizerImpl.SelfJoinUCSimplifier

public abstract class AbstractSelfJoinSimplifier<C extends FunctionalDependency>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AbstractSelfJoinSimplifier.DeterminantGroupEvaluation
protected static class	AbstractSelfJoinSimplifier.NormalizationBeforeUnification
protected static class	AbstractSelfJoinSimplifier.OptimizationState If extensional data nodes are empty, insert an EmptyNode

Field Summary

Fields

Modifier and Type	Field and Description
protected IntermediateQueryFactory	iqFactory
protected SubstitutionFactory	substitutionFactory
protected TermFactory	termFactory
protected ImmutableUnificationTools	unificationTools

Constructor Summary

Constructors

Constructor and Description
AbstractSelfJoinSimplifier(CoreSingletons coreSingletons)

Method Summary

Modifier and Type	Method and Description
protected abstract Optional<AbstractSelfJoinSimplifier.DeterminantGroupEvaluation>	evaluateDeterminantGroup(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<VariableOrGroundTerm> determinants, Collection<ExtensionalDataNode> dataNodes, C constraint)
protected abstract Stream<C>	extractConstraints(RelationDefinition relationDefinition)
protected AbstractSelfJoinSimplifier.NormalizationBeforeUnification	normalizeDataNodes(Collection<ExtensionalDataNode> dataNodes, UniqueConstraint constraint) TODO: we don't need to remove the functional terms for the determinants
protected AbstractSelfJoinSimplifier.OptimizationState	optimizeExtensionalDataNodes(RelationDefinition relationDefinition, Collection<ExtensionalDataNode> dataNodes)
IQTree	transformInnerJoin(InnerJoinNode rootNode, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
protected Optional<ImmutableUnificationTools.ArgumentMapUnification>	unifyDataNodes(Stream<ExtensionalDataNode> dataNodes)

Methods inherited from class java.lang.Object

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

Field Detail

iqFactory

protected final IntermediateQueryFactory iqFactory

termFactory

protected final TermFactory termFactory

unificationTools

protected final ImmutableUnificationTools unificationTools

substitutionFactory

protected final SubstitutionFactory substitutionFactory

Constructor Detail

AbstractSelfJoinSimplifier

public AbstractSelfJoinSimplifier(CoreSingletons coreSingletons)

Method Detail

transformInnerJoin

public IQTree transformInnerJoin(InnerJoinNode rootNode,
                                 it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children,
                                 it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)

optimizeExtensionalDataNodes

protected AbstractSelfJoinSimplifier.OptimizationState optimizeExtensionalDataNodes(RelationDefinition relationDefinition,
                                                                                    Collection<ExtensionalDataNode> dataNodes)

extractConstraints

protected abstract Stream<C> extractConstraints(RelationDefinition relationDefinition)

evaluateDeterminantGroup

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

unifyDataNodes

protected Optional<ImmutableUnificationTools.ArgumentMapUnification> unifyDataNodes(Stream<ExtensionalDataNode> dataNodes)

normalizeDataNodes

protected AbstractSelfJoinSimplifier.NormalizationBeforeUnification normalizeDataNodes(Collection<ExtensionalDataNode> dataNodes,
                                                                                       UniqueConstraint constraint)

TODO: we don't need to remove the functional terms for the determinants