it.unibz.inf.ontop.iq.node

Interface NaryOperatorNode

All Superinterfaces:

Cloneable, QueryNode

All Known Subinterfaces:

CommutativeJoinNode, InnerJoinLikeNode, InnerJoinNode, UnionNode

All Known Implementing Classes:

InnerJoinNodeImpl, UnionNodeImpl

public interface NaryOperatorNode
extends QueryNode

Has at least two children

Method Summary

Modifier and Type	Method and Description
NaryOperatorNode	acceptNodeTransformer(HomogeneousQueryNodeTransformer transformer) "Accept" method for the "Visitor" pattern.
IQTree	acceptTransformer(IQTree tree, IQTreeVisitingTransformer transformer, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
<T> T	acceptVisitor(IQVisitor<T> visitor, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
IQTree	applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
IQTree	applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
IQTree	applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, IQTreeCache treeCache)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	computeNotInternallyRequiredVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>>	getPossibleVariableDefinitions(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
VariableNullability	getVariableNullability(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	inferUniqueConstraints(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
boolean	isConstructed(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
boolean	isDistinct(IQTree tree, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
IQTree	liftIncompatibleDefinitions(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, VariableGenerator variableGenerator) Deprecated.
IQTree	normalizeForOptimization(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, VariableGenerator variableGenerator, IQProperties currentIQProperties)
IQTree	propagateDownConstraint(ImmutableExpression constraint, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
IQTree	removeDistincts(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, IQProperties properties)
void	validateNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children) Only validates the node, not its children

Methods inherited from interface it.unibz.inf.ontop.iq.node.QueryNode

acceptVisitor, clone, getLocallyDefinedVariables, getLocallyRequiredVariables, getLocalVariables, getRequiredVariables, isEquivalentTo, isSyntacticallyEquivalentTo, isVariableNullable

Method Detail

normalizeForOptimization

IQTree normalizeForOptimization(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children,
                                VariableGenerator variableGenerator,
                                IQProperties currentIQProperties)

applyDescendingSubstitution

IQTree applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                   Optional<ImmutableExpression> constraint,
                                   it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

applyDescendingSubstitutionWithoutOptimizing

IQTree applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution,
                                                    it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

applyFreshRenaming

IQTree applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution,
                          it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children,
                          IQTreeCache treeCache)

getVariableNullability

VariableNullability getVariableNullability(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

isConstructed

boolean isConstructed(Variable variable,
                      it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

isDistinct

boolean isDistinct(IQTree tree,
                   it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

liftIncompatibleDefinitions

@Deprecated
IQTree liftIncompatibleDefinitions(Variable variable,
                                               it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children,
                                               VariableGenerator variableGenerator)

Deprecated.

propagateDownConstraint

IQTree propagateDownConstraint(ImmutableExpression constraint,
                               it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

acceptTransformer

IQTree acceptTransformer(IQTree tree,
                         IQTreeVisitingTransformer transformer,
                         it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

acceptVisitor

<T> T acceptVisitor(IQVisitor<T> visitor,
                    it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

validateNode

void validateNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
           throws InvalidIntermediateQueryException

Only validates the node, not its children

Throws:

InvalidIntermediateQueryException

acceptNodeTransformer

NaryOperatorNode acceptNodeTransformer(HomogeneousQueryNodeTransformer transformer)
                                throws QueryNodeTransformationException

Description copied from interface: QueryNode

"Accept" method for the "Visitor" pattern. To be implemented by leaf classes. If the transformation cannot be done, throw a QueryNodeTransformationException

Specified by:

acceptNodeTransformer in interface QueryNode

Throws:

QueryNodeTransformationException

getPossibleVariableDefinitions

it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> getPossibleVariableDefinitions(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

removeDistincts

IQTree removeDistincts(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children,
                       IQProperties properties)

inferUniqueConstraints

it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> inferUniqueConstraints(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)

computeNotInternallyRequiredVariables

it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> computeNotInternallyRequiredVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)