veritas-optimizer 0.0.3 → 0.0.4

data/lib/veritas/optimizer.rb

@@ -97,6 +97,10 @@ require 'veritas/optimizer/version'
 
 require 'veritas/optimizer/optimizable'
 
+require 'veritas/optimizer/function'
+require 'veritas/optimizer/function/binary'
+require 'veritas/optimizer/function/unary'
+
 require 'veritas/optimizer/relation/materialized'
 
 require 'veritas/optimizer/relation/operation/binary'
@@ -118,19 +122,42 @@ require 'veritas/optimizer/algebra/restriction'
 require 'veritas/optimizer/algebra/summarization'
 require 'veritas/optimizer/algebra/union'
 
-require 'veritas/optimizer/logic/connective/binary'
-require 'veritas/optimizer/logic/connective/conjunction'
-require 'veritas/optimizer/logic/connective/disjunction'
-require 'veritas/optimizer/logic/connective/negation'
-
-require 'veritas/optimizer/logic/predicate'
-require 'veritas/optimizer/logic/predicate/comparable'
-require 'veritas/optimizer/logic/predicate/enumerable'
-require 'veritas/optimizer/logic/predicate/equality'
-require 'veritas/optimizer/logic/predicate/exclusion'
-require 'veritas/optimizer/logic/predicate/greater_than'
-require 'veritas/optimizer/logic/predicate/greater_than_or_equal_to'
-require 'veritas/optimizer/logic/predicate/inequality'
-require 'veritas/optimizer/logic/predicate/inclusion'
-require 'veritas/optimizer/logic/predicate/less_than'
-require 'veritas/optimizer/logic/predicate/less_than_or_equal_to'
+require 'veritas/optimizer/function/connective/binary'
+require 'veritas/optimizer/function/connective/conjunction'
+require 'veritas/optimizer/function/connective/disjunction'
+require 'veritas/optimizer/function/connective/negation'
+
+require 'veritas/optimizer/function/predicate'
+require 'veritas/optimizer/function/predicate/comparable'
+require 'veritas/optimizer/function/predicate/enumerable'
+require 'veritas/optimizer/function/predicate/equality'
+require 'veritas/optimizer/function/predicate/exclusion'
+require 'veritas/optimizer/function/predicate/greater_than'
+require 'veritas/optimizer/function/predicate/greater_than_or_equal_to'
+require 'veritas/optimizer/function/predicate/inequality'
+require 'veritas/optimizer/function/predicate/inclusion'
+require 'veritas/optimizer/function/predicate/less_than'
+require 'veritas/optimizer/function/predicate/less_than_or_equal_to'
+
+require 'veritas/optimizer/function/numeric'
+require 'veritas/optimizer/function/numeric/absolute'
+require 'veritas/optimizer/function/numeric/addition'
+require 'veritas/optimizer/function/numeric/division'
+require 'veritas/optimizer/function/numeric/exponentiation'
+require 'veritas/optimizer/function/numeric/modulo'
+require 'veritas/optimizer/function/numeric/multiplication'
+require 'veritas/optimizer/function/numeric/square_root'
+require 'veritas/optimizer/function/numeric/subtraction'
+require 'veritas/optimizer/function/numeric/unary_minus'
+require 'veritas/optimizer/function/numeric/unary_plus'
+
+require 'veritas/optimizer/function/string/length'
+
+require 'veritas/optimizer/aggregate'
+require 'veritas/optimizer/aggregate/count'
+require 'veritas/optimizer/aggregate/maximum'
+require 'veritas/optimizer/aggregate/mean'
+require 'veritas/optimizer/aggregate/minimum'
+require 'veritas/optimizer/aggregate/sum'
+require 'veritas/optimizer/aggregate/variance'
+require 'veritas/optimizer/aggregate/standard_deviation'

data/spec/integration/veritas/algebra/difference/optimize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Algebra::Difference, '#optimize' do
@@ -47,8 +49,8 @@ describe Algebra::Difference, '#optimize' do
   end
 
   context 'left is an empty relation when optimized' do
-    let(:left)  { Algebra::Restriction.new(original_left, Logic::Proposition::Contradiction.instance) }
-    let(:right) { original_right                                                                      }
+    let(:left)  { Algebra::Restriction.new(original_left, Function::Proposition::Contradiction.instance) }
+    let(:right) { original_right                                                                         }
 
     it { should eql(Relation::Empty.new(left.header | right.header)) }
 
@@ -70,8 +72,8 @@ describe Algebra::Difference, '#optimize' do
   end
 
   context 'right is an empty relation when optimized' do
