alf-core 0.13.1 → 0.14.0

data/spec/unit/alf-viewpoint/metadata/test_all_members.rb

@@ -0,0 +1,33 @@
+require 'spec_helper'
+module Alf
+  module Viewpoint
+    describe Metadata, "all_members" do
+
+      let(:metadata) do 
+        @base  = base  = viewpoint{ native :base }
+        @user  = user  = viewpoint{ expects(base); native :user }
+        @util1 = util1 = viewpoint{ expects(base);  depends(:user, user) }
+        @util2 = util2 = viewpoint{ expects(util1); depends(:user, user) }
+        @term  = viewpoint{ expects(util2) }
+        @term.metadata
+      end
+
+      before do
+        metadata
+      end
+
+      context 'on base' do
+        subject{ @base.metadata.all_members }
+
+        it{ should eq([:base]) }
+      end
+
+      context 'on user' do
+        subject{ @user.metadata.all_members }
+
+        it{ should eq([:base, :user]) }
+      end
+
+    end
+  end
+end

data/spec/unit/alf-viewpoint/metadata/test_depends.rb

@@ -0,0 +1,50 @@
+require 'spec_helper'
+module Alf
+  module Viewpoint
+    describe Metadata, "#depends" do
+
+      context 'on empty dependencies' do
+        let(:metadata){ Metadata.new }
+
+        subject{ metadata.depends(a: [1, 2]) }
+
+        it 'sets dependencies' do
+          subject.dependencies.should eq(a: [1, 2])
+        end
+      end
+
+      context 'on disjoint dependencies' do
+        let(:metadata){ Metadata.new([], a: [1, 2]) }
+
+        subject{ metadata.depends(b: [3, 4]) }
+
+        it 'sets dependencies' do
+          subject.dependencies.should eq(a: [1, 2], b: [3, 4])
+        end
+      end
+
+      context 'on overlapping, non-conlictual dependencies' do
+        let(:metadata){ Metadata.new([], a: [1, 2], b: [3, 4]) }
+
+        subject{ metadata.depends(a: [1, 2], c: [5, 6]) }
+
+        it 'sets dependencies' do
+          subject.dependencies.should eq(a: [1, 2], b: [3, 4], c: [5, 6])
+        end
+      end
+
+      context 'on overlapping, conlictual dependencies' do
+        let(:metadata){ Metadata.new([], a: [1, 2]) }
+
+        subject{ metadata.depends(a: [1, 3]) }
+
+        it 'raises an error' do
+          lambda{
+            subject
+          }.should raise_error("Composition conflict on `a`: [1, 2] vs. [1, 3]")
+        end
+      end
+
+    end
+  end
+end

data/spec/unit/alf-viewpoint/metadata/test_dup.rb

@@ -0,0 +1,32 @@
+require 'spec_helper'
+module Alf
+  module Viewpoint
+    describe Metadata, "#dup" do
+
+      let(:metadata){ Metadata.new([1, 2], {a: [3, 4]}, [:m]) }
+
+      subject{ metadata.dup }
+
+      it 'should be a different Metadata' do
+        subject.should be_a(Metadata)
+        subject.should_not be(metadata)
+      end
+
+      it 'should have different yet equal expectations' do
+        subject.expectations.should_not be(metadata.expectations)
+        subject.expectations.should eq(metadata.expectations)
+      end
+
+      it 'should have different yet equal dependencies' do
+        subject.dependencies.should_not be(metadata.dependencies)
+        subject.dependencies.should eq(metadata.dependencies)
+      end
+
+      it 'should have different yet equal members' do
+        subject.members.should_not be(metadata.members)
+        subject.members.should eq(metadata.members)
+      end
+
+    end
+  end
+end

data/spec/unit/alf-viewpoint/metadata/test_expand.rb

@@ -0,0 +1,31 @@
+require 'spec_helper'
+module Alf
+  module Viewpoint
+    describe Metadata, ".reduce" do
+
+      subject{ metadata.expand }
+
+      let(:metadata) do 
+        @base  = base  = viewpoint{ }
+        @user  = user  = viewpoint{ expects(base) }
+        @util1 = util1 = viewpoint{ expects(base);  depends(:user, user) }
+        @util2 = util2 = viewpoint{ expects(util1); depends(:user, user) }
+        @term  = viewpoint{ expects(util2) }
+        @term.metadata
+      end
+
+      it 'should be a Metadata' do
+        subject.should be_a(Metadata)
+      end
+
+      it 'should have expected expectations' do
+        subject.expectations.should eq([ @base, @util1, @util2 ])
+      end
+
+      it 'should have expected dependencies' do
+        subject.dependencies.should eq(user: [ @user ])
+      end
+
+    end
+  end
+end

data/spec/unit/alf-viewpoint/metadata/test_expects.rb

@@ -0,0 +1,38 @@
+require 'spec_helper'
+module Alf
+  module Viewpoint
+    describe Metadata, "#expects" do
+
+      context 'on empty expectations' do
+        let(:metadata){ Metadata.new }
+
+        subject{ metadata.expects([1, 2]) }
+
+        it 'sets expectations' do
+          subject.expectations.should eq([1, 2])
+        end
+      end
+
+      context 'on disjoint expectations' do
+        let(:metadata){ Metadata.new([1, 2]) }
+
+        subject{ metadata.expects([3, 4]) }
+
+        it 'sets expectations' do
+          subject.expectations.should eq([1, 2, 3, 4])
+        end
+      end
+
+      context 'on overlapping expectations' do
+        let(:metadata){ Metadata.new([1, 2]) }
+
+        subject{ metadata.expects([1, 4]) }
+
+        it 'sets expectations' do
+          subject.expectations.should eq([1, 2, 4])
+        end
+      end
+
+    end
+  end
+end

