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, com.google.common.collect.ImmutableList<IQTree> children)
<T> T	acceptVisitor(IQVisitor<T> visitor, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	applyDescendingSubstitutionWithoutOptimizing(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, com.google.common.collect.ImmutableList<IQTree> children, IQTreeCache treeCache)
com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>>	getPossibleVariableDefinitions(com.google.common.collect.ImmutableList<IQTree> children)
VariableNullability	getVariableNullability(com.google.common.collect.ImmutableList<IQTree> children)
com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>>	inferUniqueConstraints(com.google.common.collect.ImmutableList<IQTree> children)
boolean	isConstructed(Variable variable, com.google.common.collect.ImmutableList<IQTree> children)
boolean	isDistinct(com.google.common.collect.ImmutableList<IQTree> children)
IQTree	liftIncompatibleDefinitions(Variable variable, com.google.common.collect.ImmutableList<IQTree> children, VariableGenerator variableGenerator) Deprecated.
IQTree	normalizeForOptimization(com.google.common.collect.ImmutableList<IQTree> children, VariableGenerator variableGenerator, IQProperties currentIQProperties)
IQTree	propagateDownConstraint(ImmutableExpression constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	removeDistincts(com.google.common.collect.ImmutableList<IQTree> children, IQProperties properties)
void	validateNode(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(com.google.common.collect.ImmutableList<IQTree> children,
                                VariableGenerator variableGenerator,
                                IQProperties currentIQProperties)

applyDescendingSubstitution

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

applyDescendingSubstitutionWithoutOptimizing

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

applyFreshRenaming

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

getVariableNullability

VariableNullability getVariableNullability(com.google.common.collect.ImmutableList<IQTree> children)

isConstructed

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

isDistinct

boolean isDistinct(com.google.common.collect.ImmutableList<IQTree> children)

liftIncompatibleDefinitions

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

Deprecated.

propagateDownConstraint

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

acceptTransformer

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

acceptVisitor

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

validateNode

void validateNode(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

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

removeDistincts

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

inferUniqueConstraints

com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> inferUniqueConstraints(com.google.common.collect.ImmutableList<IQTree> children)