mysql – 将monad组合转换为SQL

我正在使用Scala(http://github.com/getquill/quill)中的语言集成查询库,并且有一种类型的monad组合,我正在努力为其生成相应的SQL查询.

可以为这些情况生成查询：

t1.flatMap(a => t2.filter(b => b.s == a.s).map(b => b.s))

   SELECT t2.s FROM t1, t2 WHERE t2.s = t1.s

t1.flatMap(a => t2.map(b => b.s).take(10))

   SELECT x.s FROM t1, (SELECT * FROM t2 LIMIT 10) x

但我无法弄清楚如何表达另一个：

t1.flatMap(a => t2.filter(b => b.s == a.s).map(b => b.s).take(10))

可能吗？这个问题也可以表达为：有没有办法在sql中使用应用程序连接来表达monadic组合中的这种数据依赖性？

我正在寻找一个通用的解决方案,因此它可以用于其他类似的组合：

t1.flatMap(a => t2.filter(b => b.s == a.s).sortBy(b => b.s % a.s).map(b => b.s).take(10))
t1.flatMap(a => t2.filter(b => b.s == a.s).map(b => b.s).take(10).flatMap(b => t3.filter(c => c.s == b.s/a.s))

我正在研究MysqL,Postgres和H2的方言.

解决方法:

一旦你需要过滤内部集合,通过外部存在你需要推动联接.这样的事情,也许：

SELECT *
FROM t1, (
  SELECT t2.s
  FROM t2, t1 AS t1_inner
  WHERE t1_inner.s = t2.s
  LIMIT 10
)

或者,或者：

SELECT *
FROM t1, (
  SELECT t2.s
  FROM t2
  WHERE EXISTS (SELECT * FROM t1 t1_inner WHERE t1_inner.s = t2.s)
  LIMIT 10
)