veritas-optimizer 0.0.6 → 0.0.7

data/.travis.yml

@@ -1,11 +1,17 @@
+language: ruby
 bundler_args: --without guard metrics
 script: "bundle exec rake spec"
 rvm:
   - 1.8.7
   - 1.9.2
   - 1.9.3
-  - ruby-head
+  - jruby-18mode
+  - jruby-19mode
+  - rbx-18mode
+  - rbx-19mode
   - ree
-  - jruby
-  - rbx
-  - rbx-2.0
+  - ruby-head
+  - jruby-head
+notifications:
+  email:
+    - dan.kubb@gmail.com

data/Gemfile

@@ -1,8 +1,8 @@
 # encoding: utf-8
 
-source :rubygems
+source 'https://rubygems.org'
 
-gem 'veritas', '~> 0.0.6', :git => 'git://github.com/dkubb/veritas.git'
+gem 'veritas', '~> 0.0.7', :git => 'git://github.com/dkubb/veritas.git'
 
 group :development do
   gem 'backports', '~> 2.3.0'

data/TODO

@@ -82,6 +82,10 @@
       * Offset with an offset > 0 can be transformed into an empty
         relation, since at most there can be only one match.
 
+   * When wrapping a Product and the predicate only contains
+     equality/conjunction between attributes from the left and right
+     operands, then transform into a Join.
+
   * Connective
     * "attr > ? OR attr > ?" -> "attr > ?", with the least restrictive value
       * Do the same for >=, <, <=

data/config/flay.yml

@@ -1,3 +1,3 @@
 ---
 threshold: 113
-total_score: 845
+total_score: 862

data/lib/veritas/optimizer/algebra/join.rb

@@ -34,7 +34,7 @@ module Veritas
         # Optimize when operands' headers are equal
         class EqualHeaders < self
 
-          # Test if the operands' headers are equal to the join's headers
+          # Test if the operands' headers are equal
           #
           # @return [Boolean]
           #
@@ -43,7 +43,7 @@ module Veritas
             left.header.eql?(right.header)
           end
 
-          # A Join with an equal header is an Intersection
+          # A Join with equal headers is an Intersection
           #
           # @return [Algebra::Intersection]
           #
@@ -54,6 +54,29 @@ module Veritas
 
         end # class EqualHeaders
 
+        # Optimize when operands' headers are disjoint
+        class DisjointHeaders < self
+
+          # Test if the operands' headers are disjoint
+          #
+          # @return [Boolean]
+          #
+          # @api private
+          def optimizable?
+            (left.header & right.header).none?
+          end
+
+          # A Join with disjoint headers is a Product
+          #
+          # @return [Algebra::Product]
+          #
+          # @api private
+          def optimize
+            left.product(right)
+          end
+
+        end # class EqualHeaders
+
         # Optimize when the left operand is materialized
         class LeftMaterializedOperand < self
 
@@ -146,6 +169,7 @@ module Veritas
           EmptyLeft,
           EmptyRight,
           EqualHeaders,
+          DisjointHeaders,
           LeftOrderOperand,
           RightOrderOperand,
           MaterializedOperands,

data/lib/veritas/optimizer/version.rb

@@ -2,6 +2,6 @@
 
 module Veritas
   class Optimizer
-    VERSION = '0.0.6'
+    VERSION = '0.0.7'
   end # class Optimizer
 end # module Veritas

data/spec/rcov.opts

@@ -4,3 +4,4 @@
 --xrefs
 --profile
 --text-summary
+--failure-threshold 100

data/spec/spec_helper.rb

@@ -2,7 +2,7 @@
 
 require 'rubygems'
 require 'backports'
-require 'backports/basic_object'
+require 'backports/basic_object' unless RUBY_VERSION >= '1.9.2' && (RUBY_PLATFORM.include?('java') || RUBY_ENGINE == 'rbx')
 require 'veritas-optimizer'
 require 'spec'
 require 'spec/autorun'

data/spec/unit/veritas/optimizer/algebra/join/disjoint_headers/optimizable_spec.rb

@@ -0,0 +1,29 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Join::DisjointHeaders, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:relation) { left.join(right)              }
+  let(:object)   { described_class.new(relation) }
+
+  before do
+    object.operation.should be_kind_of(Algebra::Join)
+  end
+
+  context 'when left and right headers are disjoint' do
+    let(:left)  { Relation.new([ [ :id,       Integer ] ], [ [ 1 ] ].each) }
+    let(:right) { Relation.new([ [ :other_id, Integer ] ], [ [ 1 ] ].each) }
+
+    it { should be(true) }
+  end
+
+  context 'when left and right headers are not disjoint' do
+    let(:header) { [ [ :id, Integer ] ]                 }
+    let(:left)   { Relation.new(header, [ [ 1 ] ].each) }
+    let(:right)  { Relation.new(header, [ [ 1 ] ].each) }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/veritas/optimizer/algebra/join/disjoint_headers/optimize_spec.rb