data/spec/unit/alf-viewpoint/metadata/test_initialize.rb

@@ -0,0 +1,40 @@
+require 'spec_helper'
+module Alf
+  module Viewpoint
+    describe Metadata, "#initialize" do
+
+      context 'without args' do
+        subject{ Metadata.new }
+
+        it 'has empty expectations' do
+          subject.expectations.should eq([])
+        end
+
+        it 'has empty dependencies' do
+          subject.dependencies.should eq({})
+        end
+
+        it 'has empty members' do
+          subject.members.should eq([])
+        end
+      end
+
+      context 'with args' do
+        subject{ Metadata.new([1], {:a => 2}, [:m]) }
+
+        it 'has expected expectations' do
+          subject.expectations.should eq([1])
+        end
+
+        it 'has expected dependencies' do
+          subject.dependencies.should eq({:a => 2})
+        end
+
+        it 'has expected members' do
+          subject.members.should eq([:m])
+        end
+      end
+
+    end
+  end
+end

data/spec/unit/alf-viewpoint/metadata/test_to_module.rb

@@ -0,0 +1,37 @@
+require 'spec_helper'
+module Alf
+  module Viewpoint
+    describe Metadata, "#to_module" do
+
+      subject{ metadata.to_module }
+
+      let(:metadata) do 
+        @base  = base = viewpoint{ }
+        @user  = user = viewpoint{ expects(base) }
+        @util1 = util = viewpoint{ expects(base); depends(:user, user) }
+        @util2 = viewpoint{ expects(base); depends(:user, user) }
+        @term  = viewpoint{ expects(util) }
+        @term.metadata
+      end
+
+      it 'should be a Module' do
+        subject.should be_a(Module)
+      end
+
+      it 'should include Alf::Viewpoint' do
+        subject.should include(Alf::Viewpoint)
+      end
+
+      it 'should include util1' do
+        subject.should include(@util1)
+      end
+
+      it 'should have a user method' do
+        lambda{
+          subject.parser.user
+        }.should_not raise_error
+      end
+
+    end
+  end
+end

data/spec/unit/alf-viewpoint/test_depends.rb

@@ -0,0 +1,18 @@
+require 'spec_helper'
+module Alf
+  describe Viewpoint, "depends" do
+
+    let(:viewpoint){
+      Module.new{
+        include Viewpoint
+        depends :a, 1, 2
+        depends :b, 3, 4
+      }
+    }
+
+    it 'populates metadata' do
+      viewpoint.metadata.dependencies.should eq(a: [1, 2], b: [3, 4])
+    end
+
+  end
+end

data/spec/unit/alf-viewpoint/test_expects.rb

@@ -0,0 +1,18 @@
+require 'spec_helper'
+module Alf
+  describe Viewpoint, "expects" do
+
+    let(:viewpoint){
+      Module.new{
+        include Viewpoint
+        expects 1, 2
+        expects 3
+      }
+    }
+
+    it 'populates metadata' do
+      viewpoint.metadata.expectations.should eq([1, 2, 3])
+    end
+
+  end
+end

data/spec/unit/alf-viewpoint/test_members.rb

@@ -12,6 +12,9 @@ module Alf
           def restricted
             restrict(a_native_one, id: 1)
           end
+          private
+          def a_private_member
+          end
         }
       }
 
@@ -20,5 +23,35 @@ module Alf
       end
     end
 
+    context 'on a viewpoint with expectations' do
+      let(:viewpoint){
+        base = Module.new{
+          include Alf::Viewpoint
+          native :a_member
+          native :another_member
+          private
+          def a_private_member
+          end
+        }
+        Module.new{
+          include Alf::Viewpoint
+          expects base
+          def a_member
+            restrict(super, foo: true)
+          end
+          def yet_another_one
+            bar
+          end
+          private
+          def another_private
+          end
+        }
+      }
+
+      it 'should have inherited members' do
+        subject.should eq([:a_member, :another_member, :yet_another_one])
+      end
+    end
+
   end
 end

data/spec/unit/alf-viewpoint/test_metadata.rb

@@ -0,0 +1,27 @@
+require 'spec_helper'
+module Alf
+  describe Viewpoint, "metadata" do
+
+    subject{ viewpoint.metadata }
+
+    let(:viewpoint){
+      Module.new{
+        include Viewpoint
+      }
+    }
+
+    it 'should be a Metadata instance' do
+      subject.should be_a(Viewpoint::Metadata)
+    end
+
+    it 'should always be the same on the same viewpoint' do
+      subject.should be(viewpoint.metadata)
+    end
+
+    it 'should be different that metadata from other viewpoints' do
+      other = Module.new{ include Viewpoint }
+      subject.should_not be(other.metadata)
+    end
+
+  end
+end

data/spec/unit/alf-viewpoint/test_native_const.rb

@@ -12,5 +12,11 @@ module Alf
       }.should be_a(Algebra::Operand::Named)
     end
 
