axiom-optimizer 0.1.0

data/spec/unit/axiom/optimizer/algebra/rename/offset_operand/optimize_spec.rb

@@ -0,0 +1,23 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::OffsetOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ] ])       }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1 ] ])) }
+  let(:order)    { base.sort_by { |r| r.id }                           }
+  let(:relation) { order.drop(1).rename(:id => :other_id)              }
+  let(:object)   { described_class.new(relation)                       }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Relation::Operation::Offset) }
+
+  its(:operand) { should eql(order.rename(:id => :other_id)) }
+
+  its(:offset) { should == 1 }
+end

data/spec/unit/axiom/optimizer/algebra/rename/order_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,28 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::OrderOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:base)     { Relation.new([ [ :id, Integer ] ], LazyEnumerable.new([ [ 1 ] ])) }
+  let(:aliases)  { { :id => :other_id }                                              }
+  let(:relation) { operand.rename(aliases)                                           }
+  let(:object)   { described_class.new(relation)                                     }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Rename)
+  end
+
+  context 'when the operand is an order operation' do
+    let(:operand) { base.sort_by { |r| r.id } }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not an order operation' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/rename/order_operand/optimize_spec.rb

@@ -0,0 +1,22 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::OrderOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:base)     { Relation.new([ [ :id, Integer ] ], LazyEnumerable.new([ [ 1 ] ])) }
+  let(:operand)  { base.sort_by { |r| r.id }                                         }
+  let(:relation) { operand.rename(:id => :other_id)                                  }
+  let(:object)   { described_class.new(relation)                                     }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Relation::Operation::Order) }
+
+  its(:operand) { should eql(base.rename(:id => :other_id)) }
+
+  its(:directions) { should == [ relation[:other_id].asc ] }
+end

data/spec/unit/axiom/optimizer/algebra/rename/projection_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,43 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::ProjectionOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header) { Relation::Header.coerce([ [ :one, Integer ], [ :two, Integer ], [ :three, Integer ] ]) }
+  let(:base)   { Relation.new(header, LazyEnumerable.new([ [ 1, 2 ] ]))                                 }
+  let(:object) { described_class.new(relation)                                                          }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Rename)
+  end
+
+  context 'when the operand is a projection and the aliases do not conflict with a removed column' do
+    let(:operand)  { base.project([ :one, :two ])                 }
+    let(:relation) { operand.rename(:one => :other, :two => :one) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is a projection and the alias does not conflict with a removed column' do
+    let(:operand)  { base.project([ :one ])         }
+    let(:relation) { operand.rename(:one => :other) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is a projection and the alias conflicts with a removed column' do
+    let(:operand)  { base.project([ :one ])       }
+    let(:relation) { operand.rename(:one => :two) }
+
+    it { should be(false) }
+  end
+
+  context 'when the operand is not a projection' do
+    let(:operand)  { base                           }
+    let(:relation) { operand.rename(:one => :other) }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/rename/projection_operand/optimize_spec.rb

@@ -0,0 +1,22 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::ProjectionOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ] ]) }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb' ] ]))  }
+  let(:relation) { base.project([ :id ]).rename(:id => :other_id)                   }
+  let(:object)   { described_class.new(relation)                                    }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Algebra::Projection) }
+
+  its(:operand) { should eql(base.rename(:id => :other_id)) }
+
+  its(:header) { should == [ [ :other_id, Integer ] ] }
+end

data/spec/unit/axiom/optimizer/algebra/rename/rename_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,30 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::RenameOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ] ]) }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb' ] ]))  }
+  let(:relation) { operand.rename(aliases)                                          }
+  let(:object)   { described_class.new(relation)                                    }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Rename)
+  end
+
+  context 'when the operand is a rename' do
+    let(:aliases) { { :id => :other_id }              }
+    let(:operand) { base.rename(:name => :other_name) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not a rename' do
+    let(:aliases) { { :id => :other_id } }
+    let(:operand) { base                 }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/rename/rename_operand/optimize_spec.rb

@@ -0,0 +1,22 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::RenameOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ] ]) }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb' ] ]))  }
+  let(:relation) { base.rename(:name => :other_name).rename(:id => :other_id)       }
+  let(:object)   { described_class.new(relation)                                    }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Algebra::Rename) }
+
+  its(:operand) { should equal(base) }
+
+  its(:header) { should == [ [ :other_id, Integer ], [ :other_name, String ] ] }
+end

data/spec/unit/axiom/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_predicate_spec.rb

