alf 0.14.0 → 0.15.0

data/spec/optimizer/restrict/project.yml

@@ -0,0 +1,4 @@
+- alf: |-
+    restrict(project(suppliers, [:sid, :name]), city: 'Paris')
+  optimized: |-
+    project(restrict(suppliers, city: 'Paris'), [:sid, :name])

data/spec/optimizer/restrict/sort.yml

@@ -0,0 +1,4 @@
+- alf: |-
+    restrict(sort(suppliers, [:sid, :asc]), city: 'Paris')
+  optimized: |-
+    sort(restrict(suppliers, city: 'Paris'), [:sid, :asc])

data/spec/optimizer/restrict/union.yml

@@ -0,0 +1,4 @@
+- alf: |-
+    restrict(union(suppliers, suppliers), city: 'Paris')
+  optimized: |-
+    union(restrict(suppliers, city: 'Paris'), restrict(suppliers, city: 'Paris'))

data/spec/optimizer/test_all.rb

@@ -0,0 +1,34 @@
+require 'test_helpers'
+
+Path.dir.glob('*').select{|f| f.directory? }.each do |folder|
+  optimizer = Alf::Optimizer.const_get(folder.basename.to_s.capitalize)
+
+  describe optimizer do
+
+    folder.glob('*.yml').each do |file|
+      context "On #{file.basename}" do
+
+        file.load.each do |query|
+          alf, optimized = query['alf'], query['optimized']
+
+          context "on #{alf}" do
+            let(:expr)    { conn.parse(alf)       }
+            let(:expected){ conn.parse(optimized) }
+
+            subject{ optimizer.new.call(expr) }
+
+            it 'should be optimized as expected' do
+              subject.should eq(expected)
+            end
+
+            it 'should have same heading as the initial expression' do
+              subject.heading.should eq(expr.heading)
+            end
+          end
+        end
+
+      end
+    end
+  end
+
+end

data/spec/sql/helpers.rb

@@ -0,0 +1,25 @@
+require 'test_helpers'
+
+module SqlTestHelpers
+
+  def each_query_file(&bl)
+    (Path.dir/'queries').glob("*.yml", &bl)
+  end
+
+  def each_query(&bl)
+    each_query_file do |file|
+      queries = file.load
+      queries.each(&bl)
+    end
+  end
+
+  def strip(x)
+    x.strip.gsub(/\s+/, " ").gsub(/\(\s+/, "(").gsub(/\s+\)/, ")")
+  end
+
+end
+
+RSpec.configure do |c|
+  c.include(SqlTestHelpers)
+  c.extend(SqlTestHelpers)
+end

data/spec/sql/queries/01-leaf-operand.yml

@@ -0,0 +1,5 @@
+- alf: |-
+    suppliers
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1

data/spec/sql/queries/02-clip.yml

@@ -0,0 +1,12 @@
+# normal clip
+- alf: |-
+    clip(suppliers, [:sid, :status])
+  sql: |-
+    SELECT t1.sid, t1.status
+      FROM suppliers AS t1
+# clip with no attribute at all
+- alf: |-
+    clip(suppliers, [])
+  sql: |-
+    SELECT TRUE AS is_table_dee
+    WHERE EXISTS(SELECT * FROM suppliers AS t1)

data/spec/sql/queries/03-sort.yml

@@ -0,0 +1,58 @@
+- alf: |-
+    sort(suppliers, [[:sid, :asc]])
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+    ORDER BY t1.sid ASC
+#
+- alf: |-
+    sort(suppliers, [[:sid, :desc]])
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+    ORDER BY t1.sid DESC
+#
+- alf: |-
+    sort(suppliers, [[:city, :desc], [:sid, :asc]])
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+    ORDER BY t1.city DESC, t1.sid ASC
+#
+- alf: |-
+    sort(sort(suppliers, [[:sid, :asc], [:city, :desc]]), [:sid, :asc])
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+    ORDER BY t1.sid ASC, t1.city DESC
+#
+- alf: |-
+    sort(sort(suppliers, [:sid, :asc]), [:sid, :desc])
+  sql: |-
+    WITH t2 AS (
+      SELECT t1.sid,
+             t1.name,
+             t1.status,
+             t1.city
+        FROM suppliers AS t1
+       ORDER BY t1.sid ASC
+    )
+    SELECT t2.sid, t2.name, t2.status, t2.city
+      FROM t2 AS t2
+    ORDER BY t2.sid DESC
+#
+- alf: |-
+    sort(union(suppliers_in_paris, suppliers_in_london), [[:sid, :asc]])
+  sql: |-
+    WITH t3 AS (
+      (SELECT t1.sid, t1.name, t1.status, t1.city
+        FROM suppliers AS t1
+       WHERE t1.city = 'Paris')
+       UNION
+     (SELECT t2.sid, t2.name, t2.status, t2.city
+       FROM suppliers AS t2
+      WHERE t2.city = 'London')
+    )
+    SELECT t3.sid, t3.name, t3.status, t3.city
+      FROM t3 AS t3
+    ORDER BY t3.sid ASC