+    it 'should allow being used in a Lispy' do
+      Lang::Lispy.new([subject]).parse{
+        suppliers
+      }.should be_a(Algebra::Operand::Named)
+    end
+
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: alf-core
 version: !ruby/object:Gem::Version
-  version: 0.13.1
+  version: 0.14.0
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-08-05 00:00:00.000000000 Z
+date: 2013-10-01 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rake
@@ -205,6 +205,7 @@ files:
 - examples/operators/minus.alf
 - examples/operators/not_matching.alf
 - examples/operators/nulls.rash
+- examples/operators/page.alf
 - examples/operators/parts.rash
 - examples/operators/project.alf
 - examples/operators/pseudo-with.alf
@@ -252,14 +253,17 @@ files:
 - lib/alf-algebra/alf/algebra/operator/compact.rb
 - lib/alf-algebra/alf/algebra/operator/defaults.rb
 - lib/alf-algebra/alf/algebra/operator/extend.rb
+- lib/alf-algebra/alf/algebra/operator/frame.rb
 - lib/alf-algebra/alf/algebra/operator/generator.rb
 - lib/alf-algebra/alf/algebra/operator/group.rb
+- lib/alf-algebra/alf/algebra/operator/hierarchize.rb
 - lib/alf-algebra/alf/algebra/operator/infer_heading.rb
 - lib/alf-algebra/alf/algebra/operator/intersect.rb
 - lib/alf-algebra/alf/algebra/operator/join.rb
 - lib/alf-algebra/alf/algebra/operator/matching.rb
 - lib/alf-algebra/alf/algebra/operator/minus.rb
 - lib/alf-algebra/alf/algebra/operator/not_matching.rb
+- lib/alf-algebra/alf/algebra/operator/page.rb
 - lib/alf-algebra/alf/algebra/operator/project.rb
 - lib/alf-algebra/alf/algebra/operator/quota.rb
 - lib/alf-algebra/alf/algebra/operator/rank.rb
@@ -285,6 +289,7 @@ files:
 - lib/alf-algebra/alf/algebra/support/to_dot.rb
 - lib/alf-algebra/alf/algebra/support/unary.rb
 - lib/alf-algebra/alf/algebra/support/visitor.rb
+- lib/alf-algebra/alf/algebra/support/with_ordering.rb
 - lib/alf-algebra/alf/algebra/support.rb
 - lib/alf-algebra/alf/algebra.rb
 - lib/alf-core/dsl.rb
@@ -300,7 +305,6 @@ files:
 - lib/alf-database/alf/database.rb
 - lib/alf-engine/alf/engine/aggregate.rb
 - lib/alf-engine/alf/engine/autonum.rb
-- lib/alf-engine/alf/engine/cesure.rb
 - lib/alf-engine/alf/engine/clip.rb
 - lib/alf-engine/alf/engine/coerce.rb
 - lib/alf-engine/alf/engine/cog.rb
@@ -314,6 +318,7 @@ files:
 - lib/alf-engine/alf/engine/generator.rb
 - lib/alf-engine/alf/engine/group/hash.rb
 - lib/alf-engine/alf/engine/group.rb
+- lib/alf-engine/alf/engine/hierarchize.rb
 - lib/alf-engine/alf/engine/infer_heading.rb
 - lib/alf-engine/alf/engine/join/hash.rb
 - lib/alf-engine/alf/engine/join.rb
@@ -334,6 +339,8 @@ files:
 - lib/alf-engine/alf/engine/summarize/cesure.rb
 - lib/alf-engine/alf/engine/summarize/hash.rb
 - lib/alf-engine/alf/engine/summarize.rb
+- lib/alf-engine/alf/engine/support/cesure.rb
+- lib/alf-engine/alf/engine/take.rb
 - lib/alf-engine/alf/engine/to_array.rb
 - lib/alf-engine/alf/engine/to_dot.rb
 - lib/alf-engine/alf/engine/type_safe.rb
@@ -345,6 +352,7 @@ files:
 - lib/alf-io/alf/reader/csv.rb
 - lib/alf-io/alf/reader/json.rb
 - lib/alf-io/alf/reader/rash.rb
+- lib/alf-io/alf/reader/ruby.rb
 - lib/alf-io/alf/reader.rb
 - lib/alf-io/alf/renderer/csv.rb
 - lib/alf-io/alf/renderer/json.rb
@@ -416,6 +424,8 @@ files:
 - lib/alf-types/alf/types/keys.rb
 - lib/alf-types/alf/types/ordering.rb
 - lib/alf-types/alf/types/renaming.rb
+- lib/alf-types/alf/types/selection.rb
+- lib/alf-types/alf/types/selector.rb
 - lib/alf-types/alf/types/size.rb
 - lib/alf-types/alf/types/summarization.rb
 - lib/alf-types/alf/types/tuple_computation.rb
@@ -426,6 +436,7 @@ files:
 - lib/alf-update/alf/update/inserter.rb
 - lib/alf-update/alf/update/updater.rb
 - lib/alf-update/alf/update.rb
+- lib/alf-viewpoint/alf/viewpoint/metadata.rb
 - lib/alf-viewpoint/alf/viewpoint.rb
 - tasks/clean.rake
 - tasks/gem.rake
@@ -449,6 +460,7 @@ files:
 - spec/integration/__database__/supplies.rash
 - spec/integration/algebra/test_to_dot.rb
 - spec/integration/ext/test_relation.rb