-    let(:left)  { original_left                                                                        }
-    let(:right) { Algebra::Restriction.new(original_right, Logic::Proposition::Contradiction.instance) }
+    let(:left)  { original_left                                                                           }
+    let(:right) { Algebra::Restriction.new(original_right, Function::Proposition::Contradiction.instance) }
 
     it { should equal(left) }
 

data/spec/integration/veritas/algebra/intersection/optimize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Algebra::Intersection, '#optimize' do
@@ -47,8 +49,8 @@ describe Algebra::Intersection, '#optimize' do
   end
 
   context 'left is an empty relation when optimized' do
-    let(:left)  { Algebra::Restriction.new(original_left, Logic::Proposition::Contradiction.instance) }
-    let(:right) { original_right                                                                      }
+    let(:left)  { Algebra::Restriction.new(original_left, Function::Proposition::Contradiction.instance) }
+    let(:right) { original_right                                                                         }
 
     it { should eql(Relation::Empty.new(left.header | right.header)) }
 
@@ -70,8 +72,8 @@ describe Algebra::Intersection, '#optimize' do
   end
 
   context 'right is an empty relation when optimized' do
-    let(:left)  { original_left                                                                        }
-    let(:right) { Algebra::Restriction.new(original_right, Logic::Proposition::Contradiction.instance) }
+    let(:left)  { original_left                                                                           }
+    let(:right) { Algebra::Restriction.new(original_right, Function::Proposition::Contradiction.instance) }
 
     it { should eql(Relation::Empty.new(left.header | right.header)) }
 

data/spec/integration/veritas/algebra/join/optimize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Algebra::Join, '#optimize' do
@@ -46,7 +48,7 @@ describe Algebra::Join, '#optimize' do
   end
 
   context 'left is an empty relation when optimized' do
-    let(:left) { Algebra::Restriction.new(original_left, Logic::Proposition::Contradiction.instance) }
+    let(:left) { Algebra::Restriction.new(original_left, Function::Proposition::Contradiction.instance) }
 
     it { should eql(Relation::Empty.new(right.header)) }
 
@@ -63,7 +65,7 @@ describe Algebra::Join, '#optimize' do
   end
 
   context 'right is an empty relation when optimized' do
-    let(:right) { Algebra::Restriction.new(original_right, Logic::Proposition::Contradiction.instance) }
+    let(:right) { Algebra::Restriction.new(original_right, Function::Proposition::Contradiction.instance) }
 
     it { should eql(Relation::Empty.new(right.header)) }
 

data/spec/integration/veritas/algebra/product/optimize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Algebra::Product, '#optimize' do

data/spec/integration/veritas/algebra/projection/optimize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Algebra::Projection, '#optimize' do
@@ -68,8 +70,8 @@ describe Algebra::Projection, '#optimize' do
   end
 
   context 'containing an empty relation when optimized' do
-    let(:operand)    { Algebra::Restriction.new(relation, Logic::Proposition::Contradiction.instance) }
-    let(:attributes) { [ :id ]                                                                        }
+    let(:operand)    { Algebra::Restriction.new(relation, Function::Proposition::Contradiction.instance) }
+    let(:attributes) { [ :id ]                                                                           }
 
     it { should eql(Relation::Empty.new(object.header)) }
 
@@ -86,8 +88,8 @@ describe Algebra::Projection, '#optimize' do
   end
 
   context 'containing an optimizable relation' do
-    let(:operand)    { Algebra::Restriction.new(relation, Logic::Proposition::Tautology.instance) }
-    let(:attributes) { [ :id ]                                                                    }
+    let(:operand)    { Algebra::Restriction.new(relation, Function::Proposition::Tautology.instance) }
+    let(:attributes) { [ :id ]                                                                       }
 
     it { should_not equal(object) }
 

data/spec/integration/veritas/algebra/rename/optimize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Algebra::Rename, '#optimize' do

data/spec/integration/veritas/algebra/restriction/optimize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Algebra::Restriction, '#optimize' do
@@ -9,7 +11,7 @@ describe Algebra::Restriction, '#optimize' do
   let(:object)   { described_class.new(operand, predicate)  }
 
   context 'with a tautology' do
-    let(:predicate) { Logic::Proposition::Tautology.instance }
+    let(:predicate) { Function::Proposition::Tautology.instance }
 
     it { should equal(relation) }
 
@@ -22,7 +24,7 @@ describe Algebra::Restriction, '#optimize' do
   end
 
   context 'with a contradiction' do
-    let(:predicate) { Logic::Proposition::Contradiction.instance }
+    let(:predicate) { Function::Proposition::Contradiction.instance }
 
     it { should eql(Relation::Empty.new(relation.header)) }
 