@@ -0,0 +1,22 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Algebra::Join::DisjointHeaders, '#optimize' do
+  subject { object.optimize }
+
+  let(:left)     { Relation.new([ [ :id,       Integer ] ], [ [ 1 ] ].each) }
+  let(:right)    { Relation.new([ [ :other_id, Integer ] ], [ [ 2 ] ].each) }
+  let(:relation) { left.join(right)                                         }
+  let(:object)   { described_class.new(relation)                            }
+
+  before do
+    object.should be_optimizable
+  end
+
+  it { should be_kind_of(Algebra::Product) }
+
+  its(:left) { should equal(left) }
+
+  its(:right) { should equal(right) }
+end

data/tasks/metrics/ci.rake

@@ -1,7 +1,7 @@
 desc 'Run metrics with Heckle'
-task :ci => [ 'ci:metrics', :heckle ]
+task :ci => %w[ ci:metrics heckle ]
 
 namespace :ci do
   desc 'Run metrics'
-  task :metrics => [ :verify_measurements, :flog, :flay, :reek, :roodi, 'metrics:all' ]
+  task :metrics => %w[ verify_measurements flog flay reek roodi metrics:all ]
 end

data/tasks/metrics/heckle.rake

@@ -6,7 +6,7 @@ $LOAD_PATH.unshift(File.expand_path('../../../lib', __FILE__))
 begin
   require 'pathname'
   require 'backports'
-  require 'backports/basic_object'
+  require 'backports/basic_object' unless RUBY_VERSION >= '1.9.2' && (RUBY_PLATFORM.include?('java') || RUBY_ENGINE == 'rbx')
   require 'active_support/inflector'
   require 'heckle'
   require 'mspec'
@@ -27,13 +27,16 @@ begin
   end
 
   desc 'Heckle each module and class'
-  task :heckle => :verify_rcov do
+  task :heckle => :rcov do
     unless Ruby2Ruby::VERSION == '1.2.2'
       raise "ruby2ruby version #{Ruby2Ruby::VERSION} may not work properly, 1.2.2 *only* is recommended for use with heckle"
     end
 
     require 'veritas/optimizer'
-    root_module = 'Veritas::Optimizer'
+
+    root_module_regexp = Regexp.union(
+      'Veritas::Optimizer'
+    )
 
     spec_dir = Pathname('spec/unit')
 
@@ -50,7 +53,7 @@ begin
     unhandled_mutations = 0
 
     ObjectSpace.each_object(Module) do |mod|
-      next unless mod.name =~ /\A#{root_module}(?::|\z)/
+      next unless mod.name =~ /\A#{root_module_regexp}(?::|\z)/
 
       spec_prefix = spec_dir.join(mod.name.underscore)
 
@@ -135,9 +138,9 @@ begin
         descedant_specs = []
 
         ObjectSpace.each_object(Module) do |descedant|
-          next unless descedant.name =~ /\A#{root_module}(?::|\z)/ && mod >= descedant
+          next unless descedant.name =~ /\A#{root_module_regexp}(?::|\z)/ && mod >= descedant
           descedant_spec_prefix = spec_dir.join(descedant.name.underscore)
-          descedant_specs.concat(Pathname.glob(descedant_spec_prefix.join('*_spec.rb')))
+          descedant_specs << descedant_spec_prefix
 
           if method.to_s == 'initialize'
             descedant_specs.concat(Pathname.glob(descedant_spec_prefix.join('class_methods/new_spec.rb')))
@@ -151,9 +154,8 @@ begin
         descedant_specs = []
 
         ObjectSpace.each_object(Module) do |descedant|
-          next unless descedant.name =~ /\A#{root_module}(?::|\z)/ && mod >= descedant
-          descedant_spec_prefix = spec_dir.join(descedant.name.underscore)
-          descedant_specs.concat(Pathname.glob(descedant_spec_prefix.join('class_methods/*_spec.rb')))
+          next unless descedant.name =~ /\A#{root_module_regexp}(?::|\z)/ && mod >= descedant
+          descedant_specs << spec_dir.join(descedant.name.underscore).join('class_methods')
         end
 
         specs << [ ".#{method}", descedant_specs ]

data/tasks/spec.rake

@@ -1,37 +1,46 @@
 spec_defaults = lambda do |spec|