+- spec/integration/relation/test_extend.rb
 - spec/integration/relation/test_to_array.rb
 - spec/integration/relvar/test_type_safe.rb
 - spec/integration/test_alf.rb
@@ -460,6 +472,7 @@ files:
 - spec/regression/relation/test_relation_with_date.rb
 - spec/regression/relation/test_restrict.rb
 - spec/regression/restrict/test_restrict_with_keywords.rb
+- spec/shared/a_cog.rb
 - spec/shared/a_scope.rb
 - spec/shared/a_valid_type_implementation.rb
 - spec/shared/a_value.rb
@@ -492,6 +505,7 @@ files:
 - spec/unit/alf-algebra/operand/named/test_keys.rb
 - spec/unit/alf-algebra/operand/named/test_to_relvar.rb
 - spec/unit/alf-algebra/operand/test_coerce.rb
+- spec/unit/alf-algebra/operand/test_proxy.rb
 - spec/unit/alf-algebra/operator/allbut/test_key_preserving.rb
 - spec/unit/alf-algebra/operator/allbut/test_keys.rb
 - spec/unit/alf-algebra/operator/autonum/test_heading.rb
@@ -511,6 +525,7 @@ files:
 - spec/unit/alf-algebra/operator/generator/test_keys.rb
 - spec/unit/alf-algebra/operator/group/test_heading.rb
 - spec/unit/alf-algebra/operator/group/test_keys.rb
+- spec/unit/alf-algebra/operator/hierarchize/test_heading.rb
 - spec/unit/alf-algebra/operator/infer_heading/test_keys.rb
 - spec/unit/alf-algebra/operator/intersect/test_heading.rb
 - spec/unit/alf-algebra/operator/intersect/test_keys.rb
@@ -550,6 +565,7 @@ files:
 - spec/unit/alf-algebra/operator/test_intersect.rb
 - spec/unit/alf-algebra/operator/test_join.rb
 - spec/unit/alf-algebra/operator/test_minus.rb
+- spec/unit/alf-algebra/operator/test_page.rb
 - spec/unit/alf-algebra/operator/test_project.rb
 - spec/unit/alf-algebra/operator/test_quota.rb
 - spec/unit/alf-algebra/operator/test_rank.rb
@@ -582,6 +598,7 @@ files:
 - spec/unit/alf-algebra/support/test_non_relational.rb
 - spec/unit/alf-algebra/support/test_relational.rb
 - spec/unit/alf-algebra/support/unary/test_with_operand.rb
+- spec/unit/alf-algebra/support/with_ordering/test_total_ordering.rb
 - spec/unit/alf-algebra/test_operator.rb
 - spec/unit/alf-algebra/test_rewriter.rb
 - spec/unit/alf-core/alf/example.rash
@@ -611,16 +628,21 @@ files:
 - spec/unit/alf-database/database/test_connection.rb
 - spec/unit/alf-database/database/test_default_options.rb
 - spec/unit/alf-database/database/test_new.rb
-- spec/unit/alf-database/options/test_default_viewpoint.rb
 - spec/unit/alf-database/options/test_freeze.rb
 - spec/unit/alf-database/options/test_merge.rb
 - spec/unit/alf-database/options/test_new.rb
 - spec/unit/alf-database/options/test_schema_cache.rb
 - spec/unit/alf-database/options/test_viewpoint.rb
 - spec/unit/alf-database/shared_examples/a_facade_on_database_options.rb
+- spec/unit/alf-engine/cog/test_to_cog.rb
 - spec/unit/alf-engine/compact/test_set.rb
 - spec/unit/alf-engine/compact/test_uniq.rb
+- spec/unit/alf-engine/compiler/test_on_frame.rb
+- spec/unit/alf-engine/compiler/test_on_hierarchize.rb
+- spec/unit/alf-engine/compiler/test_on_page.rb
+- spec/unit/alf-engine/compiler/test_unsupported.rb
 - spec/unit/alf-engine/group/test_hash.rb
+- spec/unit/alf-engine/hierarchize/test_renamer.rb
 - spec/unit/alf-engine/infer_heading/test_heading.rb
 - spec/unit/alf-engine/join/test_hash.rb
 - spec/unit/alf-engine/materialize/test_array.rb
@@ -640,10 +662,12 @@ files:
 - spec/unit/alf-engine/test_defaults.rb
 - spec/unit/alf-engine/test_filter.rb
 - spec/unit/alf-engine/test_generator.rb
+- spec/unit/alf-engine/test_hierarchize.rb
 - spec/unit/alf-engine/test_infer_heading.rb
 - spec/unit/alf-engine/test_rename.rb
 - spec/unit/alf-engine/test_set_attr.rb
 - spec/unit/alf-engine/test_sort.rb
+- spec/unit/alf-engine/test_take.rb
 - spec/unit/alf-engine/test_to_array.rb
 - spec/unit/alf-engine/test_type_safe.rb
 - spec/unit/alf-engine/test_ungroup.rb
@@ -651,11 +675,13 @@ files:
 - spec/unit/alf-engine/test_wrap.rb
 - spec/unit/alf-io/reader/class/test_by_mime_type.rb
 - spec/unit/alf-io/reader/input.csv
