alf-core 0.13.0

data/CHANGELOG.md

@@ -0,0 +1,4 @@
+# 0.13.0 / FIX ME
+
+The 0.13.0 version is a new birthday for alf. See `alf` main for CHANGELOG
+history.

data/Gemfile

@@ -0,0 +1,29 @@
+source 'http://rubygems.org'
+
+group :runtime do
+  gem "myrrha", "~> 3.0"
+  gem "domain", "~> 1.0"
+  gem "path", "~> 1.3"
+  gem "sexpr", "~> 0.5.1"
+end
+
+group :test do
+  gem "rake", "~> 10.1"
+  gem "rspec", "~> 2.14"
+end
+
+group :release do
+  gem "rake", "~> 10.1"
+  gem "rspec", "~> 2.14"
+end
+
+group :doc do
+  gem "yard", "~> 0.8.2"
+  gem "bluecloth", "~> 2.2"
+  gem "redcarpet", "~> 2.2"
+end
+
+group :extra do
+  gem "highline", "~> 1.6"
+  gem 'json', :platforms => [:ruby_18, :jruby, :mingw_18]
+end

data/Gemfile.lock

@@ -0,0 +1,41 @@
+GEM
+  remote: http://rubygems.org/
+  specs:
+    bluecloth (2.2.0)
+    diff-lcs (1.2.4)
+    domain (1.0.0)
+    highline (1.6.19)
+    json (1.8.0)
+    json (1.8.0-java)
+    myrrha (3.0.0)
+      domain (~> 1.0)
+    path (1.3.1)
+    rake (10.1.0)
+    redcarpet (2.3.0)
+    rspec (2.14.1)
+      rspec-core (~> 2.14.0)
+      rspec-expectations (~> 2.14.0)
+      rspec-mocks (~> 2.14.0)
+    rspec-core (2.14.4)
+    rspec-expectations (2.14.0)
+      diff-lcs (>= 1.1.3, < 2.0)
+    rspec-mocks (2.14.1)
+    sexpr (0.5.1)
+    yard (0.8.7)
+
+PLATFORMS
+  java
+  ruby
+
+DEPENDENCIES
+  bluecloth (~> 2.2)
+  domain (~> 1.0)
+  highline (~> 1.6)
+  json
+  myrrha (~> 3.0)
+  path (~> 1.3)
+  rake (~> 10.1)
+  redcarpet (~> 2.2)
+  rspec (~> 2.14)
+  sexpr (~> 0.5.1)
+  yard (~> 0.8.2)

data/LICENCE.md

@@ -0,0 +1,22 @@
+# The MIT Licence
+
+    Copyright (c) 2011 - Bernard Lambeau & The University of Louvain (Belgium)
+
+    Permission is hereby granted, free of charge, to any person obtaining
+    a copy of this software and associated documentation files (the
+    "Software"), to deal in the Software without restriction, including
+    without limitation the rights to use, copy, modify, merge, publish,
+    distribute, sublicense, and/or sell copies of the Software, and to
+    permit persons to whom the Software is furnished to do so, subject to
+    the following conditions:
+
+    The above copyright notice and this permission notice shall be
+    included in all copies or substantial portions of the Software.
+
+    THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+    EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+    MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+    NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+    LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+    OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+    WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/Manifest.txt

@@ -0,0 +1,14 @@
+bin/**/*
+examples/**/*
+lib/**/*
+tasks/**/*
+Rakefile
+alf.gemspec
+alf.noespec
+CHANGELOG.md
+Gemfile
+Gemfile.lock
+LICENCE.md
+Manifest.txt
+README.md
+TODO.md

data/README.md