data/spec/sql/queries/04-frame.yml

@@ -0,0 +1,57 @@
+# BASE case
+- alf: |-
+    frame(suppliers, [[:sid, :asc]], 2, 4)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+    ORDER BY t1.sid ASC
+    LIMIT 4 OFFSET 2
+# KEY INFERENCE for total ordering
+- alf: |-
+    frame(suppliers, [[:city, :desc]], 2, 4)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+    ORDER BY t1.city DESC, t1.sid ASC
+    LIMIT 4 OFFSET 2
+# ORDER BY already ok
+- alf: |-
+    frame(sort(suppliers, [[:city, :desc], [:sid, :asc]]), [[:city, :desc]], 2, 4)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+    ORDER BY t1.city DESC, t1.sid ASC
+    LIMIT 4 OFFSET 2
+# ORDER BY existing but incompatible
+- alf: |-
+    frame(sort(suppliers, [[:sid, :asc], [:city, :desc]]), [[:city, :desc]], 2, 4)
+  sql: |-
+    WITH t2 AS (
+      SELECT t1.sid, t1.name, t1.status, t1.city
+        FROM suppliers AS t1
+       ORDER BY t1.sid ASC, t1.city DESC
+    )
+    SELECT t2.sid, t2.name, t2.status, t2.city
+      FROM t2 AS t2
+    ORDER BY t2.city DESC, t2.sid ASC
+    LIMIT 4 OFFSET 2
+# UNION and other nadics
+- alf: |-
+    frame(union(suppliers_in_paris, suppliers_in_london), [[:sid, :asc]], 2, 4)
+  sql: |-
+    WITH t3 AS (
+      (SELECT t1.sid, t1.name, t1.status, t1.city
+        FROM suppliers AS t1
+       WHERE t1.city = 'Paris')
+      UNION
+      (SELECT t2.sid, t2.name, t2.status, t2.city
+        FROM suppliers AS t2
+       WHERE t2.city = 'London')
+    )
+    SELECT t3.sid, t3.name, t3.status, t3.city
+      FROM t3 AS t3
+    ORDER BY t3.sid ASC, t3.name ASC, t3.status ASC, t3.city ASC
+    LIMIT 4 OFFSET 2
+  comment: |-
+    The big ordering comes from the fact that key inference is not smart
+    enough to detect that sid is still a key in the resulting union.

data/spec/sql/queries/05-intersect.yml

@@ -0,0 +1,23 @@
+- alf: |-
+    intersect(suppliers_in_paris, suppliers_in_london)
+  sql: |-
+    (SELECT t1.sid, t1.name, t1.status, t1.city
+       FROM suppliers AS t1
+      WHERE t1.city = 'Paris')
+    INTERSECT
+    (SELECT t2.sid, t2.name, t2.status, t2.city
+      FROM suppliers AS t2
+     WHERE t2.city = 'London')
+- alf: |-
+    intersect(intersect(suppliers_in_paris, suppliers_in_london), suppliers)
+  sql: |-
+    ((SELECT t1.sid, t1.name, t1.status, t1.city
+       FROM suppliers AS t1
+      WHERE t1.city = 'Paris')
+    INTERSECT
+    (SELECT t2.sid, t2.name, t2.status, t2.city
+      FROM suppliers AS t2
+     WHERE t2.city = 'London'))
+    INTERSECT
+    (SELECT t3.sid, t3.name, t3.status, t3.city
+      FROM suppliers AS t3)

data/spec/sql/queries/06-join.yml

