Class List
Search:
- AxiomTop Level Namespace
- Optimizer < ObjectAxiom
- Aggregate < OptimizerAxiom::Optimizer
- Count < AggregateAxiom::Optimizer::Aggregate
- Maximum < AggregateAxiom::Optimizer::Aggregate
- Mean < AggregateAxiom::Optimizer::Aggregate
- Minimum < AggregateAxiom::Optimizer::Aggregate
- StandardDeviation < AggregateAxiom::Optimizer::Aggregate
- Sum < AggregateAxiom::Optimizer::Aggregate
- UnoptimizedOperand < AggregateAxiom::Optimizer::Aggregate
- Variance < AggregateAxiom::Optimizer::Aggregate
- AlgebraAxiom::Optimizer
- Difference < BinaryAxiom::Optimizer::Algebra
- EmptyLeft < DifferenceAxiom::Optimizer::Algebra::Difference
- EmptyRight < DifferenceAxiom::Optimizer::Algebra::Difference
- EqualOperands < DifferenceAxiom::Optimizer::Algebra::Difference
- Extension < UnaryAxiom::Optimizer::Algebra
- SortedOperand < ExtensionAxiom::Optimizer::Algebra::Extension
- UnoptimizedOperand < ExtensionAxiom::Optimizer::Algebra::Extension
- Intersection < BinaryAxiom::Optimizer::Algebra
- EmptyLeft < IntersectionAxiom::Optimizer::Algebra::Intersection
- EmptyRight < IntersectionAxiom::Optimizer::Algebra::Intersection
- EqualOperands < IntersectionAxiom::Optimizer::Algebra::Intersection
- Join < CombinationAxiom::Optimizer::Algebra
- DisjointHeaders < JoinAxiom::Optimizer::Algebra::Join
- EqualHeaders < JoinAxiom::Optimizer::Algebra::Join
- MaterializedLeft < JoinAxiom::Optimizer::Algebra::Join
- MaterializedRight < JoinAxiom::Optimizer::Algebra::Join
- Product < CombinationAxiom::Optimizer::Algebra
- TableDeeLeft < ProductAxiom::Optimizer::Algebra::Product
- TableDeeRight < ProductAxiom::Optimizer::Algebra::Product
- Projection < UnaryAxiom::Optimizer::Algebra
- EmptyOperand < ProjectionAxiom::Optimizer::Algebra::Projection
- ExtensionOperand < ProjectionAxiom::Optimizer::Algebra::Projection
- ProjectionOperand < ProjectionAxiom::Optimizer::Algebra::Projection
- SortedOperand < ProjectionAxiom::Optimizer::Algebra::Projection
- UnionOperand < ProjectionAxiom::Optimizer::Algebra::Projection
- UnoptimizedOperand < ProjectionAxiom::Optimizer::Algebra::Projection
- Rename < UnaryAxiom::Optimizer::Algebra
- EmptyOperand < RenameAxiom::Optimizer::Algebra::Rename
- LimitOperand < RenameAxiom::Optimizer::Algebra::Rename
- OffsetOperand < RenameAxiom::Optimizer::Algebra::Rename
- ProjectionOperand < RenameAxiom::Optimizer::Algebra::Rename
- RenameOperand < RenameAxiom::Optimizer::Algebra::Rename
- RenameOperandAndEmptyAliases < RenameOperandAxiom::Optimizer::Algebra::Rename
- RestrictionOperand < RenameAxiom::Optimizer::Algebra::Rename
- ReverseOperand < RenameAxiom::Optimizer::Algebra::Rename
- SetOperand < RenameAxiom::Optimizer::Algebra::Rename
- SortedOperand < RenameAxiom::Optimizer::Algebra::Rename
- UnoptimizedOperand < RenameAxiom::Optimizer::Algebra::Rename
- Restriction < UnaryAxiom::Optimizer::Algebra
- CombinationOperand < RestrictionAxiom::Optimizer::Algebra::Restriction
- Contradiction < RestrictionAxiom::Optimizer::Algebra::Restriction
- JoinOperand < CombinationOperandAxiom::Optimizer::Algebra::Restriction
- ProductOperand < CombinationOperandAxiom::Optimizer::Algebra::Restriction
- RestrictionOperand < RestrictionAxiom::Optimizer::Algebra::Restriction
- SetOperand < RestrictionAxiom::Optimizer::Algebra::Restriction
- SortedOperand < RestrictionAxiom::Optimizer::Algebra::Restriction
- Tautology < RestrictionAxiom::Optimizer::Algebra::Restriction
- UnoptimizedOperand < RestrictionAxiom::Optimizer::Algebra::Restriction
- Summarization < UnaryAxiom::Optimizer::Algebra
- EmptyOperand < SummarizationAxiom::Optimizer::Algebra::Summarization
- EmptySummarizePer < SummarizationAxiom::Optimizer::Algebra::Summarization
- SortedOperand < SummarizationAxiom::Optimizer::Algebra::Summarization
- UnoptimizedOperand < SummarizationAxiom::Optimizer::Algebra::Summarization
- Union < BinaryAxiom::Optimizer::Algebra
- EmptyLeft < UnionAxiom::Optimizer::Algebra::Union
- EmptyRight < UnionAxiom::Optimizer::Algebra::Union
- EqualOperands < UnionAxiom::Optimizer::Algebra::Union
- FunctionAxiom::Optimizer
- BinaryAxiom::Optimizer::Function
- ConstantOperandsAxiom::Optimizer::Function::Binary
- UnoptimizedOperandsAxiom::Optimizer::Function::Binary
- ConnectiveAxiom::Optimizer::Function
- Binary < OptimizerAxiom::Optimizer::Function::Connective
- ConstantOperands < BinaryAxiom::Optimizer::Function::Connective::Binary
- EqualOperands < BinaryAxiom::Optimizer::Function::Connective::Binary
- RedundantLeft < BinaryAxiom::Optimizer::Function::Connective::Binary
- RedundantRight < BinaryAxiom::Optimizer::Function::Connective::Binary
- UnoptimizedOperands < BinaryAxiom::Optimizer::Function::Connective::Binary
- Conjunction < BinaryAxiom::Optimizer::Function::Connective
- Contradiction < ConjunctionAxiom::Optimizer::Function::Connective::Conjunction
- OptimizableToExclusion < ConjunctionAxiom::Optimizer::Function::Connective::Conjunction
- TautologyLeft < ConjunctionAxiom::Optimizer::Function::Connective::Conjunction
- TautologyRight < ConjunctionAxiom::Optimizer::Function::Connective::Conjunction
- Disjunction < BinaryAxiom::Optimizer::Function::Connective
- ContradictionLeft < DisjunctionAxiom::Optimizer::Function::Connective::Disjunction
- ContradictionRight < DisjunctionAxiom::Optimizer::Function::Connective::Disjunction
- OptimizableToInclusion < DisjunctionAxiom::Optimizer::Function::Connective::Disjunction
- Tautology < DisjunctionAxiom::Optimizer::Function::Connective::Disjunction
- Negation < OptimizerAxiom::Optimizer::Function::Connective
- ConstantOperand < NegationAxiom::Optimizer::Function::Connective::Negation
- InvertibleOperand < NegationAxiom::Optimizer::Function::Connective::Negation
- UnoptimizedOperand < NegationAxiom::Optimizer::Function::Connective::Negation
- Numeric < OptimizerAxiom::Optimizer::Function
- Absolute < NumericAxiom::Optimizer::Function::Numeric
- Addition < NumericAxiom::Optimizer::Function::Numeric
- ConstantOperand < NumericAxiom::Optimizer::Function::Numeric
- ConstantOperands < NumericAxiom::Optimizer::Function::Numeric
- Division < NumericAxiom::Optimizer::Function::Numeric
- Exponentiation < NumericAxiom::Optimizer::Function::Numeric
- Modulo < NumericAxiom::Optimizer::Function::Numeric
- Multiplication < NumericAxiom::Optimizer::Function::Numeric
- SquareRoot < NumericAxiom::Optimizer::Function::Numeric
- Subtraction < NumericAxiom::Optimizer::Function::Numeric
- UnaryMinus < NumericAxiom::Optimizer::Function::Numeric
- UnaryPlus < NumericAxiom::Optimizer::Function::Numeric
- UnoptimizedOperand < NumericAxiom::Optimizer::Function::Numeric
- UnoptimizedOperands < NumericAxiom::Optimizer::Function::Numeric
- Predicate < OptimizerAxiom::Optimizer::Function
- ComparableAxiom::Optimizer::Function::Predicate
- NeverComparableAxiom::Optimizer::Function::Predicate::Comparable
- NeverEquivalentAxiom::Optimizer::Function::Predicate::Comparable
- NormalizableOperands < PredicateAxiom::Optimizer::Function::Predicate::Comparable
- ConstantOperands < PredicateAxiom::Optimizer::Function::Predicate
- ContradictionAxiom::Optimizer::Function::Predicate
- EnumerableAxiom::Optimizer::Function::Predicate
- EmptyRightAxiom::Optimizer::Function::Predicate::Enumerable
- OneRightAxiom::Optimizer::Function::Predicate::Enumerable
- UnoptimizedOperands < UnoptimizedOperandsAxiom::Optimizer::Function::Predicate::Enumerable
- Equality < PredicateAxiom::Optimizer::Function::Predicate
- Contradiction < EqualityAxiom::Optimizer::Function::Predicate::Equality
- Tautology < EqualityAxiom::Optimizer::Function::Predicate::Equality
- Exclusion < PredicateAxiom::Optimizer::Function::Predicate
- EmptyRight < ExclusionAxiom::Optimizer::Function::Predicate::Exclusion
- OneRight < ExclusionAxiom::Optimizer::Function::Predicate::Exclusion
- GreaterThan < PredicateAxiom::Optimizer::Function::Predicate
- Contradiction < GreaterThanAxiom::Optimizer::Function::Predicate::GreaterThan
- Tautology < GreaterThanAxiom::Optimizer::Function::Predicate::GreaterThan
- GreaterThanOrEqualTo < PredicateAxiom::Optimizer::Function::Predicate
- Contradiction < GreaterThanOrEqualToAxiom::Optimizer::Function::Predicate::GreaterThanOrEqualTo
- Tautology < GreaterThanOrEqualToAxiom::Optimizer::Function::Predicate::GreaterThanOrEqualTo
- Inclusion < PredicateAxiom::Optimizer::Function::Predicate
- EmptyRight < InclusionAxiom::Optimizer::Function::Predicate::Inclusion
- OneRight < InclusionAxiom::Optimizer::Function::Predicate::Inclusion
- Inequality < PredicateAxiom::Optimizer::Function::Predicate
- Contradiction < InequalityAxiom::Optimizer::Function::Predicate::Inequality
- Tautology < InequalityAxiom::Optimizer::Function::Predicate::Inequality
- LessThan < PredicateAxiom::Optimizer::Function::Predicate
- Contradiction < LessThanAxiom::Optimizer::Function::Predicate::LessThan
- Tautology < LessThanAxiom::Optimizer::Function::Predicate::LessThan
- LessThanOrEqualTo < PredicateAxiom::Optimizer::Function::Predicate
- Contradiction < LessThanOrEqualToAxiom::Optimizer::Function::Predicate::LessThanOrEqualTo
- Tautology < LessThanOrEqualToAxiom::Optimizer::Function::Predicate::LessThanOrEqualTo
- Match < PredicateAxiom::Optimizer::Function::Predicate
- NoMatch < PredicateAxiom::Optimizer::Function::Predicate
- TautologyAxiom::Optimizer::Function::Predicate
- UnoptimizedOperands < PredicateAxiom::Optimizer::Function::Predicate
- StringAxiom::Optimizer::Function
- Length < OptimizerAxiom::Optimizer::Function::String
- ConstantOperand < LengthAxiom::Optimizer::Function::String::Length
- UnoptimizedOperand < LengthAxiom::Optimizer::Function::String::Length
- UnaryAxiom::Optimizer::Function
- ConstantOperandAxiom::Optimizer::Function::Unary
- UnoptimizedOperandAxiom::Optimizer::Function::Unary
- UtilAxiom::Optimizer::Function
- OptimizableAxiom::Optimizer
- ClassMethodsAxiom::Optimizer::Optimizable
- PredicatePartition < ObjectAxiom::Optimizer
- RelationAxiom::Optimizer
- Materialized < OptimizerAxiom::Optimizer::Relation
- EmptyOperand < MaterializedAxiom::Optimizer::Relation::Materialized
- OperationAxiom::Optimizer::Relation
- Binary < OptimizerAxiom::Optimizer::Relation::Operation
- EmptyLeftAxiom::Optimizer::Relation::Operation::Binary
- EmptyRightAxiom::Optimizer::Relation::Operation::Binary
- EqualOperandsAxiom::Optimizer::Relation::Operation::Binary
- MaterializedOperands < BinaryAxiom::Optimizer::Relation::Operation::Binary
- SortedLeft < BinaryAxiom::Optimizer::Relation::Operation::Binary
- SortedRight < BinaryAxiom::Optimizer::Relation::Operation::Binary
- UnoptimizedOperands < BinaryAxiom::Optimizer::Relation::Operation::Binary
- Combination < BinaryAxiom::Optimizer::Relation::Operation
- EmptyLeft < CombinationAxiom::Optimizer::Relation::Operation::Combination
- EmptyRight < CombinationAxiom::Optimizer::Relation::Operation::Combination
- Deletion < BinaryAxiom::Optimizer::Relation::Operation
- Insertion < BinaryAxiom::Optimizer::Relation::Operation
- Limit < UnaryAxiom::Optimizer::Relation::Operation
- EqualLimitOperand < LimitAxiom::Optimizer::Relation::Operation::Limit
- LimitOperand < LimitAxiom::Optimizer::Relation::Operation::Limit
- UnoptimizedOperand < LimitAxiom::Optimizer::Relation::Operation::Limit
- ZeroLimit < LimitAxiom::Optimizer::Relation::Operation::Limit
- Offset < UnaryAxiom::Optimizer::Relation::Operation
- OffsetOperand < OffsetAxiom::Optimizer::Relation::Operation::Offset
- UnoptimizedOperand < OffsetAxiom::Optimizer::Relation::Operation::Offset
- ZeroOffset < OffsetAxiom::Optimizer::Relation::Operation::Offset
- Reverse < SortedAxiom::Optimizer::Relation::Operation
- ReverseOperand < ReverseAxiom::Optimizer::Relation::Operation::Reverse
- SortedOperand < ReverseAxiom::Optimizer::Relation::Operation::Reverse
- UnoptimizedOperand < ReverseAxiom::Optimizer::Relation::Operation::Reverse
- Sorted < UnaryAxiom::Optimizer::Relation::Operation
- OneLimitOperand < SortedAxiom::Optimizer::Relation::Operation::Sorted
- SortedOperand < SortedAxiom::Optimizer::Relation::Operation::Sorted
- UnoptimizedOperand < SortedAxiom::Optimizer::Relation::Operation::Sorted
- Unary < OptimizerAxiom::Optimizer::Relation::Operation
- EmptyOperand < UnaryAxiom::Optimizer::Relation::Operation::Unary
- MaterializedOperand < UnaryAxiom::Optimizer::Relation::Operation::Unary
- SortedOperandAxiom::Optimizer::Relation::Operation::Unary
- UnchangedHeader < UnaryAxiom::Optimizer::Relation::Operation::Unary