-- spec/unit/alf-io/reader/input.rb
+- spec/unit/alf-io/reader/input.rash
+- spec/unit/alf-io/reader/input.ruby
 - spec/unit/alf-io/reader/test_csv.rb
 - spec/unit/alf-io/reader/test_initialize.rb
 - spec/unit/alf-io/reader/test_json.rb
 - spec/unit/alf-io/reader/test_rash.rb
+- spec/unit/alf-io/reader/test_ruby.rb
 - spec/unit/alf-io/renderer/class/test_by_mime_type.rb
 - spec/unit/alf-io/renderer/test_csv.rb
 - spec/unit/alf-io/renderer/test_initialize.rb
@@ -760,6 +786,7 @@ files:
 - spec/unit/alf-predicate/predicate/test_to_ruby_literal.rb
 - spec/unit/alf-predicate/test_predicate.rb
 - spec/unit/alf-relation/relation/class/test_coerce.rb
+- spec/unit/alf-relation/relation/class/test_recursive_type.rb
 - spec/unit/alf-relation/relation/class/test_type.rb
 - spec/unit/alf-relation/relation/factored-types/test_allbut.rb
 - spec/unit/alf-relation/relation/factored-types/test_coerce.rb
@@ -779,6 +806,7 @@ files:
 - spec/unit/alf-relation/relation/test_relops.rb
 - spec/unit/alf-relation/relation/test_sugar.rb
 - spec/unit/alf-relation/relation/test_to_a.rb
+- spec/unit/alf-relation/relation/test_to_hash.rb
 - spec/unit/alf-relation/relation/test_to_relation.rb
 - spec/unit/alf-relation/tuple/class/test_coerce.rb
 - spec/unit/alf-relation/tuple/class/test_type.rb
@@ -840,10 +868,16 @@ files:
 - spec/unit/alf-support/bindable/test_bound.rb
 - spec/unit/alf-support/bindable/test_connection.rb
 - spec/unit/alf-support/bindable/test_connection_bang.rb
+- spec/unit/alf-support/config/test_dup.rb
+- spec/unit/alf-support/config/test_freeze.rb
+- spec/unit/alf-support/config/test_hash_get.rb
+- spec/unit/alf-support/config/test_hash_set.rb
 - spec/unit/alf-support/config/test_helpers.rb
 - spec/unit/alf-support/config/test_merge.rb
 - spec/unit/alf-support/config/test_new.rb
 - spec/unit/alf-support/config/test_option.rb
+- spec/unit/alf-support/config/test_option_setter.rb
+- spec/unit/alf-support/config/test_options.rb
 - spec/unit/alf-support/scope/test_branch.rb
 - spec/unit/alf-support/scope/test_evaluate.rb
 - spec/unit/alf-support/scope/test_initialize.rb
@@ -860,7 +894,9 @@ files:
 - spec/unit/alf-support/test_tuple_scope.rb
 - spec/unit/alf-support/test_unsymbolize_keys.rb
 - spec/unit/alf-support/tuple_scope/test_evaluate.rb
+- spec/unit/alf-support/tuple_scope/test_hash_get.rb
 - spec/unit/alf-support/tuple_scope/test_respond_to.rb
+- spec/unit/alf-support/tuple_scope/test_to_s.rb
 - spec/unit/alf-types/attr_list/test_allbut.rb
 - spec/unit/alf-types/attr_list/test_ampersand.rb
 - spec/unit/alf-types/attr_list/test_coerce.rb
@@ -897,7 +933,6 @@ files:
 - spec/unit/alf-types/keys/test_ampersand.rb
 - spec/unit/alf-types/keys/test_any.rb
 - spec/unit/alf-types/keys/test_coerce.rb
-- spec/unit/alf-types/keys/test_compact.rb
 - spec/unit/alf-types/keys/test_empty.rb
 - spec/unit/alf-types/keys/test_first.rb
 - spec/unit/alf-types/keys/test_hash_and_equal.rb
@@ -910,15 +945,30 @@ files:
 - spec/unit/alf-types/keys/test_select.rb
 - spec/unit/alf-types/ordering/test_coerce.rb
 - spec/unit/alf-types/ordering/test_compare.rb
-- spec/unit/alf-types/ordering/test_plus.rb
+- spec/unit/alf-types/ordering/test_dive.rb
+- spec/unit/alf-types/ordering/test_hash_get.rb
+- spec/unit/alf-types/ordering/test_merge.rb
+- spec/unit/alf-types/ordering/test_reverse.rb
+- spec/unit/alf-types/ordering/test_selectors.rb
 - spec/unit/alf-types/ordering/test_sorter.rb
 - spec/unit/alf-types/ordering/test_to_attr_list.rb
+- spec/unit/alf-types/ordering/test_total.rb
 - spec/unit/alf-types/renaming/test_coerce.rb
 - spec/unit/alf-types/renaming/test_complete.rb
 - spec/unit/alf-types/renaming/test_invert.rb
 - spec/unit/alf-types/renaming/test_rename_attr_list.rb
 - spec/unit/alf-types/renaming/test_rename_tuple.rb
 - spec/unit/alf-types/renaming/test_to_attr_list.rb