@@ -0,0 +1,207 @@
+# cross join
+- alf: |-
+    join(project(suppliers, [:sid]), project(parts, [:pid]))
+  sql:
+    SELECT t1.sid, t2.pid
+      FROM suppliers AS t1, parts AS t2
+# inner join
+- alf: |-
+    join(suppliers, supplies)
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city, t2.pid, t2.qty
+      FROM suppliers AS t1
+      JOIN supplies  AS t2 ON t1.sid = t2.sid
+# inner join with same operand
+- alf: |-
+    join(suppliers, suppliers)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+      JOIN suppliers AS t2 ON  t1.sid = t2.sid
+                           AND t1.name = t2.name
+                           AND t1.status = t2.status
+                           AND t1.city = t2.city
+# inner join requiring keeping a common distinct
+- alf: |-
+    join(project(suppliers, [:city]), project(parts, [:city]))
+  sql:
+    SELECT DISTINCT t1.city
+      FROM suppliers AS t1
+      JOIN parts AS t2 ON t1.city = t2.city
+# inner join requiring keeping the left distinct
+- alf: |-
+    join(project(suppliers, [:city]), parts)
+  sql:
+    SELECT DISTINCT t1.city, t2.pid, t2.name, t2.color, t2.weight
+      FROM suppliers AS t1
+      JOIN parts AS t2 ON t1.city = t2.city
+# inner join requiring keeping the right distinct
+- alf: |-
+    join(suppliers, project(parts, [:city]))
+  sql:
+    SELECT DISTINCT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+      JOIN parts AS t2 ON t1.city = t2.city
+# inner join requiring renamings
+- alf: |-
+    join(rename(suppliers, sid: :id), rename(supplies, sid: :id))
+  sql:
+    SELECT t1.sid AS id, t1.name, t1.status, t1.city, t2.pid, t2.qty
+      FROM suppliers AS t1
+      JOIN supplies  AS t2 ON t1.sid = t2.sid
+# triple join
+- alf: |-
+    join(join(suppliers, supplies), project(parts, [:pid, :color]))
+  sql:
+    WITH t4 AS (
+      SELECT t1.sid, t1.name, t1.status, t1.city, t2.pid, t2.qty
+        FROM suppliers AS t1
+        JOIN supplies  AS t2 ON t1.sid = t2.sid
+    )
+    SELECT t4.sid, t4.name, t4.status, t4.city, t4.pid, t4.qty, t3.color
+      FROM t4 AS t4
+      JOIN parts AS t3 ON t4.pid = t3.pid
+# join of two joins
+- alf: |-
+    join(join(suppliers, cities), join(project(parts, [:pid, :color]), supplies))
+  sql:
+    WITH
+      t5 AS (
+        SELECT t1.sid, t1.name, t1.status, t1.city, t2.country
+          FROM suppliers AS t1
+          JOIN cities AS t2 ON t1.city = t2.city
+      ),
+      t6 AS (
+        SELECT t3.pid, t3.color, t4.sid, t4.qty
+          FROM parts AS t3
+          JOIN supplies AS t4 ON t3.pid = t4.pid
+      )
+    SELECT t5.sid, t5.name, t5.status, t5.city, t5.country, t6.pid, t6.color, t6.qty
+      FROM t5 AS t5
+      JOIN t6 AS t6 ON t5.sid = t6.sid
+# join with a where clause at left
+- alf: |-
+    join(restrict(suppliers, sid: 'S2'), supplies)
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city, t2.pid, t2.qty
+      FROM suppliers AS t1
+      JOIN supplies  AS t2 ON t1.sid = t2.sid
+     WHERE t1.sid = 'S2'
+# join with a where clause at right
+- alf: |-
+    join(suppliers, restrict(supplies, sid: 'S2'))
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city, t2.pid, t2.qty
+      FROM suppliers AS t1
+      JOIN supplies  AS t2 ON t1.sid = t2.sid
+     WHERE t2.sid = 'S2'
+# join with where clauses both sides
+- alf: |-
+    join(restrict(suppliers, sid: 'S2'), restrict(supplies, qty: 300))
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city, t2.pid, t2.qty
+      FROM suppliers AS t1
+      JOIN supplies  AS t2 ON t1.sid = t2.sid
+     WHERE t1.sid = 'S2'
+       AND t2.qty = 300
+# join with an order-by clause at left
+- alf: |-
+    join(sort(suppliers, [:sid, :asc]), supplies)
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city, t2.pid, t2.qty
+      FROM suppliers AS t1
+      JOIN supplies  AS t2 ON t1.sid = t2.sid
+     ORDER BY t1.sid ASC
+# join with an order-by clause at right
+- alf: |-
+    join(suppliers, sort(supplies, [:qty, :asc]))
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city, t2.pid, t2.qty
+      FROM suppliers AS t1
+      JOIN supplies  AS t2 ON t1.sid = t2.sid
+     ORDER BY t2.qty ASC
+# join with an order-by clause on both sides
+- alf: |-
+    join(sort(suppliers, [:sid, :asc]), sort(supplies, [:qty, :asc]))
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city, t2.pid, t2.qty
+      FROM suppliers AS t1
+      JOIN supplies  AS t2 ON t1.sid = t2.sid
+     ORDER BY t1.sid ASC, t2.qty ASC
+# join with a limit/offset clause at left
+- alf: |-
+    join(frame(suppliers, [:sid, :asc], 5, 10), supplies)
+  sql:
+    WITH t3 AS (
+      SELECT t1.sid, t1.name, t1.status, t1.city
+        FROM suppliers AS t1
+        ORDER BY t1.sid ASC
+        LIMIT 10 OFFSET 5
+    )
+    SELECT t3.sid, t3.name, t3.status, t3.city, t2.pid, t2.qty
+      FROM t3 AS t3
+      JOIN supplies AS t2 ON t3.sid = t2.sid
+# join with a limit/offset clause at right
+- alf: |-
+    join(suppliers, frame(supplies, [[:sid, :asc], [:pid, :asc]], 5, 10))
+  sql:
+    WITH t3 AS (
+      SELECT t2.sid, t2.pid, t2.qty
+        FROM supplies AS t2
+        ORDER BY t2.sid ASC, t2.pid ASC
+        LIMIT 10 OFFSET 5
+    )
+    SELECT t1.sid, t1.name, t1.status, t1.city, t3.pid, t3.qty
+      FROM suppliers AS t1
+      JOIN t3 AS t3 ON t1.sid = t3.sid
+# join with a limit/offset clause on both sides
+- alf: |-
+    join(frame(suppliers, [:sid, :asc], 5, 10),
+         frame(supplies, [[:sid, :asc], [:pid, :asc]], 5, 10))
+  sql:
+    WITH t3 AS (SELECT t1.sid, t1.name, t1.status, t1.city
+                  FROM suppliers AS t1
+                 ORDER BY t1.sid ASC
+                 LIMIT 10 OFFSET 5),
+         t4 AS (SELECT t2.sid, t2.pid, t2.qty
+                  FROM supplies AS t2
+                 ORDER BY t2.sid ASC, t2.pid ASC
+                 LIMIT 10 OFFSET 5)
+    SELECT t3.sid, t3.name, t3.status, t3.city, t4.pid, t4.qty
+      FROM t3 AS t3
+      JOIN t4 AS t4 ON t3.sid = t4.sid
+# join on a union at left
+- alf: |-
+    join(union(suppliers_in_london, suppliers_in_paris), supplies)
+  sql:
+    WITH t4 AS (
+      (SELECT t1.sid, t1.name, t1.status, t1.city
+        FROM suppliers AS t1
+       WHERE t1.city = 'London')
+      UNION
+      (SELECT t2.sid, t2.name, t2.status, t2.city
+        FROM suppliers AS t2
+       WHERE t2.city = 'Paris')
+    )
+    SELECT t4.sid, t4.name, t4.status, t4.city, t3.pid, t3.qty
+      FROM t4 AS t4
+      JOIN supplies AS t3 ON t4.sid = t3.sid
+# join on a union at right
+- alf: |-
+    join(supplies, union(suppliers_in_london, suppliers_in_paris))
+  sql:
+    WITH t4 AS (
+      (SELECT t2.sid, t2.name, t2.status, t2.city
+        FROM suppliers AS t2
+       WHERE t2.city = 'London')
+      UNION
+      (SELECT t3.sid, t3.name, t3.status, t3.city
+        FROM suppliers AS t3
+       WHERE t3.city = 'Paris')
+    )
+    SELECT t1.sid, t1.pid, t1.qty, t4.name, t4.status, t4.city
+      FROM supplies AS t1 
+      JOIN t4 AS t4 ON t1.sid = t4.sid
+# joining from Relation::DEE
+- alf: |-
+    join(Relation::DEE, suppliers)