-  spec.pattern    = 'spec/**/*_spec.rb'
-  spec.libs      << 'lib' << 'spec'
   spec.spec_opts << '--options' << 'spec/spec.opts'
 end
 
 begin
   require 'spec/rake/spectask'
 
-  Spec::Rake::SpecTask.new(:spec, &spec_defaults)
+  desc 'Run all specs'
+  task :spec => %w[ spec:unit spec:integration ]
+
+  namespace :spec do
+    desc 'Run unit specs'
+    Spec::Rake::SpecTask.new(:unit) do |unit|
+      spec_defaults.call(unit)
+      unit.pattern = 'spec/unit/**/*_spec.rb'
+    end
+
+    desc 'Run integration specs'
+    Spec::Rake::SpecTask.new(:integration) do |integration|
+      spec_defaults.call(integration)
+      integration.pattern = 'spec/integration/**/*_spec.rb'
+    end
+  end
 rescue LoadError
-  task :spec do
-    abort 'rspec is not available. In order to run spec, you must: gem install rspec'
+  %w[ spec spec:unit spec:integration ].each do |name|
+    task name do
+      abort "rspec is not available. In order to run #{name}, you must: gem install rspec"
+    end
   end
 end
 
 begin
   require 'rcov'
-  require 'spec/rake/verify_rcov'
 
   Spec::Rake::SpecTask.new(:rcov) do |rcov|
     spec_defaults.call(rcov)
     rcov.rcov      = true
+    rcov.pattern   = 'spec/unit/**/*_spec.rb'
     rcov.rcov_opts = File.read('spec/rcov.opts').split(/\s+/)
   end
-
-  RCov::VerifyTask.new(:verify_rcov => :rcov) do |rcov|
-    rcov.threshold = 100
-  end
 rescue LoadError
-  %w[ rcov verify_rcov ].each do |name|
-    task name do
-      abort "rcov is not available. In order to run #{name}, you must: gem install rcov"
-    end
+  task :rcov do
+    abort 'rcov is not available. In order to run rcov, you must: gem install rcov'
   end
 end
 

data/veritas-optimizer.gemspec

@@ -5,11 +5,11 @@
 
 Gem::Specification.new do |s|
   s.name = "veritas-optimizer"
-  s.version = "0.0.6"
+  s.version = "0.0.7"
 
   s.required_rubygems_version = Gem::Requirement.new(">= 0") if s.respond_to? :required_rubygems_version=
   s.authors = ["Dan Kubb"]
-  s.date = "2011-10-04"
+  s.date = "2012-03-08"
   s.description = "Optimizes veritas relations"
   s.email = "dan.kubb@gmail.com"
   s.extra_rdoc_files = [
@@ -141,6 +141,8 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb",
     "spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb",
     "spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb",
+    "spec/unit/veritas/optimizer/algebra/join/disjoint_headers/optimizable_spec.rb",
+    "spec/unit/veritas/optimizer/algebra/join/disjoint_headers/optimize_spec.rb",
     "spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb",
     "spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb",
     "spec/unit/veritas/optimizer/algebra/join/left_materialized_operand/optimizable_spec.rb",
@@ -362,21 +364,21 @@ Gem::Specification.new do |s|
   ]
   s.homepage = "https://github.com/dkubb/veritas-optimizer"
   s.require_paths = ["lib"]
-  s.rubygems_version = "1.8.10"
+  s.rubygems_version = "1.8.16"
   s.summary = "Relational algebra optimizer"
 
   if s.respond_to? :specification_version then
     s.specification_version = 3
 
     if Gem::Version.new(Gem::VERSION) >= Gem::Version.new('1.2.0') then
-      s.add_runtime_dependency(%q<veritas>, ["~> 0.0.6"])
+      s.add_runtime_dependency(%q<veritas>, ["~> 0.0.7"])
       s.add_development_dependency(%q<backports>, ["~> 2.3.0"])
       s.add_development_dependency(%q<jeweler>, ["~> 1.6.4"])
       s.add_development_dependency(%q<rake>, ["~> 0.9.2"])
       s.add_development_dependency(%q<rspec>, ["~> 1.3.2"])
       s.add_development_dependency(%q<yard>, ["~> 0.7.2"])
     else
-      s.add_dependency(%q<veritas>, ["~> 0.0.6"])
+      s.add_dependency(%q<veritas>, ["~> 0.0.7"])
       s.add_dependency(%q<backports>, ["~> 2.3.0"])
       s.add_dependency(%q<jeweler>, ["~> 1.6.4"])
       s.add_dependency(%q<rake>, ["~> 0.9.2"])
@@ -384,7 +386,7 @@ Gem::Specification.new do |s|
       s.add_dependency(%q<yard>, ["~> 0.7.2"])
     end
   else