@@ -52,7 +54,7 @@ describe Algebra::Restriction, '#optimize' do
   end
 
   context 'with an optimizable predicate' do
-    let(:predicate) { relation[:id].eq(1).and(Logic::Proposition::Tautology.instance) }
+    let(:predicate) { relation[:id].eq(1).and(Function::Proposition::Tautology.instance) }
 
     it { should_not equal(object) }
 
@@ -117,8 +119,8 @@ describe Algebra::Restriction, '#optimize' do
   end
 
   context 'with an empty relation when optimized' do
-    let(:operand)   { described_class.new(relation, Logic::Proposition::Contradiction.instance) }
-    let(:predicate) { operand[:id].gte(1)                                                       }
+    let(:operand)   { described_class.new(relation, Function::Proposition::Contradiction.instance) }
+    let(:predicate) { operand[:id].gte(1)                                                          }
 
     it { should eql(Relation::Empty.new(relation.header)) }
 
@@ -185,8 +187,8 @@ describe Algebra::Restriction, '#optimize' do
     let(:operand)   { relation.order      }
     let(:predicate) { operand[:id].gte(1) }
 
-    it 'pushes the object under the order' do
-      should eql(relation.restrict(predicate).order)
+    it 'cancels out the order' do
+      should eql(relation.restrict { predicate })
     end
 
     it 'returns an equivalent relation to the unoptimized operation' do

data/spec/integration/veritas/algebra/summarization/optimize_spec.rb

@@ -0,0 +1,49 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Algebra::Summarization, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)        { [ [ :id, Integer ], [ :name, String ], [ :age, Integer ] ]           }
+  let(:body)          { [ [ 1, 'Dan Kubb', 35 ], [ 2, 'Jane Doe', 24 ] ].each                }
+  let(:relation)      { Relation.new(header, body)                                           }
+  let(:operand)       { relation                                                             }
+  let(:summarize_per) { relation.project([ :id ])                                            }
+  let(:summarizers)   { { Attribute.coerce(:count) => lambda { |acc, tuple| acc.to_i + 1 } } }
+  let(:object)        { described_class.new(operand, summarize_per, summarizers)             }
+
+  context 'when the operand is empty' do
+    let(:operand) { relation.restrict { false } }
+
+    it { should eql(summarize_per.extend { |r| r.add(:count, nil) }) }
+
+    it 'returns an equivalent relation to the unoptimized operation' do
+      should == object
+    end
+
+    it 'does not execute body#each' do
+      body.should_not_receive(:each)
+      subject
+    end
+
+    it_should_behave_like 'an optimize method'
+  end
+
+  context 'when the summarize_per is empty' do
+    let(:summarize_per) { relation.project([ :id ]).restrict { false } }
+
+    it { should eql(Relation::Empty.new(object.header)) }
+
+    it 'returns an equivalent relation to the unoptimized operation' do
+      should == object
+    end
+
+    it 'does not execute body#each' do
+      body.should_not_receive(:each)
+      subject
+    end
+
+    it_should_behave_like 'an optimize method'
+  end
+end

data/spec/integration/veritas/algebra/union/optimize_spec.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
 describe Algebra::Union, '#optimize' do
@@ -57,8 +59,8 @@ describe Algebra::Union, '#optimize' do
   end
 
   context 'left is an empty relation when optimized' do
-    let(:left)  { Algebra::Restriction.new(original_left, Logic::Proposition::Contradiction.instance) }
-    let(:right) { original_right                                                                      }
+    let(:left)  { Algebra::Restriction.new(original_left, Function::Proposition::Contradiction.instance) }
+    let(:right) { original_right                                                                         }
 
     it { should equal(right) }
 
@@ -80,8 +82,8 @@ describe Algebra::Union, '#optimize' do
   end
 
   context 'right is an empty relation when optimized' do
-    let(:left)  { original_left                                                                        }
-    let(:right) { Algebra::Restriction.new(original_right, Logic::Proposition::Contradiction.instance) }
+    let(:left)  { original_left                                                                           }
+    let(:right) { Algebra::Restriction.new(original_right, Function::Proposition::Contradiction.instance) }
 
     it { should equal(left) }
 

data/spec/integration/veritas/{logic → function}/connective/conjunction/optimize_spec.rb

@@ -1,12 +1,14 @@
+# encoding: utf-8
+
 require 'spec_helper'
 
-describe Logic::Connective::Conjunction, '#optimize' do
+describe Function::Connective::Conjunction, '#optimize' do
   subject { object.optimize }
 
   let(:attribute) { Attribute::Integer.new(:id)      }
   let(:object)    { described_class.new(left, right) }
 