+- spec/unit/alf-types/selection/test_coerce.rb
+- spec/unit/alf-types/selection/test_select.rb
+- spec/unit/alf-types/selector/test_coerce.rb
+- spec/unit/alf-types/selector/test_composite_q.rb
+- spec/unit/alf-types/selector/test_dive.rb
+- spec/unit/alf-types/selector/test_select.rb
+- spec/unit/alf-types/selector/test_simple_q.rb
+- spec/unit/alf-types/selector/test_to_a.rb
+- spec/unit/alf-types/selector/test_to_lispy.rb
+- spec/unit/alf-types/selector/test_to_ruby_literal.rb
 - spec/unit/alf-types/size/test_coerce.rb
 - spec/unit/alf-types/size/test_triple_equal.rb
 - spec/unit/alf-types/summarization/test_coerce.rb
@@ -936,6 +986,7 @@ files:
 - spec/unit/alf-types/tuple_computation/test_to_attr_list.rb
 - spec/unit/alf-types/tuple_computation/test_to_heading.rb
 - spec/unit/alf-types/tuple_expression/test_coerce.rb
+- spec/unit/alf-types/tuple_expression/test_evaluate.rb
 - spec/unit/alf-types/tuple_expression/test_to_ruby_literal.rb
 - spec/unit/alf-types/type_check/test_triple_equal.rb
 - spec/unit/alf-update/deleter/test_autonum.rb
@@ -972,8 +1023,18 @@ files:
 - spec/unit/alf-update/inserter/test_var_ref.rb
 - spec/unit/alf-update/inserter/test_wrap.rb
 - spec/unit/alf-update/updater/test_var_ref.rb
+- spec/unit/alf-viewpoint/metadata/test_add_members.rb
+- spec/unit/alf-viewpoint/metadata/test_all_members.rb
+- spec/unit/alf-viewpoint/metadata/test_depends.rb
+- spec/unit/alf-viewpoint/metadata/test_dup.rb
+- spec/unit/alf-viewpoint/metadata/test_expand.rb
+- spec/unit/alf-viewpoint/metadata/test_expects.rb
+- spec/unit/alf-viewpoint/metadata/test_initialize.rb
+- spec/unit/alf-viewpoint/metadata/test_to_module.rb
+- spec/unit/alf-viewpoint/test_depends.rb
+- spec/unit/alf-viewpoint/test_expects.rb
 - spec/unit/alf-viewpoint/test_members.rb
-- spec/unit/alf-viewpoint/test_namespace.rb
+- spec/unit/alf-viewpoint/test_metadata.rb
 - spec/unit/alf-viewpoint/test_native.rb
 - spec/unit/alf-viewpoint/test_native_const.rb
 - spec/unit/alf-viewpoint/test_parse.rb
@@ -993,7 +1054,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '0'
       segments:
       - 0
-      hash: -3410216638395775327
+      hash: 4082088345707548282
 required_rubygems_version: !ruby/object:Gem::Requirement
   none: false
   requirements:
@@ -1014,6 +1075,7 @@ test_files:
 - spec/integration/__database__/supplies.rash
 - spec/integration/algebra/test_to_dot.rb
 - spec/integration/ext/test_relation.rb
+- spec/integration/relation/test_extend.rb
 - spec/integration/relation/test_to_array.rb
 - spec/integration/relvar/test_type_safe.rb
 - spec/integration/test_alf.rb
@@ -1025,6 +1087,7 @@ test_files:
 - spec/regression/relation/test_relation_with_date.rb
 - spec/regression/relation/test_restrict.rb
 - spec/regression/restrict/test_restrict_with_keywords.rb
+- spec/shared/a_cog.rb
 - spec/shared/a_scope.rb
 - spec/shared/a_valid_type_implementation.rb
 - spec/shared/a_value.rb
@@ -1057,6 +1120,7 @@ test_files:
 - spec/unit/alf-algebra/operand/named/test_keys.rb
 - spec/unit/alf-algebra/operand/named/test_to_relvar.rb
 - spec/unit/alf-algebra/operand/test_coerce.rb
+- spec/unit/alf-algebra/operand/test_proxy.rb
 - spec/unit/alf-algebra/operator/allbut/test_key_preserving.rb
 - spec/unit/alf-algebra/operator/allbut/test_keys.rb
 - spec/unit/alf-algebra/operator/autonum/test_heading.rb
@@ -1076,6 +1140,7 @@ test_files:
 - spec/unit/alf-algebra/operator/generator/test_keys.rb
 - spec/unit/alf-algebra/operator/group/test_heading.rb
 - spec/unit/alf-algebra/operator/group/test_keys.rb
+- spec/unit/alf-algebra/operator/hierarchize/test_heading.rb
 - spec/unit/alf-algebra/operator/infer_heading/test_keys.rb
 - spec/unit/alf-algebra/operator/intersect/test_heading.rb
 - spec/unit/alf-algebra/operator/intersect/test_keys.rb
@@ -1115,6 +1180,7 @@ test_files:
 - spec/unit/alf-algebra/operator/test_intersect.rb
 - spec/unit/alf-algebra/operator/test_join.rb
 - spec/unit/alf-algebra/operator/test_minus.rb
+- spec/unit/alf-algebra/operator/test_page.rb
 - spec/unit/alf-algebra/operator/test_project.rb
 - spec/unit/alf-algebra/operator/test_quota.rb
 - spec/unit/alf-algebra/operator/test_rank.rb
@@ -1147,6 +1213,7 @@ test_files:
 - spec/unit/alf-algebra/support/test_non_relational.rb
 - spec/unit/alf-algebra/support/test_relational.rb
 - spec/unit/alf-algebra/support/unary/test_with_operand.rb