@@ -0,0 +1,11 @@
+# Alf::Core
+
+Core modules of Alf.
+
+[![Build Status](https://secure.travis-ci.org/alf-tool/alf-core.png)](http://travis-ci.org/alf-tool/alf-core)
+[![Dependency Status](https://gemnasium.com/alf-tool/alf-core.png)](https://gemnasium.com/alf-tool/alf-core)
+
+## Links
+
+* http://github.com/alf-tool/alf
+* http://github.com/alf-tool/alf-core

data/Rakefile

@@ -0,0 +1,11 @@
+# We run tests by default
+task :default => :test
+
+#
+# Install all tasks found in tasks folder
+#
+# See .rake files there for complete documentation.
+#
+Dir["tasks/*.rake"].each do |taskfile|
+  load taskfile
+end

data/TODO.md

@@ -0,0 +1,23 @@
+* Rework AlfFile that loads its operand in memory.
+
+* RENAME: add prefix, suffix and lambda renaming
+
+        (rename :suppliers, [:name, :city], :prefix => "supplier_")
+        (rename :suppliers, [:name, :city], :suffix => "_sup")
+        (rename :suppliers, [:name, :city], lambda{|name| name.upcase})
+
+* WRAP: provide a multi-wrapping ability?
+
+        (wrap (wrap :supplies, [:a, :b], :x), [:x, :c], :y)
+         => (wrap :supplies, :x => [:a, :b], :y => [:x, :c])
+
+    But this would only work with Ruby 1.9 as the hash order would be important
+    as such
+
+* GROUP: provide a multi-grouping ability?
+
+    Similar to wrap, with same limitation.
+
+* Add PIVOT and UNPIVOT operators
+
+* Find a way to complete the description of Quota...

data/examples/functions-as-values.rb

@@ -0,0 +1,39 @@
+require 'alf'
+
+module Database
+  include Alf::Viewpoint
+
+  def orders
+    Relation(
+      Tuple(oid: "O1", city: "London", amount: 100.00),
+      Tuple(oid: "O2", city: "Paris",  amount: 100.00))
+  end
+
+  def discount_rules
+    Relation(
+      Tuple(city: "London", rule: ->{ amount * 0.20 }),
+      Tuple(city: "Paris",  rule: ->{ amount * 0.15 }))
+  end
+
+end
+
+# Let open a connection on this database
+db = Database.connect(Path.pwd)
+
+# Compute the discount to apply according to the city
+rel = db.query do
+  allbut(
+    extend( 
+      join(orders, discount_rules), 
+      discount: ->{ instance_exec(&rule) } ),
+    [:rule]
+  )
+end
+
+puts rel
+# +------+--------+---------+-----------+
+# | :oid | :city  | :amount | :discount |
+# +------+--------+---------+-----------+
+# | O1   | London | 100.000 |    20.000 |
+# | O2   | Paris  | 100.000 |    15.000 |
+# +------+--------+---------+-----------+

data/examples/memory_database.rb

@@ -0,0 +1,44 @@
+require 'alf'
+module MemoryDatabase
+  include Alf::Viewpoint
+
+  def suppliers
+    Relation(
+      {:sid => "S1", :name => "Smith", :status => 20, :city => "London"},
+      {:sid => "S2", :name => "Jones", :status => 10, :city => "Paris"},
+      {:sid => "S3", :name => "Blake", :status => 30, :city => "Paris"},
+      {:sid => "S4", :name => "Clark", :status => 20, :city => "London"},
+      {:sid => "S5", :name => "Adams", :status => 30, :city => "Athens"})
+  end
+
+  def parts
+    Relation(
+      {:pid => "P1", :name => "Nut", :color => "Red", :weight => 12.0, :city => "London"},
+      {:pid => "P2", :name => "Bolt", :color => "Green", :weight => 17.0, :city => "Paris"},
+      {:pid => "P3", :name => "Screw", :color => "Blue", :weight => 17.0, :city => "Oslo"},
+      {:pid => "P4", :name => "Screw", :color => "Red", :weight => 14.0, :city => "London"},
+      {:pid => "P5", :name => "Cam", :color => "Blue", :weight => 12.0, :city => "Paris"},
+      {:pid => "P6", :name => "Cog", :color => "Red", :weight => 19.0, :city => "London"})
+  end
+
+  def supplies
+    Relation(
+      {:sid => "S1", :pid => "P1", :qty => 300},
+      {:sid => "S1", :pid => "P2", :qty => 200},
+      {:sid => "S1", :pid => "P3", :qty => 400},
+      {:sid => "S1", :pid => "P4", :qty => 200},
+      {:sid => "S1", :pid => "P5", :qty => 100},
+      {:sid => "S1", :pid => "P6", :qty => 100},
+      {:sid => "S2", :pid => "P1", :qty => 300},
+      {:sid => "S2", :pid => "P2", :qty => 400},
+      {:sid => "S3", :pid => "P2", :qty => 200},
+      {:sid => "S4", :pid => "P2", :qty => 200},
+      {:sid => "S4", :pid => "P4", :qty => 300},
+      {:sid => "S4", :pid => "P5", :qty => 400})
+  end
+
+end
+
+db = MemoryDatabase.connect(Path.dir)
+
+puts db.query{ matching(suppliers, supplies) }

data/examples/operators/autonum.alf

@@ -0,0 +1,6 @@
+#!/usr/bin/env alf
+# Autonumber suppliers (:autonum attribute name by default)
+(autonum suppliers)
+
+# You can specify the attribute name
+(autonum suppliers, :unique_id)

data/examples/operators/cities.rash

@@ -0,0 +1,4 @@
+{:city => 'London',   :country => 'England'}
+{:city => 'Paris',    :country => 'France'}
+{:city => 'Athens',   :country => 'Greece'}
+{:city => 'Brussels', :country => 'Belgium'} 

data/examples/operators/clip.alf

@@ -0,0 +1,3 @@
+#!/usr/bin/env alf
+(clip suppliers, [:name, :city])
+(clip suppliers, [:name, :city], :allbut => true)

data/examples/operators/compact.alf

@@ -0,0 +1,2 @@
+#!/usr/bin/env alf
+(compact (clip suppliers, [:city]))

data/examples/operators/defaults.alf

@@ -0,0 +1,3 @@
+#!/usr/bin/env alf
+(defaults suppliers, :country => 'Belgium')
+(defaults suppliers, {:country => 'Belgium'}, :strict => true)

data/examples/operators/extend.alf

@@ -0,0 +1,3 @@
+#!/usr/bin/env alf
+(extend supplies, :sp  => lambda{ sid + "/" + pid },
+                  :big => lambda{ qty > 100 ? true : false }) 

data/examples/operators/group.alf

@@ -0,0 +1,3 @@
+#!/usr/bin/env alf
+(group supplies, [:pid, :qty], :supplying)
+(group supplies, [:sid], :supplying, :allbut => true)

data/examples/operators/intersect.alf

@@ -0,0 +1,4 @@
+#!/usr/bin/env alf
+(intersect \
+  (restrict suppliers, lambda{ status >= 20 }),
+  (restrict suppliers, lambda{ city == 'Paris' }))

data/examples/operators/join.alf

@@ -0,0 +1,2 @@
+#!/usr/bin/env alf
+(join suppliers, supplies)

data/examples/operators/matching.alf

@@ -0,0 +1,2 @@
+#!/usr/bin/env alf
+(matching suppliers, supplies)

data/examples/operators/minus.alf

@@ -0,0 +1,8 @@
+#!/usr/bin/env alf
+# Give all suppliers, except those living in Paris
+(minus suppliers, 
+       (restrict suppliers, lambda{ city == 'Paris' }))
+
+# This is a contrived example for illustrating minus, as the
+# following is equivalent
+(restrict suppliers, lambda{ city != 'Paris' })

data/examples/operators/not_matching.alf

@@ -0,0 +1,2 @@
+#!/usr/bin/env alf
+(not_matching suppliers, supplies)

data/examples/operators/nulls.rash

@@ -0,0 +1,3 @@
+{:sid => 'S1', :age => nil}
+{:sid => 'S2', :age => 32}
+{:sid => 'S3', :age => nil}

data/examples/operators/parts.rash

@@ -0,0 +1,6 @@
+{:pid => 'P1', :name => 'Nut',   :color => 'Red',   :weight => 12.0, :city => 'London'}
+{:pid => 'P2', :name => 'Bolt',  :color => 'Green', :weight => 17.0, :city => 'Paris'}
+{:pid => 'P3', :name => 'Screw', :color => 'Blue',  :weight => 17.0, :city => 'Oslo'}
+{:pid => 'P4', :name => 'Screw', :color => 'Red',   :weight => 14.0, :city => 'London'}
+{:pid => 'P5', :name => 'Cam',   :color => 'Blue',  :weight => 12.0, :city => 'Paris'}
+{:pid => 'P6', :name => 'Cog',   :color => 'Red',   :weight => 19.0, :city => 'London'}

data/examples/operators/project.alf

@@ -0,0 +1,3 @@
+#!/usr/bin/env alf
+(project suppliers, [:name, :city])
+(project suppliers, [:name, :city], :allbut => true)

data/examples/operators/pseudo-with.alf

@@ -0,0 +1,7 @@
+kept_suppliers = (restrict suppliers, lambda{ status > 10 })
+with_countries = (join kept_suppliers, cities)
+supplying      = (join with_countries, supplies)
+(summarize supplying,
+           [:country],
+           :which => collect{ pid },
+           :total => sum{ qty })

data/examples/operators/quota.alf

@@ -0,0 +1,4 @@
+#!/usr/bin/env alf
+(quota supplies, [:sid], [:qty],
+       :position => count(),
+       :sum_qty  => sum{ qty })

data/examples/operators/rank.alf

@@ -0,0 +1,4 @@
+#!/usr/bin/env alf
+
+# Get the three heaviest parts
+(allbut (restrict (rank parts, [[:weight, :desc]], :pos), lambda{ pos < 3 }), [:pos])

data/examples/operators/rename.alf

@@ -0,0 +1,3 @@
+#!/usr/bin/env alf
+(rename suppliers, :name => :supplier_name, 
+                   :city => :supplier_city)

data/examples/operators/restrict.alf

@@ -0,0 +1,2 @@
+#!/usr/bin/env alf
+(restrict suppliers, lambda{ status > 20 })

data/examples/operators/schema.yaml

@@ -0,0 +1,28 @@
+logical: 
+  - name: suppliers
+    heading:
+      - { name: sid,    domain: String,   mandatory: true }
+      - { name: name,   domain: String,   mandatory: true }
+      - { name: status, domain: Integer,  mandatory: true }
+      - { name: city,   domain: String,   mandatory: true }
+    constraints: 
+      - { name: pk, type: primary_key, attributes: [ sid ] }
+  - name: parts
+    heading:
+      - { name: pid,    domain: String,   mandatory: true }
+      - { name: name,   domain: String,   mandatory: true }
+      - { name: color,  domain: String,   mandatory: true }
+      - { name: weight, domain: Float,    mandatory: true }
+      - { name: city,   domain: String,   mandatory: true }
+    constraints: 
+      - { name: pk, type: primary_key, attributes: [ pid ] }
+  - name: supplies
+    heading:
+      - { name: sid,    domain: String,   mandatory: true }
+      - { name: pid,    domain: String,   mandatory: true }
+      - { name: qty,    domain: Integer,  mandatory: true }
+    constraints: 
+      - { name: pk, type: primary_key, attributes: [ sid, pid ] }
+      - { name: known_supplier, type: foreign_key, attributes: [ sid ], references: suppliers }
+      - { name: known_part,     type: foreign_key, attributes: [ pid ], references: parts }
+      

data/examples/operators/sort.alf

@@ -0,0 +1,4 @@
+#!/usr/bin/env alf
+(sort suppliers, [:name])
+(sort suppliers, [:city, :name])
+(sort suppliers, [[:city, :desc], [:name, :asc]])

data/examples/operators/summarize.alf

@@ -0,0 +1,16 @@
+#!/usr/bin/env alf
+
+# What is the sum of supplied quantities by supplier?
+(summarize supplies, 
+           [:sid],
+           :total_qty => sum{ qty })
+
+# Give the maximal supplied quantity by country, taking only into account
+# suppliers that have a status greater than 10
+(summarize \
+  (join \
+    (join (restrict suppliers, lambda{ status > 10 }), 
+          supplies), 
+    cities),
+  [:country], 
+  :maxqty => sum{ qty })

data/examples/operators/suppliers.rash

@@ -0,0 +1,5 @@
+{:sid => 'S1', :name => 'Smith', :status => 20, :city => 'London'}
+{:sid => 'S2', :name => 'Jones', :status => 10, :city => 'Paris'}
+{:sid => 'S3', :name => 'Blake', :status => 30, :city => 'Paris'}
+{:sid => 'S4', :name => 'Clark', :status => 20, :city => 'London'}
+{:sid => 'S5', :name => 'Adams', :status => 30, :city => 'Athens'}

data/examples/operators/supplies.rash

@@ -0,0 +1,12 @@
+{:sid => 'S1', :pid => 'P1', :qty => 300}
+{:sid => 'S1', :pid => 'P2', :qty => 200}
+{:sid => 'S1', :pid => 'P3', :qty => 400}
+{:sid => 'S1', :pid => 'P4', :qty => 200}
+{:sid => 'S1', :pid => 'P5', :qty => 100}
+{:sid => 'S1', :pid => 'P6', :qty => 100}
+{:sid => 'S2', :pid => 'P1', :qty => 300}
+{:sid => 'S2', :pid => 'P2', :qty => 400}
+{:sid => 'S3', :pid => 'P2', :qty => 200}
+{:sid => 'S4', :pid => 'P2', :qty => 200}
+{:sid => 'S4', :pid => 'P4', :qty => 300}
+{:sid => 'S4', :pid => 'P5', :qty => 400}

data/examples/operators/ungroup.alf

@@ -0,0 +1,4 @@
+#!/usr/bin/env alf
+(ungroup \
+  (group supplies, [:pid, :qty], :supplying), 
+  :supplying)