alf 0.14.0 → 0.15.0

data/spec/sql/queries/07-matching.yml

@@ -0,0 +1,76 @@
+# matching with no attribute
+- alf: |-
+    matching(suppliers, project(supplies, [:qty]))
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+      WHERE EXISTS(SELECT * FROM supplies AS t2)
+# matching on one single attribute
+- alf: |-
+    matching(suppliers, supplies)
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+      WHERE t1.sid IN (SELECT t2.sid FROM supplies AS t2)
+# matching on multiple attributes
+- alf: |-
+    matching(suppliers, parts)
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+      WHERE EXISTS(
+        SELECT t2.name, t2.city
+          FROM parts AS t2
+         WHERE t1.name = t2.name
+           AND t1.city = t2.city)
+# matching when a with_exp at right
+- alf: |-
+    matching(suppliers, sort(sort(suppliers, [:sid, :asc]), [:sid, :desc]))
+  sql:
+    WITH t3 AS (
+      SELECT t2.sid, t2.name, t2.status, t2.city
+        FROM suppliers AS t2
+       ORDER BY t2.sid ASC
+    )
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+      WHERE EXISTS(
+        SELECT t3.sid, t3.name, t3.status, t3.city
+        FROM t3 AS t3
+        WHERE t1.sid = t3.sid
+          AND t1.name = t3.name
+          AND t1.status = t3.status
+          AND t1.city = t3.city
+        ORDER BY t3.sid DESC)
+# matching with a union at left
+- alf: |-
+    matching(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
+      FROM t4 AS t4
+     WHERE t4.sid IN (SELECT t3.sid FROM supplies AS t3)
+# matching with a union at right
+- alf: |-
+    matching(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
+      FROM supplies AS t1
+     WHERE t1.sid IN (SELECT t4.sid FROM t4 AS t4)

data/spec/sql/queries/08-minus.yml

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

data/spec/sql/queries/09-not-matching.yml

@@ -0,0 +1,57 @@
+# not_matching with no attribute
+- alf: |-
+    not_matching(suppliers, project(supplies, [:qty]))
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+      WHERE NOT(EXISTS(SELECT * FROM supplies AS t2))
+# not matching on one single attribute
+- alf: |-
+    not_matching(suppliers, supplies)
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+      WHERE NOT(t1.sid IN (SELECT t2.sid FROM supplies AS t2))
+# not_matching on multiple attributes
+- alf: |-
+    not_matching(suppliers, parts)
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+      WHERE NOT(EXISTS(
+        SELECT t2.name, t2.city
+          FROM parts AS t2
+         WHERE t1.name = t2.name
+           AND t1.city = t2.city))
+# not_matching with a union at left
+- alf: |-
+    not_matching(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
+      FROM t4 AS t4
+     WHERE NOT(t4.sid IN (SELECT t3.sid FROM supplies AS t3))
+# not_matching with a union at right
+- alf: |-
+    not_matching(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
+      FROM supplies AS t1
+     WHERE NOT(t1.sid IN (SELECT t4.sid FROM t4 AS t4))

data/spec/sql/queries/10-page.yml

@@ -0,0 +1,31 @@
+- alf: |-
+    page(suppliers, [[:city, :desc], [:sid, :asc]], 1, page_size: 10)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     ORDER BY t1.city DESC, t1.sid ASC
+     LIMIT 10 OFFSET 0
+#
+- alf: |-
+    page(suppliers, [[:city, :desc], [:sid, :asc]], -1, page_size: 10)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     ORDER BY t1.city ASC, t1.sid DESC
+     LIMIT 10 OFFSET 0
+#
+- alf: |-
+    page(suppliers, [[:city, :desc], [:sid, :asc]], 2, page_size: 10)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     ORDER BY t1.city DESC, t1.sid ASC
+     LIMIT 10 OFFSET 10
+#
+- alf: |-
+    page(suppliers, [[:city, :desc]], 2, page_size: 10)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     ORDER BY t1.city DESC, t1.sid ASC
+     LIMIT 10 OFFSET 10

data/spec/sql/queries/11-project.yml

@@ -0,0 +1,48 @@
+# normal case
+- alf: |-
+    project(suppliers, [:sid])
+  sql: |-
+    SELECT t1.sid
+      FROM suppliers AS t1
+# allbut case
+- alf: |-
+    project(suppliers, [:sid], allbut: true)
+  sql: |-
+    SELECT t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+# unique, non primary key
+- alf: |-
+    project(suppliers, [:name])
+  sql: |-
+    SELECT t1.name
+      FROM suppliers AS t1
+# requiring distinct
+- alf: |-
+    project(suppliers, [:status])
+  sql: |-
+    SELECT DISTINCT t1.status
+      FROM suppliers AS t1
+# a special case where attributes are taken in another order
+- alf: |-
+    project(suppliers, [:status, :city, :name])
+  sql: |-
+    SELECT t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+  comment: |-
+    The projection applies to the heading, that keeps its own order. The
+    ordering of fields therefore differs from what could be expected. It's
+    not a semantics issue, though.
+# empty projection
+- alf: |-
+    project(suppliers, [])
+  sql: |-
+    SELECT TRUE AS is_table_dee
+    WHERE EXISTS(SELECT * FROM suppliers AS t1)
+# empty projection or empty projection
+- alf: |-
+    project(project(suppliers, []), [])
+  sql: |-
+    SELECT TRUE AS is_table_dee
+    WHERE EXISTS(
+      SELECT TRUE AS is_table_dee
+        WHERE EXISTS(SELECT * FROM suppliers AS t1))

data/spec/sql/queries/12-rename.yml

@@ -0,0 +1,24 @@
+- alf: |-
+    rename(suppliers, :sid => :id)
+  sql: |-
+    SELECT t1.sid AS id, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+#
+- alf: |-
+    project(rename(suppliers, :sid => :id), [:id, :name])
+  sql: |-
+    SELECT t1.sid AS id, t1.name
+      FROM suppliers AS t1
+#
+- alf: |-
+    sort(rename(suppliers, :sid => :id), [[:id, :asc], [:city, :desc]])
+  sql: |-
+    SELECT t1.sid AS id, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     ORDER BY t1.sid ASC, t1.city DESC
+#
+- alf: |-
+    rename(cities, country: :name)
+  sql: |-
+    SELECT t1.city, t1.country AS name
+      FROM cities AS t1

data/spec/sql/queries/13-restrict.yml

@@ -0,0 +1,114 @@
+# base case
+- alf: |-
+    restrict(suppliers, sid: 'S1')
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.sid = 'S1'
+# when renamed: desalisation required
+- alf: |-
+    restrict(rename(suppliers, sid: :id), id: 'S1')
+  sql: |-
+    SELECT t1.sid AS id, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.sid = 'S1'
+# TRUE
+- alf: |-
+    restrict(suppliers, true)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE TRUE
+# FALSE
+- alf: |-
+    restrict(suppliers, false)
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE FALSE
+# AND
+- alf: |-
+    restrict(suppliers, sid: 'S1', city: 'London')
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.sid = 'S1' AND t1.city = 'London'
+# OR
+- alf: |-
+    restrict(suppliers, Alf::Predicate.or(eq(:sid, 'S1'), eq(:sid, 'S2')))
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.sid = 'S1' OR t1.sid = 'S2'
+# NOT =
+- alf: |-
+    restrict(suppliers, !eq(:sid, 'S1'))
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.sid <> 'S1'
+# NOT AND
+- alf: |-
+    restrict(suppliers, !(eq(:sid, 'S1') & eq(:status, 20)))
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE NOT(t1.sid = 'S1' AND t1.status = 20)
+# NOT EQUAL
+- alf: |-
+    restrict(suppliers, neq(:sid, 'S1'))
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.sid <> 'S1'
+# GREATER
+- alf: |-
+    restrict(suppliers, gt(:status, 10))
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.status > 10
+# GREATER OR EQUAL
+- alf: |-
+    restrict(suppliers, gte(:status, 10))
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.status >= 10
+# LESS THAN
+- alf: |-
+    restrict(suppliers, lt(:status, 10))
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.status < 10
+# LESS THAN OR EQUAL
+- alf: |-
+    restrict(suppliers, lte(:status, 10))
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.status <= 10
+# IN
+- alf: |-
+    restrict(suppliers, Alf::Predicate.in(:sid, ['S1', 'S2']))
+  sql: |-
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.sid IN ('S1', 'S2')
+# restrict(restrict)
+- alf: |-
+    restrict(restrict(suppliers, sid: 'S1'), status: 20)
+  sql:
+    SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.sid = 'S1' AND t1.status = 20
+# restrict(join)
+- alf: |-
+    restrict(join(suppliers, supplies), sid: 'S2', 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

data/spec/sql/queries/15-union.yml

@@ -0,0 +1,90 @@
+# A base union case
+- alf: |-
+    union(suppliers_in_london, suppliers_in_paris)
+  sql:
+    (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')
+# union requiring a reordering
+- alf: |-
+    union(project(suppliers, [:name, :city]), rename(cities, country: :name))
+  sql: |-
+    (SELECT t1.name, t1.city
+      FROM suppliers AS t1)
+    UNION
+    (SELECT t2.country AS name, t2.city
+      FROM cities AS t2)
+# union of union
+- alf: |-
+    union(union(suppliers_in_london, suppliers_in_paris), suppliers)
+  sql:
+    ((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'))
+    UNION
+    (SELECT t3.sid, t3.name, t3.status, t3.city
+      FROM suppliers AS t3)
+# union with a with_exp at left
+- alf: |-
+    union(sort(sort(suppliers_in_london, [:sid, :asc]), [:sid, :desc]), suppliers_in_paris)
+  sql:
+    WITH t2 AS (
+      SELECT t1.sid, t1.name, t1.status, t1.city
+        FROM suppliers AS t1
+       WHERE t1.city = 'London'
+       ORDER BY t1.sid ASC
+    )
+    (SELECT t2.sid, t2.name, t2.status, t2.city
+      FROM t2 AS t2
+    ORDER BY t2.sid DESC)
+    UNION
+    (SELECT t3.sid, t3.name, t3.status, t3.city
+      FROM suppliers AS t3
+     WHERE t3.city = 'Paris')
+# union with a with_exp at right
+- alf: |-
+    union(suppliers_in_london, sort(sort(suppliers_in_paris, [:sid, :asc]), [:sid, :desc]))
+  sql:
+    WITH t3 AS (
+      SELECT t2.sid, t2.name, t2.status, t2.city
+        FROM suppliers AS t2
+       WHERE t2.city = 'Paris'
+       ORDER BY t2.sid ASC
+    )
+    (SELECT t1.sid, t1.name, t1.status, t1.city
+      FROM suppliers AS t1
+     WHERE t1.city = 'London')
+    UNION
+    (SELECT t3.sid, t3.name, t3.status, t3.city
+       FROM t3 AS t3
+      ORDER BY t3.sid DESC)
+# union of two with_exps
+- alf: |-
+    union(sort(sort(suppliers_in_london, [:sid, :asc]), [:sid, :desc]),
+          sort(sort(suppliers_in_paris, [:sid, :asc]), [:sid, :desc]))
+  sql:
+    WITH t2 AS (
+            SELECT t1.sid, t1.name, t1.status, t1.city
+              FROM suppliers AS t1
+             WHERE t1.city = 'London'
+             ORDER BY t1.sid ASC),
+         t4 AS (
+            SELECT t3.sid, t3.name, t3.status, t3.city
+              FROM suppliers AS t3
+             WHERE t3.city = 'Paris'
+             ORDER BY t3.sid ASC)
+    (SELECT t2.sid, t2.name, t2.status, t2.city
+       FROM t2 AS t2
+      ORDER BY t2.sid DESC)
+    UNION 
+    (SELECT t4.sid, t4.name, t4.status, t4.city
+       FROM t4 AS t4
+      ORDER BY t4.sid DESC)