axiom-optimizer 0.1.0 → 0.1.1
Sign up to get free protection for your applications and to get access to all the features.
- data/.rspec +1 -0
- data/.ruby-gemset +1 -0
- data/.travis.yml +4 -6
- data/Gemfile +6 -3
- data/Gemfile.devtools +26 -24
- data/Guardfile +18 -9
- data/README.md +2 -25
- data/axiom-optimizer.gemspec +1 -3
- data/config/devtools.yml +2 -0
- data/config/flay.yml +1 -1
- data/config/flog.yml +1 -1
- data/config/rubocop.yml +53 -0
- data/lib/axiom/optimizer.rb +1 -1
- data/lib/axiom/optimizer/algebra/difference.rb +1 -1
- data/lib/axiom/optimizer/algebra/join.rb +3 -1
- data/lib/axiom/optimizer/algebra/projection.rb +1 -1
- data/lib/axiom/optimizer/algebra/rename.rb +1 -1
- data/lib/axiom/optimizer/algebra/restriction.rb +1 -1
- data/lib/axiom/optimizer/algebra/summarization.rb +1 -1
- data/lib/axiom/optimizer/function/connective/binary.rb +1 -1
- data/lib/axiom/optimizer/optimizable.rb +5 -3
- data/lib/axiom/optimizer/relation/materialized.rb +1 -1
- data/lib/axiom/optimizer/relation/operation/combination.rb +1 -1
- data/lib/axiom/optimizer/relation/operation/limit.rb +2 -2
- data/lib/axiom/optimizer/support/predicate_partition.rb +1 -4
- data/lib/axiom/optimizer/version.rb +1 -1
- data/spec/integration/axiom/algebra/difference/optimize_spec.rb +15 -15
- data/spec/integration/axiom/algebra/intersection/optimize_spec.rb +15 -15
- data/spec/integration/axiom/algebra/join/optimize_spec.rb +11 -11
- data/spec/integration/axiom/algebra/product/optimize_spec.rb +13 -13
- data/spec/integration/axiom/algebra/projection/optimize_spec.rb +44 -44
- data/spec/integration/axiom/algebra/rename/optimize_spec.rb +70 -70
- data/spec/integration/axiom/algebra/restriction/optimize_spec.rb +23 -24
- data/spec/integration/axiom/algebra/summarization/optimize_spec.rb +8 -8
- data/spec/integration/axiom/algebra/union/optimize_spec.rb +21 -21
- data/spec/integration/axiom/function/connective/conjunction/optimize_spec.rb +26 -26
- data/spec/integration/axiom/function/connective/disjunction/optimize_spec.rb +27 -28
- data/spec/integration/axiom/function/connective/negation/optimize_spec.rb +2 -2
- data/spec/integration/axiom/function/optimize_spec.rb +1 -1
- data/spec/integration/axiom/function/predicate/equality/optimize_spec.rb +8 -8
- data/spec/integration/axiom/function/predicate/exclusion/optimize_spec.rb +19 -19
- data/spec/integration/axiom/function/predicate/greater_than/optimize_spec.rb +17 -17
- data/spec/integration/axiom/function/predicate/greater_than_or_equal_to/optimize_spec.rb +17 -17
- data/spec/integration/axiom/function/predicate/inclusion/optimize_spec.rb +19 -19
- data/spec/integration/axiom/function/predicate/inequality/optimize_spec.rb +8 -8
- data/spec/integration/axiom/function/predicate/less_than/optimize_spec.rb +17 -17
- data/spec/integration/axiom/function/predicate/less_than_or_equal_to/optimize_spec.rb +17 -17
- data/spec/integration/axiom/relation/empty/optimize_spec.rb +2 -2
- data/spec/integration/axiom/relation/materialized/optimize_spec.rb +3 -3
- data/spec/integration/axiom/relation/operation/limit/optimize_spec.rb +16 -16
- data/spec/integration/axiom/relation/operation/offset/optimize_spec.rb +14 -14
- data/spec/integration/axiom/relation/operation/order/optimize_spec.rb +11 -11
- data/spec/integration/axiom/relation/operation/reverse/optimize_spec.rb +9 -9
- data/spec/integration/axiom/relation/optimize_spec.rb +4 -4
- data/spec/shared/function_connective_binary_optimize_behavior.rb +18 -18
- data/spec/shared/optimize_method_behavior.rb +2 -2
- data/spec/spec_helper.rb +7 -8
- data/spec/support/add_method_missing.rb +3 -4
- data/spec/unit/axiom/optimizer/algebra/difference/empty_left/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/difference/empty_right/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/difference/equal_operands/optimize_spec.rb +7 -9
- data/spec/unit/axiom/optimizer/algebra/extension/extensions_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/algebra/extension/order_operand/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/algebra/extension/order_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/extension/unoptimized_operand/optimizable_predicate_spec.rb +10 -10
- data/spec/unit/axiom/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb +10 -10
- data/spec/unit/axiom/optimizer/algebra/intersection/empty_left/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/intersection/empty_right/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/intersection/equal_operands/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/join/disjoint_headers/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/join/disjoint_headers/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/join/equal_headers/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/join/equal_headers/optimize_spec.rb +8 -8
- data/spec/unit/axiom/optimizer/algebra/join/materialized_left/optimizable_predicate_spec.rb +9 -9
- data/spec/unit/axiom/optimizer/algebra/join/materialized_left/optimize_spec.rb +12 -12
- data/spec/unit/axiom/optimizer/algebra/join/materialized_right/optimizable_predicate_spec.rb +9 -9
- data/spec/unit/axiom/optimizer/algebra/join/materialized_right/optimize_spec.rb +12 -12
- data/spec/unit/axiom/optimizer/algebra/product/table_dee_left/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/algebra/product/table_dee_left/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/product/table_dee_right/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/algebra/product/table_dee_right/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/projection/empty_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/projection/empty_operand/optimize_spec.rb +6 -8
- data/spec/unit/axiom/optimizer/algebra/projection/extension_operand/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/projection/extension_operand/optimize_spec.rb +12 -6
- data/spec/unit/axiom/optimizer/algebra/projection/projection_operand/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/projection/projection_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/projection/union_operand/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/projection/union_operand/optimize_spec.rb +10 -10
- data/spec/unit/axiom/optimizer/algebra/projection/unoptimized_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/rename/aliases_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/rename/empty_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/rename/empty_operand/optimize_spec.rb +5 -7
- data/spec/unit/axiom/optimizer/algebra/rename/limit_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/rename/limit_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/rename/offset_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/rename/offset_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/rename/order_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/rename/order_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/rename/projection_operand/optimizable_predicate_spec.rb +12 -12
- data/spec/unit/axiom/optimizer/algebra/rename/projection_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/rename/rename_operand/optimizable_predicate_spec.rb +9 -9
- data/spec/unit/axiom/optimizer/algebra/rename/rename_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_predicate_spec.rb +11 -11
- data/spec/unit/axiom/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/rename/restriction_operand/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/rename/restriction_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/rename/reverse_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/algebra/rename/reverse_operand/optimize_spec.rb +8 -8
- data/spec/unit/axiom/optimizer/algebra/rename/set_operand/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/rename/set_operand/optimize_spec.rb +8 -8
- data/spec/unit/axiom/optimizer/algebra/rename/unoptimized_operand/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/restriction/combination_operand/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/restriction/combination_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/restriction/contradiction/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/restriction/contradiction/optimize_spec.rb +7 -9
- data/spec/unit/axiom/optimizer/algebra/restriction/join_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/restriction/join_operand/optimize_spec.rb +17 -17
- data/spec/unit/axiom/optimizer/algebra/restriction/order_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/restriction/order_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/restriction/predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/restriction/product_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/restriction/product_operand/optimize_spec.rb +17 -17
- data/spec/unit/axiom/optimizer/algebra/restriction/restriction_operand/optimizable_predicate_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/restriction/set_operand/optimizable_predicate_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/restriction/set_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/restriction/tautology/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/algebra/restriction/tautology/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/restriction/unoptimized_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/summarization/empty_operand/class_methods/extension_default_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/algebra/summarization/empty_operand/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/summarization/empty_operand/optimize_spec.rb +13 -13
- data/spec/unit/axiom/optimizer/algebra/summarization/empty_summarize_per/optimizable_predicate_spec.rb +8 -8
- data/spec/unit/axiom/optimizer/algebra/summarization/empty_summarize_per/optimize_spec.rb +5 -7
- data/spec/unit/axiom/optimizer/algebra/summarization/order_operand/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/algebra/summarization/order_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/summarization/summarize_per_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/summarization/summarizers_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/algebra/summarization/unoptimized_operand/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/algebra/union/empty_left/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/union/empty_right/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/algebra/union/equal_operands/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/class_methods/chain_spec.rb +8 -8
- data/spec/unit/axiom/optimizer/function/binary/constant_operands/optimize_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/binary/left_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/binary/right_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/binary/unoptimized_operands/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/function/binary/unoptimized_operands/optimize_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/class_methods/optimize_functions_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/function/class_methods/optimize_operand_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/function/connective/binary/constant_operands/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/binary/equal_operands/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/connective/binary/equal_operands/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/binary/left_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/function/connective/binary/redundant_left/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/connective/binary/redundant_left/optimize_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/connective/binary/redundant_right/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/connective/binary/redundant_right/optimize_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/connective/binary/right_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/function/connective/conjunction/contradiction/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/connective/conjunction/contradiction/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/conjunction/optimizable_to_exclusion/optimizable_predicate_spec.rb +9 -9
- data/spec/unit/axiom/optimizer/function/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb +17 -17
- data/spec/unit/axiom/optimizer/function/connective/conjunction/tautology_left/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/connective/conjunction/tautology_left/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/conjunction/tautology_right/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/connective/conjunction/tautology_right/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_left/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_left/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_right/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_right/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/disjunction/optimizable_to_inclusion/optimizable_predicate_spec.rb +9 -9
- data/spec/unit/axiom/optimizer/function/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb +17 -17
- data/spec/unit/axiom/optimizer/function/connective/disjunction/tautology/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/connective/disjunction/tautology/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/negation/constant_operand/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/negation/invertible_operand/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/connective/negation/invertible_operand/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/connective/negation/operand_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/function/predicate/comparable/never_comparable/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/predicate/comparable/never_equivalent/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/function/predicate/comparable/normalizable_operands/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/predicate/comparable/normalizable_operands/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/predicate/constant_operands/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/predicate/contradiction/optimize_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/predicate/enumerable/class_methods/sort_by_value_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/predicate/enumerable/empty_right/optimizable_predicate_spec.rb +8 -8
- data/spec/unit/axiom/optimizer/function/predicate/enumerable/one_right/optimizable_predicate_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/function/predicate/enumerable/unoptimized_operands/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/function/predicate/enumerable/unoptimized_operands/optimize_spec.rb +14 -14
- data/spec/unit/axiom/optimizer/function/predicate/equality/tautology/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/predicate/exclusion/empty_right/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/function/predicate/exclusion/one_right/optimize_spec.rb +9 -9
- data/spec/unit/axiom/optimizer/function/predicate/greater_than/contradiction/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/predicate/greater_than/tautology/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/predicate/greater_than_or_equal_to/contradiction/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/predicate/greater_than_or_equal_to/tautology/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/predicate/inclusion/empty_right/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/function/predicate/inclusion/one_right/optimize_spec.rb +9 -9
- data/spec/unit/axiom/optimizer/function/predicate/inequality/contradiction/optimizable_predicate_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/predicate/less_than/contradiction/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/predicate/less_than/tautology/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/predicate/less_than_or_equal_to/contradiction/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/predicate/less_than_or_equal_to/tautology/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/function/predicate/tautology/optimize_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/unary/constant_operand/optimize_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/unary/operand_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/unary/unoptimized_operand/optimize_spec.rb +1 -1
- data/spec/unit/axiom/optimizer/function/util/class_methods/max_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/function/util/class_methods/min_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/operation_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/optimizable/class_methods/optimizer_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/optimizable/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/optimizable_predicate_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/optimize_spec.rb +2 -2
- data/spec/unit/axiom/optimizer/predicate_partition/left_spec.rb +18 -18
- data/spec/unit/axiom/optimizer/predicate_partition/remainder_spec.rb +19 -19
- data/spec/unit/axiom/optimizer/predicate_partition/right_spec.rb +18 -18
- data/spec/unit/axiom/optimizer/relation/materialized/empty_operand/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/relation/materialized/empty_operand/optimize_spec.rb +5 -7
- data/spec/unit/axiom/optimizer/relation/operation/binary/empty_left/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/binary/empty_right/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/binary/equal_operands/optimizable_predicate_spec.rb +3 -3
- data/spec/unit/axiom/optimizer/relation/operation/binary/left_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/binary/materialized_operands/optimizable_predicate_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/binary/materialized_operands/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/relation/operation/binary/order_left/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/binary/order_left/optimize_spec.rb +8 -8
- data/spec/unit/axiom/optimizer/relation/operation/binary/order_right/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/binary/order_right/optimize_spec.rb +8 -8
- data/spec/unit/axiom/optimizer/relation/operation/binary/right_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/binary/unoptimized_operands/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/binary/unoptimized_operands/optimize_spec.rb +8 -8
- data/spec/unit/axiom/optimizer/relation/operation/combination/optimize_spec.rb +5 -7
- data/spec/unit/axiom/optimizer/relation/operation/limit/equal_limit_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/limit/limit_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/limit/unoptimized_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/limit/zero_limit/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb +6 -8
- data/spec/unit/axiom/optimizer/relation/operation/offset/offset_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/offset/unoptimized_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/offset/zero_offset/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/order/one_limit_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/order/order_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/order/order_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/order/unoptimized_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/relation/operation/reverse/order_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/relation/operation/reverse/reverse_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/relation/operation/unary/empty_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/unary/header_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/unary/materialized_operand/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/unary/operand_spec.rb +7 -7
- data/spec/unit/axiom/optimizer/relation/operation/unary/order_operand/optimizable_predicate_spec.rb +4 -4
- data/spec/unit/axiom/optimizer/relation/operation/unary/order_operand/optimize_spec.rb +6 -6
- data/spec/unit/axiom/optimizer/relation/operation/unary/unchanged_header/optimizable_predicate_spec.rb +5 -5
- data/spec/unit/axiom/optimizer/relation/operation/unary/unchanged_header/optimize_spec.rb +5 -5
- metadata +24 -289
- checksums.yaml +0 -7
- data/.gemtest +0 -0
- data/.rvmrc +0 -1
data/.rspec
CHANGED
data/.ruby-gemset
ADDED
@@ -0,0 +1 @@
|
|
1
|
+
axiom-optimizer
|
data/.travis.yml
CHANGED
@@ -3,19 +3,14 @@ before_install: gem install bundler
|
|
3
3
|
bundler_args: --without yard guard benchmarks
|
4
4
|
script: "bundle exec rake ci"
|
5
5
|
rvm:
|
6
|
-
- ree
|
7
|
-
- 1.8.7
|
8
|
-
- 1.9.2
|
9
6
|
- 1.9.3
|
10
7
|
- 2.0.0
|
11
8
|
- ruby-head
|
12
|
-
- rbx-18mode
|
13
9
|
- rbx-19mode
|
14
|
-
- jruby-18mode
|
15
10
|
notifications:
|
16
11
|
irc:
|
17
12
|
channels:
|
18
|
-
-
|
13
|
+
- irc.freenode.org#rom-rb
|
19
14
|
on_success: never
|
20
15
|
on_failure: change
|
21
16
|
email:
|
@@ -32,4 +27,7 @@ matrix:
|
|
32
27
|
allow_failures:
|
33
28
|
# mutant fails
|
34
29
|
- rvm: 1.9.3
|
30
|
+
- rvm: 2.0.0
|
35
31
|
- rvm: rbx-19mode
|
32
|
+
# broken on travis
|
33
|
+
- rvm: ruby-head
|
data/Gemfile
CHANGED
@@ -4,7 +4,10 @@ source 'https://rubygems.org'
|
|
4
4
|
|
5
5
|
gemspec
|
6
6
|
|
7
|
-
gem 'axiom', '~> 0.1.
|
7
|
+
gem 'axiom', '~> 0.1.1', git: 'https://github.com/dkubb/axiom.git'
|
8
8
|
|
9
|
-
|
10
|
-
|
9
|
+
group :development, :test do
|
10
|
+
gem 'devtools', git: 'https://github.com/rom-rb/devtools.git'
|
11
|
+
end
|
12
|
+
|
13
|
+
eval_gemfile 'Gemfile.devtools'
|
data/Gemfile.devtools
CHANGED
@@ -1,44 +1,46 @@
|
|
1
1
|
# encoding: utf-8
|
2
2
|
|
3
3
|
group :development do
|
4
|
-
gem 'rake', '~> 10.0
|
5
|
-
gem 'rspec', '~> 2.
|
6
|
-
gem 'yard', '~> 0.8.
|
4
|
+
gem 'rake', '~> 10.1.0'
|
5
|
+
gem 'rspec', '~> 2.14.1'
|
6
|
+
gem 'yard', '~> 0.8.6.2'
|
7
7
|
end
|
8
8
|
|
9
9
|
group :yard do
|
10
|
-
gem 'kramdown', '~> 1.0
|
10
|
+
gem 'kramdown', '~> 1.1.0'
|
11
11
|
end
|
12
12
|
|
13
13
|
group :guard do
|
14
|
-
gem 'guard', '~> 1.
|
14
|
+
gem 'guard', '~> 1.8.1'
|
15
15
|
gem 'guard-bundler', '~> 1.0.0'
|
16
|
-
gem 'guard-rspec', '~>
|
16
|
+
gem 'guard-rspec', '~> 3.0.2'
|
17
|
+
gem 'guard-rubocop', '~> 0.2.0'
|
18
|
+
gem 'guard-mutant', '~> 0.0.1'
|
17
19
|
|
18
20
|
# file system change event handling
|
19
|
-
gem 'listen', '~>
|
20
|
-
gem 'rb-fchange', '~> 0.0.6', :
|
21
|
-
gem 'rb-fsevent', '~> 0.9.3', :
|
22
|
-
gem 'rb-inotify', '~> 0.9.0', :
|
21
|
+
gem 'listen', '~> 1.2.2'
|
22
|
+
gem 'rb-fchange', '~> 0.0.6', require: false
|
23
|
+
gem 'rb-fsevent', '~> 0.9.3', require: false
|
24
|
+
gem 'rb-inotify', '~> 0.9.0', require: false
|
23
25
|
|
24
26
|
# notification handling
|
25
|
-
gem 'libnotify', '~> 0.8.0', :
|
26
|
-
gem 'rb-notifu', '~> 0.0.4', :
|
27
|
-
gem 'terminal-notifier-guard', '~> 1.5.3', :
|
27
|
+
gem 'libnotify', '~> 0.8.0', require: false
|
28
|
+
gem 'rb-notifu', '~> 0.0.4', require: false
|
29
|
+
gem 'terminal-notifier-guard', '~> 1.5.3', require: false
|
28
30
|
end
|
29
31
|
|
30
32
|
group :metrics do
|
31
|
-
gem '
|
32
|
-
gem '
|
33
|
-
gem '
|
34
|
-
gem '
|
35
|
-
gem '
|
36
|
-
gem 'simplecov',
|
37
|
-
gem 'yardstick',
|
38
|
-
|
39
|
-
|
40
|
-
|
41
|
-
gem '
|
33
|
+
gem 'coveralls', '~> 0.6.7'
|
34
|
+
gem 'flay', '~> 2.3.1'
|
35
|
+
gem 'flog', '~> 4.1.1'
|
36
|
+
gem 'reek', '~> 1.3.1', git: 'https://github.com/troessner/reek.git'
|
37
|
+
gem 'rubocop', '~> 0.10.0', git: 'https://github.com/bbatsov/rubocop.git'
|
38
|
+
gem 'simplecov', '~> 0.7.1'
|
39
|
+
gem 'yardstick', '~> 0.9.6'
|
40
|
+
|
41
|
+
platforms :ruby_19, :ruby_20 do
|
42
|
+
gem 'mutant', git: 'https://github.com/mbj/mutant.git'
|
43
|
+
gem 'yard-spellcheck', '~> 0.1.5'
|
42
44
|
end
|
43
45
|
|
44
46
|
platforms :rbx do
|
data/Guardfile
CHANGED
@@ -2,22 +2,31 @@
|
|
2
2
|
|
3
3
|
guard :bundler do
|
4
4
|
watch('Gemfile')
|
5
|
+
watch('Gemfile.lock')
|
6
|
+
watch(%w{.+.gemspec\z})
|
5
7
|
end
|
6
8
|
|
7
|
-
guard :rspec, :
|
8
|
-
#
|
9
|
+
guard :rspec, cli: File.read('.rspec').split.join(' '), keep_failed: false do
|
10
|
+
# Run all specs if configuration is modified
|
11
|
+
watch('.rspec') { 'spec' }
|
9
12
|
watch('Guardfile') { 'spec' }
|
10
13
|
watch('Gemfile.lock') { 'spec' }
|
11
14
|
watch('spec/spec_helper.rb') { 'spec' }
|
12
15
|
|
13
|
-
#
|
14
|
-
watch(%r{\Aspec/(?:lib|support|shared)/.+\.rb\z}) { 'spec' }
|
16
|
+
# Run all specs if supporting files files are modified
|
17
|
+
watch(%r{\Aspec/(?:fixtures|lib|support|shared)/.+\.rb\z}) { 'spec' }
|
15
18
|
|
16
|
-
#
|
17
|
-
watch(%r{\Alib/(.+)\.rb\z}) { |m| Dir["spec/unit/#{m[1]}"] }
|
18
|
-
watch(%r{\Alib/(.+)/support/(.+)\.rb\z}) { |m| Dir["spec/unit/#{m[1]}/#{m[2]}"] }
|
19
|
-
watch("lib/#{File.basename(File.expand_path('../', __FILE__))}.rb") { 'spec'
|
19
|
+
# Run unit specs if associated app or lib code is modified
|
20
|
+
watch(%r{\Alib/(.+)\.rb\z}) { |m| Dir["spec/unit/#{m[1]}*"] }
|
21
|
+
watch(%r{\Alib/(.+)/support/(.+)\.rb\z}) { |m| Dir["spec/unit/#{m[1]}/#{m[2]}*"] }
|
22
|
+
watch("lib/#{File.basename(File.expand_path('../', __FILE__))}.rb") { 'spec' }
|
20
23
|
|
21
|
-
#
|
24
|
+
# Run a spec if it is modified
|
22
25
|
watch(%r{\Aspec/(?:unit|integration)/.+_spec\.rb\z})
|
23
26
|
end
|
27
|
+
|
28
|
+
guard :rubocop, cli: %w[--config config/rubocop.yml] do
|
29
|
+
watch(%r{.+\.(?:rb|rake)\z})
|
30
|
+
watch(%r{\Aconfig/rubocop\.yml\z}) { |m| File.dirname(m[0]) }
|
31
|
+
watch(%r{(?:.+/)?\.rubocop\.yml\z}) { |m| File.dirname(m[0]) }
|
32
|
+
end
|
data/README.md
CHANGED
@@ -15,31 +15,8 @@ Relational algebra optimizer
|
|
15
15
|
[codeclimate]: https://codeclimate.com/github/dkubb/axiom-optimizer
|
16
16
|
[coveralls]: https://coveralls.io/r/dkubb/axiom-optimizer
|
17
17
|
|
18
|
-
|
19
|
-
|
20
|
-
|
21
|
-
With Rubygems:
|
22
|
-
|
23
|
-
```bash
|
24
|
-
$ gem install axiom-optimizer
|
25
|
-
$ irb -rubygems
|
26
|
-
>> require 'axiom-optimizer'
|
27
|
-
=> true
|
28
|
-
```
|
29
|
-
|
30
|
-
With git and local working copy:
|
31
|
-
|
32
|
-
```bash
|
33
|
-
$ git clone git://github.com/dkubb/axiom-optimizer.git
|
34
|
-
$ cd axiom-optimizer
|
35
|
-
$ rake install
|
36
|
-
$ irb -rubygems
|
37
|
-
>> require 'axiom-optimizer'
|
38
|
-
=> true
|
39
|
-
```
|
40
|
-
|
41
|
-
Usage
|
42
|
-
-----
|
18
|
+
Examples
|
19
|
+
--------
|
43
20
|
|
44
21
|
```ruby
|
45
22
|
# optimize a relation
|
data/axiom-optimizer.gemspec
CHANGED
@@ -19,7 +19,5 @@ Gem::Specification.new do |gem|
|
|
19
19
|
|
20
20
|
gem.add_runtime_dependency('axiom', '~> 0.1.0')
|
21
21
|
|
22
|
-
gem.add_development_dependency('
|
23
|
-
gem.add_development_dependency('rspec', '~> 2.13.0')
|
24
|
-
gem.add_development_dependency('yard', '~> 0.8.5.2')
|
22
|
+
gem.add_development_dependency('bundler', '~> 1.3', '>= 1.3.5')
|
25
23
|
end
|
data/config/devtools.yml
ADDED
data/config/flay.yml
CHANGED
data/config/flog.yml
CHANGED
@@ -1,2 +1,2 @@
|
|
1
1
|
---
|
2
|
-
threshold:
|
2
|
+
threshold: 18.2
|
data/config/rubocop.yml
ADDED
@@ -0,0 +1,53 @@
|
|
1
|
+
AllCops:
|
2
|
+
Includes:
|
3
|
+
- '**/*.rake'
|
4
|
+
- 'Gemfile'
|
5
|
+
- 'Gemfile.devtools'
|
6
|
+
Excludes:
|
7
|
+
- '**/vendor/**'
|
8
|
+
|
9
|
+
# Avoid parameter lists longer than five parameters.
|
10
|
+
ParameterLists:
|
11
|
+
Max: 3
|
12
|
+
CountKeywordArgs: true
|
13
|
+
|
14
|
+
# Avoid more than `Max` levels of nesting.
|
15
|
+
BlockNesting:
|
16
|
+
Max: 3
|
17
|
+
|
18
|
+
# Align with the style guide.
|
19
|
+
CollectionMethods:
|
20
|
+
PreferredMethods:
|
21
|
+
collect: 'map'
|
22
|
+
inject: 'reduce'
|
23
|
+
find: 'detect'
|
24
|
+
find_all: 'select'
|
25
|
+
|
26
|
+
# Do not force public/protected/private keyword to be indented at the same
|
27
|
+
# level as the def keyword. My personal preference is to outdent these keywords
|
28
|
+
# because I think when scanning code it makes it easier to identify the
|
29
|
+
# sections of code and visually separate them. When the keyword is at the same
|
30
|
+
# level I think it sort of blends in with the def keywords and makes it harder
|
31
|
+
# to scan the code and see where the sections are.
|
32
|
+
AccessControl:
|
33
|
+
Enabled: false
|
34
|
+
|
35
|
+
# Limit line length
|
36
|
+
LineLength:
|
37
|
+
Max: 167 # TODO: lower to 79
|
38
|
+
|
39
|
+
# Disable documentation checking until a class needs to be documented once
|
40
|
+
Documentation:
|
41
|
+
Enabled: false
|
42
|
+
|
43
|
+
# Do not favor modifier if/unless usage when you have a single-line body
|
44
|
+
IfUnlessModifier:
|
45
|
+
Enabled: false
|
46
|
+
|
47
|
+
# Constants do not always have to use SCREAMING_SNAKE_CASE
|
48
|
+
ConstantName:
|
49
|
+
Enabled: false
|
50
|
+
|
51
|
+
# Do not check formatting of special comments like "TODO" or "OPTIMIZE"
|
52
|
+
CommentAnnotation:
|
53
|
+
Enabled: false
|
data/lib/axiom/optimizer.rb
CHANGED
@@ -28,7 +28,9 @@ module Axiom
|
|
28
28
|
#
|
29
29
|
# @api private
|
30
30
|
def materialized_predicate
|
31
|
-
matching_projection.reduce(CONTRADICTION)
|
31
|
+
matching_projection.reduce(CONTRADICTION) do |accumulator, element|
|
32
|
+
accumulator.or(element.predicate)
|
33
|
+
end.optimize
|
32
34
|
end
|
33
35
|
|
34
36
|
# Optimize when operands' headers are equal
|
@@ -34,9 +34,11 @@ module Axiom
|
|
34
34
|
def optimize
|
35
35
|
optimizer = self.class.optimizer || Optimizer::Identity
|
36
36
|
optimized = optimizer.call(self)
|
37
|
-
equal?(optimized)
|
38
|
-
optimized.respond_to?(:optimize)
|
39
|
-
|
37
|
+
if equal?(optimized) then self
|
38
|
+
elsif optimized.respond_to?(:optimize) then optimized.optimize
|
39
|
+
else
|
40
|
+
optimized
|
41
|
+
end
|
40
42
|
end
|
41
43
|
|
42
44
|
memoize :optimize
|
@@ -37,7 +37,7 @@ module Axiom
|
|
37
37
|
#
|
38
38
|
# @api private
|
39
39
|
def optimize
|
40
|
-
Axiom::Relation::Empty.new(operation.header
|
40
|
+
Axiom::Relation::Empty.new(operation.header)
|
41
41
|
end
|
42
42
|
|
43
43
|
end # class ZeroLimit
|
@@ -105,7 +105,7 @@ module Axiom
|
|
105
105
|
#
|
106
106
|
# @api private
|
107
107
|
def min_limit
|
108
|
-
[
|
108
|
+
[limit, operand.limit].min
|
109
109
|
end
|
110
110
|
|
111
111
|
end # class LimitOperand
|
@@ -84,10 +84,7 @@ module Axiom
|
|
84
84
|
#
|
85
85
|
# @api private
|
86
86
|
def partition_binary!(function)
|
87
|
-
operands
|
88
|
-
operand.kind_of?(Axiom::Attribute)
|
89
|
-
end
|
90
|
-
|
87
|
+
operands = [function.left, function.right].grep(Axiom::Attribute)
|
91
88
|
left_operands = @left_header & operands
|
92
89
|
right_operands = @right_header & operands
|
93
90
|
|