Class List

Classes Methods Files

Search:

Top Level Namespace
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
    OrderOperand < 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
    OrderOperand < ProjectionAxiom::Optimizer::Algebra::Projection
    ProjectionOperand < 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
    OrderOperand < 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
    UnoptimizedOperand < RenameAxiom::Optimizer::Algebra::Rename
    Restriction < UnaryAxiom::Optimizer::Algebra
    CombinationOperand < RestrictionAxiom::Optimizer::Algebra::Restriction
    Contradiction < RestrictionAxiom::Optimizer::Algebra::Restriction
    JoinOperand < CombinationOperandAxiom::Optimizer::Algebra::Restriction
    OrderOperand < RestrictionAxiom::Optimizer::Algebra::Restriction
    ProductOperand < CombinationOperandAxiom::Optimizer::Algebra::Restriction
    RestrictionOperand < RestrictionAxiom::Optimizer::Algebra::Restriction
    SetOperand < 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
    OrderOperand < 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
    OrderLeft < BinaryAxiom::Optimizer::Relation::Operation::Binary
    OrderRight < 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
    Order < UnaryAxiom::Optimizer::Relation::Operation
    OneLimitOperand < OrderAxiom::Optimizer::Relation::Operation::Order
    OrderOperand < OrderAxiom::Optimizer::Relation::Operation::Order
    UnoptimizedOperand < OrderAxiom::Optimizer::Relation::Operation::Order
    Reverse < OrderAxiom::Optimizer::Relation::Operation
    OrderOperand < ReverseAxiom::Optimizer::Relation::Operation::Reverse
    ReverseOperand < ReverseAxiom::Optimizer::Relation::Operation::Reverse
    UnoptimizedOperand < ReverseAxiom::Optimizer::Relation::Operation::Reverse
    Unary < OptimizerAxiom::Optimizer::Relation::Operation
    EmptyOperand < UnaryAxiom::Optimizer::Relation::Operation::Unary
    MaterializedOperand < UnaryAxiom::Optimizer::Relation::Operation::Unary
    OrderOperandAxiom::Optimizer::Relation::Operation::Unary
    UnchangedHeader < UnaryAxiom::Optimizer::Relation::Operation::Unary