+- spec/unit/alf-algebra/support/with_ordering/test_total_ordering.rb
 - spec/unit/alf-algebra/test_operator.rb
 - spec/unit/alf-algebra/test_rewriter.rb
 - spec/unit/alf-core/alf/example.rash
@@ -1176,16 +1243,21 @@ test_files:
 - spec/unit/alf-database/database/test_connection.rb
 - spec/unit/alf-database/database/test_default_options.rb
 - spec/unit/alf-database/database/test_new.rb
-- spec/unit/alf-database/options/test_default_viewpoint.rb
 - spec/unit/alf-database/options/test_freeze.rb
 - spec/unit/alf-database/options/test_merge.rb
 - spec/unit/alf-database/options/test_new.rb
 - spec/unit/alf-database/options/test_schema_cache.rb
 - spec/unit/alf-database/options/test_viewpoint.rb
 - spec/unit/alf-database/shared_examples/a_facade_on_database_options.rb
+- spec/unit/alf-engine/cog/test_to_cog.rb
 - spec/unit/alf-engine/compact/test_set.rb
 - spec/unit/alf-engine/compact/test_uniq.rb
+- spec/unit/alf-engine/compiler/test_on_frame.rb
+- spec/unit/alf-engine/compiler/test_on_hierarchize.rb
+- spec/unit/alf-engine/compiler/test_on_page.rb
+- spec/unit/alf-engine/compiler/test_unsupported.rb
 - spec/unit/alf-engine/group/test_hash.rb
+- spec/unit/alf-engine/hierarchize/test_renamer.rb
 - spec/unit/alf-engine/infer_heading/test_heading.rb
 - spec/unit/alf-engine/join/test_hash.rb
 - spec/unit/alf-engine/materialize/test_array.rb
@@ -1205,10 +1277,12 @@ test_files:
 - spec/unit/alf-engine/test_defaults.rb
 - spec/unit/alf-engine/test_filter.rb
 - spec/unit/alf-engine/test_generator.rb
+- spec/unit/alf-engine/test_hierarchize.rb
 - spec/unit/alf-engine/test_infer_heading.rb
 - spec/unit/alf-engine/test_rename.rb
 - spec/unit/alf-engine/test_set_attr.rb
 - spec/unit/alf-engine/test_sort.rb
+- spec/unit/alf-engine/test_take.rb
 - spec/unit/alf-engine/test_to_array.rb
 - spec/unit/alf-engine/test_type_safe.rb
 - spec/unit/alf-engine/test_ungroup.rb
@@ -1216,11 +1290,13 @@ test_files:
 - spec/unit/alf-engine/test_wrap.rb
 - spec/unit/alf-io/reader/class/test_by_mime_type.rb
 - spec/unit/alf-io/reader/input.csv
-- spec/unit/alf-io/reader/input.rb
+- spec/unit/alf-io/reader/input.rash
+- spec/unit/alf-io/reader/input.ruby
 - spec/unit/alf-io/reader/test_csv.rb
 - spec/unit/alf-io/reader/test_initialize.rb
 - spec/unit/alf-io/reader/test_json.rb
 - spec/unit/alf-io/reader/test_rash.rb
+- spec/unit/alf-io/reader/test_ruby.rb
 - spec/unit/alf-io/renderer/class/test_by_mime_type.rb
 - spec/unit/alf-io/renderer/test_csv.rb
 - spec/unit/alf-io/renderer/test_initialize.rb
@@ -1325,6 +1401,7 @@ test_files:
 - spec/unit/alf-predicate/predicate/test_to_ruby_literal.rb
 - spec/unit/alf-predicate/test_predicate.rb
 - spec/unit/alf-relation/relation/class/test_coerce.rb
+- spec/unit/alf-relation/relation/class/test_recursive_type.rb
 - spec/unit/alf-relation/relation/class/test_type.rb
 - spec/unit/alf-relation/relation/factored-types/test_allbut.rb
 - spec/unit/alf-relation/relation/factored-types/test_coerce.rb
@@ -1344,6 +1421,7 @@ test_files:
 - spec/unit/alf-relation/relation/test_relops.rb
 - spec/unit/alf-relation/relation/test_sugar.rb
 - spec/unit/alf-relation/relation/test_to_a.rb
+- spec/unit/alf-relation/relation/test_to_hash.rb
 - spec/unit/alf-relation/relation/test_to_relation.rb
 - spec/unit/alf-relation/tuple/class/test_coerce.rb
 - spec/unit/alf-relation/tuple/class/test_type.rb
@@ -1405,10 +1483,16 @@ test_files:
 - spec/unit/alf-support/bindable/test_bound.rb
 - spec/unit/alf-support/bindable/test_connection.rb
 - spec/unit/alf-support/bindable/test_connection_bang.rb
+- spec/unit/alf-support/config/test_dup.rb
+- spec/unit/alf-support/config/test_freeze.rb
+- spec/unit/alf-support/config/test_hash_get.rb
+- spec/unit/alf-support/config/test_hash_set.rb
 - spec/unit/alf-support/config/test_helpers.rb
 - spec/unit/alf-support/config/test_merge.rb
 - spec/unit/alf-support/config/test_new.rb
 - spec/unit/alf-support/config/test_option.rb