@@ -0,0 +1,37 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::RenameOperandAndEmptyAliases, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ] ]) }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb' ] ]))  }
+  let(:relation) { operand.rename(aliases)                                          }
+  let(:object)   { described_class.new(relation)                                    }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Rename)
+  end
+
+  context 'when the operand is a rename and there are aliases' do
+    let(:aliases) { { :id => :other_id }              }
+    let(:operand) { base.rename(:name => :other_name) }
+
+    it { should be(false) }
+  end
+
+  context 'when the operand is a rename and there no aliases' do
+    let(:aliases) { { :other_id => :id }          }
+    let(:operand) { base.rename(:id => :other_id) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not a rename' do
+    let(:aliases) { { :id => :other_id } }
+    let(:operand) { base                 }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb

@@ -0,0 +1,18 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::RenameOperandAndEmptyAliases, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ] ]) }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb' ] ]))  }
+  let(:relation) { base.rename(:id => :other_id).rename(:other_id => :id)           }
+  let(:object)   { described_class.new(relation)                                    }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should equal(base) }
+end

data/spec/unit/axiom/optimizer/algebra/rename/restriction_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,29 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::RestrictionOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)    { Relation::Header.coerce([ [ :id, Integer ] ])       }
+  let(:base)      { Relation.new(header, LazyEnumerable.new([ [ 1 ] ])) }
+  let(:predicate) { base[:id].eq(1)                                     }
+  let(:relation)  { operand.rename(:id => :other_id)                    }
+  let(:object)    { described_class.new(relation)                       }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Rename)
+  end
+
+  context 'when the operand is a restriction' do
+    let(:operand) { base.restrict { predicate } }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not a restriction' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/rename/restriction_operand/optimize_spec.rb

@@ -0,0 +1,23 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::RestrictionOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)    { Relation::Header.coerce([ [ :id, Integer ] ])        }
+  let(:base)      { Relation.new(header, LazyEnumerable.new([ [ 1 ] ]))  }
+  let(:predicate) { base[:id].eq(1)                                      }
+  let(:relation)  { base.restrict { predicate }.rename(:id => :other_id) }
+  let(:object)    { described_class.new(relation)                        }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Algebra::Restriction) }
+
+  its(:operand) { should eql(base.rename(:id => :other_id)) }
+
+  its(:predicate) { should == header[:id].rename(:other_id).eq(1) }
+end

data/spec/unit/axiom/optimizer/algebra/rename/reverse_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,27 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::ReverseOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:base)     { Relation.new([ [ :id, Integer ] ], LazyEnumerable.new([ [ 1 ] ])) }
+  let(:relation) { operand.rename(:id => :other_id)                                  }
+  let(:object)   { described_class.new(relation)                                     }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Rename)
+  end
+
+  context 'when the operand is an reverse operation' do
+    let(:operand) { base.sort_by { |r| r.id }.take(2).reverse }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not an reverse operation' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/rename/reverse_operand/optimize_spec.rb

@@ -0,0 +1,23 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::ReverseOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:base)     { Relation.new([ [ :id, Integer ] ], LazyEnumerable.new([ [ 1 ] ])) }
+  let(:limit)    { base.sort_by { |r| r.id }.take(2)                                 }
+  let(:operand)  { limit.rename({}).reverse                                          }
+  let(:relation) { operand.rename(:id => :other_id)                                  }
+  let(:object)   { described_class.new(relation)                                     }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Relation::Operation::Reverse) }
+
+  its(:operand) { should eql(limit.rename(:id => :other_id)) }
+
+  its(:directions) { should == [ relation[:other_id].desc ] }
+end

data/spec/unit/axiom/optimizer/algebra/rename/set_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,29 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::SetOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ] ])       }
+  let(:left)     { Relation.new(header, LazyEnumerable.new([ [ 1 ] ])) }
+  let(:right)    { Relation.new(header, LazyEnumerable.new([ [ 2 ] ])) }
+  let(:relation) { operand.rename(:id => :other_id)                    }
+  let(:object)   { described_class.new(relation)                       }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Rename)
+  end
+
+  context 'when the operand is a set operation' do
+    let(:operand) { left.union(right) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not a set operation' do
+    let(:operand) { left }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/rename/set_operand/optimize_spec.rb

@@ -0,0 +1,23 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::SetOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ] ])       }
+  let(:left)     { Relation.new(header, LazyEnumerable.new([ [ 1 ] ])) }
+  let(:right)    { Relation.new(header, LazyEnumerable.new([ [ 2 ] ])) }
+  let(:relation) { left.union(right).rename(:id => :other_id)          }
+  let(:object)   { described_class.new(relation)                       }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Relation::Operation::Set) }
+
+  its(:left) { should eql(left.rename(:id => :other_id)) }
+
+  its(:right) { should eql(right.rename(:id => :other_id)) }
+end

data/spec/unit/axiom/optimizer/algebra/rename/unoptimized_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,29 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::UnoptimizedOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ] ])       }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1 ] ])) }
+  let(:relation) { operand.rename(aliases)                             }
+  let(:aliases)  { { :id => :other_id }                                }
+  let(:object)   { described_class.new(relation)                       }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Rename)
+  end
+
+  context 'when the operand is optimizable' do
+    let(:operand) { base.rename({}) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not optimizable' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end