-  it_should_behave_like 'Logic::Connective::Binary#optimize'
+  it_should_behave_like 'Function::Connective::Binary#optimize'
 
   context 'left and right are predicates' do
     let(:left)  { attribute.gt(1) }
@@ -18,8 +20,8 @@ describe Logic::Connective::Conjunction, '#optimize' do
   end
 
   context 'left and right are inverse predicates' do
-    let(:left)  { Logic::Connective::Negation.new(attribute.gt(1)) }
-    let(:right) { Logic::Connective::Negation.new(attribute.lt(3)) }
+    let(:left)  { Function::Connective::Negation.new(attribute.gt(1)) }
+    let(:right) { Function::Connective::Negation.new(attribute.lt(3)) }
 
     it { should_not equal(object) }
 
@@ -40,26 +42,26 @@ describe Logic::Connective::Conjunction, '#optimize' do
   end
 
   context 'left and right are tautologys' do
-    let(:left)  { Logic::Proposition::Tautology.instance }
-    let(:right) { Logic::Proposition::Tautology.instance }
+    let(:left)  { Function::Proposition::Tautology.instance }
+    let(:right) { Function::Proposition::Tautology.instance }
 
-    it { should equal(Logic::Proposition::Tautology.instance) }
+    it { should equal(Function::Proposition::Tautology.instance) }
 
     it_should_behave_like 'an optimize method'
   end
 
   context 'left and right are contradictions' do
-    let(:left)  { Logic::Proposition::Contradiction.instance }
-    let(:right) { Logic::Proposition::Contradiction.instance }
+    let(:left)  { Function::Proposition::Contradiction.instance }
+    let(:right) { Function::Proposition::Contradiction.instance }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
 
   context 'right is a tautology' do
-    let(:left)  { attribute.gt(1)                        }
-    let(:right) { Logic::Proposition::Tautology.instance }
+    let(:left)  { attribute.gt(1)                           }
+    let(:right) { Function::Proposition::Tautology.instance }
 
     it { should equal(left) }
 
@@ -67,8 +69,8 @@ describe Logic::Connective::Conjunction, '#optimize' do
   end
 
   context 'left is a tautology' do
-    let(:left)  { Logic::Proposition::Tautology.instance }
-    let(:right) { attribute.lt(3)                        }
+    let(:left)  { Function::Proposition::Tautology.instance }
+    let(:right) { attribute.lt(3)                           }
 
     it { should equal(right) }
 
@@ -76,19 +78,19 @@ describe Logic::Connective::Conjunction, '#optimize' do
   end
 
   context 'right is a contradiction' do
-    let(:left)  { attribute.gt(1)                            }
-    let(:right) { Logic::Proposition::Contradiction.instance }
+    let(:left)  { attribute.gt(1)                               }
+    let(:right) { Function::Proposition::Contradiction.instance }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
 
   context 'left is a contradiction' do
-    let(:left)  { Logic::Proposition::Contradiction.instance }
-    let(:right) { attribute.lt(3)                            }
+    let(:left)  { Function::Proposition::Contradiction.instance }
+    let(:right) { attribute.lt(3)                               }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -97,7 +99,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)  { attribute.eq(1) }
     let(:right) { attribute.eq(3) }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -115,7 +117,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)  { attribute.eq(1) }
     let(:right) { attribute.ne(1) }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -124,7 +126,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)  { attribute.ne(1) }
     let(:right) { attribute.eq(1) }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -133,7 +135,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)  { attribute.include([ 1, 2 ]) }
     let(:right) { attribute.exclude([ 1, 2 ]) }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -142,7 +144,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)  { attribute.exclude([ 1, 2 ]) }
     let(:right) { attribute.include([ 1, 2 ]) }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -151,7 +153,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)  { attribute.gt(1)  }
     let(:right) { attribute.lte(1) }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -160,7 +162,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)  { attribute.lte(1) }
     let(:right) { attribute.gt(1)  }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -169,7 +171,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)  { attribute.gte(1) }
     let(:right) { attribute.lt(1)  }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -178,7 +180,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)  { attribute.lt(1)  }
     let(:right) { attribute.gte(1) }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -188,7 +190,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)      { attribute.match(/Dan Kubb/)    }
     let(:right)     { attribute.no_match(/Dan Kubb/) }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end
@@ -198,7 +200,7 @@ describe Logic::Connective::Conjunction, '#optimize' do
     let(:left)      { attribute.no_match(/Dan Kubb/) }
     let(:right)     { attribute.match(/Dan Kubb/)    }
 
-    it { should equal(Logic::Proposition::Contradiction.instance) }
+    it { should equal(Function::Proposition::Contradiction.instance) }
 
     it_should_behave_like 'an optimize method'
   end