axiom-optimizer 0.1.0

data/spec/unit/axiom/optimizer/algebra/product/table_dee_right/optimize_spec.rb

@@ -0,0 +1,18 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Product::TableDeeRight, '#optimize' do
+  subject { object.optimize }
+
+  let(:left)     { Relation.new([ [ :id, Integer  ] ], LazyEnumerable.new([ [ 1 ] ])) }
+  let(:right)    { TABLE_DEE                                                          }
+  let(:relation) { left.product(right)                                                }
+  let(:object)   { described_class.new(relation)                                      }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should equal(left) }
+end

data/spec/unit/axiom/optimizer/algebra/projection/empty_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,27 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Projection::EmptyOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ] ]) }
+  let(:relation) { operand.project([ :id ])                                         }
+  let(:object)   { described_class.new(relation)                                    }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Projection)
+  end
+
+  context 'when the operand is empty' do
+    let(:operand) { Relation::Empty.new(header) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not empty' do
+    let(:operand) { Relation.new(header, [ [ 1, 'Dan Kubb' ] ]) }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/projection/empty_operand/optimize_spec.rb

@@ -0,0 +1,22 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Projection::EmptyOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ] ]) }
+  let(:base)     { Relation::Empty.new(header)                                      }
+  let(:relation) { base.project([ :id ])                                            }
+  let(:object)   { described_class.new(relation)                                    }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Relation::Empty) }
+
+  its(:header) { should equal(relation.header) }
+
+  its(:tuples) { should equal(relation) }
+end

data/spec/unit/axiom/optimizer/algebra/projection/extension_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,35 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Projection::ExtensionOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ], [ :age, Integer ] ]) }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb', 35 ] ]))                 }
+  let(:relation) { operand.project([ :id, :name ])                                                     }
+  let(:object)   { described_class.new(relation)                                                       }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Projection)
+  end
+
+  context 'when the operand is an extension, and the extended attribtue is removed ' do
+    let(:operand) { base.extend { |r| r.add(:active, true) } }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is an extension, and the extended attribtue is not removed ' do
+    let(:operand)  { base.extend { |r| r.add(:active, true) } }
+    let(:relation) { operand.project([ :id, :name, :active ]) }
+
+    it { should be(false) }
+  end
+
+  context 'when the operand is not an extension' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/projection/extension_operand/optimize_spec.rb

@@ -0,0 +1,22 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Projection::ExtensionOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ], [ :age, Integer ] ])          }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb', 35 ] ]))                          }
+  let(:relation) { base.extend { |r| r.add(:subscriber, true); r.add(:active, true) }.project([ :id, :active ]) }
+  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.extend { |r| r.add(:active, true) }) }
+
+  its(:header) { should == [ header[:id], Attribute::Boolean.new(:active) ] }
+end

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

@@ -0,0 +1,28 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Projection::ProjectionOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ], [ :age, Integer ] ]) }
+  let(:base)     { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb', 35 ] ]))                 }
+  let(:relation) { operand.project([ :id ])                                                            }
+  let(:object)   { described_class.new(relation)                                                       }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Projection)
+  end
+
+  context 'when the operand is a projection' do
+    let(:operand) { base.project([ :id, :name ]) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not a projection' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end

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

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

data/spec/unit/axiom/optimizer/algebra/projection/union_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,29 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Projection::UnionOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ] ])    }
+  let(:left)     { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb', 35 ] ])) }
+  let(:right)    { Relation.new(header, LazyEnumerable.new([ [ 2, 'Dan Kubb', 35 ] ])) }
+  let(:relation) { operand.project([ :id ])                                            }
+  let(:object)   { described_class.new(relation)                                       }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Projection)
+  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/projection/union_operand/optimize_spec.rb

@@ -0,0 +1,25 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Projection::UnionOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:header)     { Relation::Header.coerce([ [ :id, Integer ], [ :name, String ], [ :age, Integer ] ]) }
+  let(:base_left)  { Relation.new(header, LazyEnumerable.new([ [ 1, 'Dan Kubb', 35 ] ]))                 }
+  let(:base_right) { Relation.new(header, LazyEnumerable.new([ [ 2, 'Dan Kubb', 35 ] ]))                 }
+  let(:left)       { base_left.rename({})                                                                }
+  let(:right)      { base_right.rename({})                                                               }
+  let(:relation)   { left.union(right).project([ :id ])                                                  }
+  let(:object)     { described_class.new(relation)                                                       }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Algebra::Union) }
+
+  its(:left) { should eql(base_left.project([ :id ])) }
+
+  its(:right) { should eql(base_right.project([ :id ])) }
+end

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

@@ -0,0 +1,28 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Projection::UnoptimizedOperand, '#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.project([ :id ])                                         }
+  let(:object)   { described_class.new(relation)                                    }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Projection)
+  end
+
+  context 'when the operand is optimizable' do
+    let(:operand) { base.restrict { Function::Proposition::Tautology.instance } }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not optimizable' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb

@@ -0,0 +1,22 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Projection::UnoptimizedOperand, '#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.restrict { Function::Proposition::Tautology.instance }.project([ :id ]) }
+  let(:object)   { described_class.new(relation)                                                }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Algebra::Projection) }
+
+  its(:operand) { should equal(base) }
+
+  its(:header) { should == [ header[:id] ] }
+end

data/spec/unit/axiom/optimizer/algebra/rename/aliases_spec.rb

@@ -0,0 +1,23 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename, '#aliases' do
+  subject { object.aliases }
+
+  let(:attribute) { Attribute::Integer.new(:id)                         }
+  let(:header)    { Relation::Header.new([ attribute ])                 }
+  let(:base)      { Relation.new(header, LazyEnumerable.new([ [ 1 ] ])) }
+  let(:aliases)   { { :id => :other_id }                                }
+  let(:object)    { described_class.new(relation)                       }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Rename)
+  end
+
+  let(:relation) { base.rename(aliases) }
+
+  it { should be_kind_of(Algebra::Rename::Aliases) }
+
+  it { should equal(relation.aliases) }
+end

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

@@ -0,0 +1,27 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::EmptyOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:header)   { Relation::Header.coerce([ [ :id, Integer ] ]) }
+  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 empty relation' do
+    let(:operand) { Relation::Empty.new(header) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not an empty relation' do
+    let(:operand) { Relation.new(header, [ [ 1 ] ]) }
+
+    it { should be(false) }
+  end
+end

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

@@ -0,0 +1,21 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::EmptyOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:operand)  { Relation::Empty.new([ [ :id, Integer ] ]) }
+  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::Empty) }
+
+  its(:header) { should equal(relation.header) }
+
+  its(:tuples) { should equal(relation) }
+end

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

@@ -0,0 +1,28 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::LimitOperand, '#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 limit operation' do
+    let(:operand) { base.sort_by { |r| r.id }.take(1) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not an limit operation' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end

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

@@ -0,0 +1,23 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::LimitOperand, '#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.take(2).rename(:id => :other_id)              }
+  let(:object)   { described_class.new(relation)                       }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Relation::Operation::Limit) }
+
+  its(:operand) { should eql(order.rename(:id => :other_id)) }
+
+  its(:limit) { should == 2 }
+end

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

@@ -0,0 +1,28 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Rename::OffsetOperand, '#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 offset operation' do
+    let(:operand) { base.sort_by { |r| r.id }.drop(1) }
+
+    it { should be(true) }
+  end
+
+  context 'when the operand is not an offset operation' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end