-    s.add_dependency(%q<veritas>, ["~> 0.0.6"])
+    s.add_dependency(%q<veritas>, ["~> 0.0.7"])
     s.add_dependency(%q<backports>, ["~> 2.3.0"])
     s.add_dependency(%q<jeweler>, ["~> 1.6.4"])
     s.add_dependency(%q<rake>, ["~> 0.9.2"])

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification 
 name: veritas-optimizer
 version: !ruby/object:Gem::Version 
-  hash: 19
+  hash: 17
   prerelease: 
   segments: 
   - 0
   - 0
-  - 6
-  version: 0.0.6
+  - 7
+  version: 0.0.7
 platform: ruby
 authors: 
 - Dan Kubb
@@ -15,28 +15,27 @@ autorequire:
 bindir: bin
 cert_chain: []
 
-date: 2011-10-04 00:00:00 Z
+date: 2012-03-08 00:00:00 Z
 dependencies: 
 - !ruby/object:Gem::Dependency 
   type: :runtime
-  prerelease: false
-  requirement: &id001 !ruby/object:Gem::Requirement 
+  version_requirements: &id001 !ruby/object:Gem::Requirement 
     none: false
     requirements: 
     - - ~>
       - !ruby/object:Gem::Version 
-        hash: 19
+        hash: 17
         segments: 
         - 0
         - 0
-        - 6
-        version: 0.0.6
-  version_requirements: *id001
+        - 7
+        version: 0.0.7
+  prerelease: false
+  requirement: *id001
   name: veritas
 - !ruby/object:Gem::Dependency 
   type: :development
-  prerelease: false
-  requirement: &id002 !ruby/object:Gem::Requirement 
+  version_requirements: &id002 !ruby/object:Gem::Requirement 
     none: false
     requirements: 
     - - ~>
@@ -47,12 +46,12 @@ dependencies:
         - 3
         - 0
         version: 2.3.0
-  version_requirements: *id002
+  prerelease: false
+  requirement: *id002
   name: backports
 - !ruby/object:Gem::Dependency 
   type: :development
-  prerelease: false
-  requirement: &id003 !ruby/object:Gem::Requirement 
+  version_requirements: &id003 !ruby/object:Gem::Requirement 
     none: false
     requirements: 
     - - ~>
@@ -63,12 +62,12 @@ dependencies:
         - 6
         - 4
         version: 1.6.4
-  version_requirements: *id003
+  prerelease: false
+  requirement: *id003
   name: jeweler
 - !ruby/object:Gem::Dependency 
   type: :development
-  prerelease: false
-  requirement: &id004 !ruby/object:Gem::Requirement 
+  version_requirements: &id004 !ruby/object:Gem::Requirement 
     none: false
     requirements: 
     - - ~>
@@ -79,12 +78,12 @@ dependencies:
         - 9
         - 2
         version: 0.9.2
-  version_requirements: *id004
+  prerelease: false
+  requirement: *id004
   name: rake
 - !ruby/object:Gem::Dependency 
   type: :development
-  prerelease: false
-  requirement: &id005 !ruby/object:Gem::Requirement 
+  version_requirements: &id005 !ruby/object:Gem::Requirement 
     none: false
     requirements: 
     - - ~>
@@ -95,12 +94,12 @@ dependencies:
         - 3
         - 2
         version: 1.3.2
-  version_requirements: *id005
+  prerelease: false
+  requirement: *id005
   name: rspec
 - !ruby/object:Gem::Dependency 
   type: :development
-  prerelease: false
-  requirement: &id006 !ruby/object:Gem::Requirement 
+  version_requirements: &id006 !ruby/object:Gem::Requirement 
     none: false
     requirements: 
     - - ~>
@@ -111,7 +110,8 @@ dependencies:
         - 7
         - 2
         version: 0.7.2
-  version_requirements: *id006
+  prerelease: false
+  requirement: *id006
   name: yard
 description: Optimizes veritas relations
 email: dan.kubb@gmail.com
@@ -247,6 +247,8 @@ files:
 - spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb
 - spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb
 - spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb
+- spec/unit/veritas/optimizer/algebra/join/disjoint_headers/optimizable_spec.rb
+- spec/unit/veritas/optimizer/algebra/join/disjoint_headers/optimize_spec.rb
 - spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb
 - spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb
 - spec/unit/veritas/optimizer/algebra/join/left_materialized_operand/optimizable_spec.rb
@@ -494,7 +496,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
 requirements: []
 
 rubyforge_project: 
-rubygems_version: 1.8.10
+rubygems_version: 1.8.16
 signing_key: 
 specification_version: 3
 summary: Relational algebra optimizer