- B
-
Binary
(Axiom::Optimizer::Relation::Operation)
-
Binary
(Axiom::Optimizer::Function::Connective)
-
Binary
(Axiom::Optimizer::Function)
|
- J
-
Join
(Axiom::Optimizer::Algebra)
-
JoinOperand
(Axiom::Optimizer::Algebra::Restriction)
- L
-
Length
(Axiom::Optimizer::Function::String)
-
LessThan
(Axiom::Optimizer::Function::Predicate)
-
LessThanOrEqualTo
(Axiom::Optimizer::Function::Predicate)
-
Limit
(Axiom::Optimizer::Relation::Operation)
-
LimitOperand
(Axiom::Optimizer::Algebra::Rename)
-
LimitOperand
(Axiom::Optimizer::Relation::Operation::Limit)
|
- T
-
TableDeeLeft
(Axiom::Optimizer::Algebra::Product)
-
TableDeeRight
(Axiom::Optimizer::Algebra::Product)
-
Tautology
(Axiom::Optimizer::Function::Predicate::GreaterThanOrEqualTo)
-
Tautology
(Axiom::Optimizer::Function::Predicate)
-
Tautology
(Axiom::Optimizer::Algebra::Restriction)
-
Tautology
(Axiom::Optimizer::Function::Predicate::Inequality)
-
Tautology
(Axiom::Optimizer::Function::Predicate::LessThan)
-
Tautology
(Axiom::Optimizer::Function::Predicate::LessThanOrEqualTo)
-
Tautology
(Axiom::Optimizer::Function::Predicate::Equality)
-
Tautology
(Axiom::Optimizer::Function::Predicate::GreaterThan)
-
Tautology
(Axiom::Optimizer::Function::Connective::Disjunction)
-
TautologyLeft
(Axiom::Optimizer::Function::Connective::Conjunction)
-
TautologyRight
(Axiom::Optimizer::Function::Connective::Conjunction)
- Z
-
ZeroLimit
(Axiom::Optimizer::Relation::Operation::Limit)
-
ZeroOffset
(Axiom::Optimizer::Relation::Operation::Offset)
|