+- spec/unit/alf-support/config/test_option_setter.rb
+- spec/unit/alf-support/config/test_options.rb
 - spec/unit/alf-support/scope/test_branch.rb
 - spec/unit/alf-support/scope/test_evaluate.rb
 - spec/unit/alf-support/scope/test_initialize.rb
@@ -1425,7 +1509,9 @@ test_files:
 - spec/unit/alf-support/test_tuple_scope.rb
 - spec/unit/alf-support/test_unsymbolize_keys.rb
 - spec/unit/alf-support/tuple_scope/test_evaluate.rb
+- spec/unit/alf-support/tuple_scope/test_hash_get.rb
 - spec/unit/alf-support/tuple_scope/test_respond_to.rb
+- spec/unit/alf-support/tuple_scope/test_to_s.rb
 - spec/unit/alf-types/attr_list/test_allbut.rb
 - spec/unit/alf-types/attr_list/test_ampersand.rb
 - spec/unit/alf-types/attr_list/test_coerce.rb
@@ -1462,7 +1548,6 @@ test_files:
 - spec/unit/alf-types/keys/test_ampersand.rb
 - spec/unit/alf-types/keys/test_any.rb
 - spec/unit/alf-types/keys/test_coerce.rb
-- spec/unit/alf-types/keys/test_compact.rb
 - spec/unit/alf-types/keys/test_empty.rb
 - spec/unit/alf-types/keys/test_first.rb
 - spec/unit/alf-types/keys/test_hash_and_equal.rb
@@ -1475,15 +1560,30 @@ test_files:
 - spec/unit/alf-types/keys/test_select.rb
 - spec/unit/alf-types/ordering/test_coerce.rb
 - spec/unit/alf-types/ordering/test_compare.rb
-- spec/unit/alf-types/ordering/test_plus.rb
+- spec/unit/alf-types/ordering/test_dive.rb
+- spec/unit/alf-types/ordering/test_hash_get.rb
+- spec/unit/alf-types/ordering/test_merge.rb
+- spec/unit/alf-types/ordering/test_reverse.rb
+- spec/unit/alf-types/ordering/test_selectors.rb
 - spec/unit/alf-types/ordering/test_sorter.rb
 - spec/unit/alf-types/ordering/test_to_attr_list.rb
+- spec/unit/alf-types/ordering/test_total.rb
 - spec/unit/alf-types/renaming/test_coerce.rb
 - spec/unit/alf-types/renaming/test_complete.rb
 - spec/unit/alf-types/renaming/test_invert.rb
 - spec/unit/alf-types/renaming/test_rename_attr_list.rb
 - spec/unit/alf-types/renaming/test_rename_tuple.rb
 - spec/unit/alf-types/renaming/test_to_attr_list.rb
+- spec/unit/alf-types/selection/test_coerce.rb
+- spec/unit/alf-types/selection/test_select.rb
+- spec/unit/alf-types/selector/test_coerce.rb
+- spec/unit/alf-types/selector/test_composite_q.rb
+- spec/unit/alf-types/selector/test_dive.rb
+- spec/unit/alf-types/selector/test_select.rb
+- spec/unit/alf-types/selector/test_simple_q.rb
+- spec/unit/alf-types/selector/test_to_a.rb
+- spec/unit/alf-types/selector/test_to_lispy.rb
+- spec/unit/alf-types/selector/test_to_ruby_literal.rb
 - spec/unit/alf-types/size/test_coerce.rb
 - spec/unit/alf-types/size/test_triple_equal.rb
 - spec/unit/alf-types/summarization/test_coerce.rb
@@ -1501,6 +1601,7 @@ test_files:
 - spec/unit/alf-types/tuple_computation/test_to_attr_list.rb
 - spec/unit/alf-types/tuple_computation/test_to_heading.rb
 - spec/unit/alf-types/tuple_expression/test_coerce.rb
+- spec/unit/alf-types/tuple_expression/test_evaluate.rb
 - spec/unit/alf-types/tuple_expression/test_to_ruby_literal.rb
 - spec/unit/alf-types/type_check/test_triple_equal.rb
 - spec/unit/alf-update/deleter/test_autonum.rb
@@ -1537,8 +1638,18 @@ test_files:
 - spec/unit/alf-update/inserter/test_var_ref.rb
 - spec/unit/alf-update/inserter/test_wrap.rb
 - spec/unit/alf-update/updater/test_var_ref.rb
+- spec/unit/alf-viewpoint/metadata/test_add_members.rb
+- spec/unit/alf-viewpoint/metadata/test_all_members.rb
+- spec/unit/alf-viewpoint/metadata/test_depends.rb
+- spec/unit/alf-viewpoint/metadata/test_dup.rb
+- spec/unit/alf-viewpoint/metadata/test_expand.rb
+- spec/unit/alf-viewpoint/metadata/test_expects.rb
+- spec/unit/alf-viewpoint/metadata/test_initialize.rb
+- spec/unit/alf-viewpoint/metadata/test_to_module.rb
+- spec/unit/alf-viewpoint/test_depends.rb
+- spec/unit/alf-viewpoint/test_expects.rb
 - spec/unit/alf-viewpoint/test_members.rb
-- spec/unit/alf-viewpoint/test_namespace.rb
+- spec/unit/alf-viewpoint/test_metadata.rb
 - spec/unit/alf-viewpoint/test_native.rb
 - spec/unit/alf-viewpoint/test_native_const.rb
 - spec/unit/alf-viewpoint/test_parse.rb