转换域微积分到(Postgre-)SQL

Question

设表Person具有属性(列)Name和Age

{[name] | ∃ age (Person(name,age) ∧ age≥18)}

我想创建相应的SQL查询。

在没有的情况下创建这样一个SQL查询(不仅仅是在这个特定的情况下)是可能的吗?了解数据库模式?所以我不需要知道表Person有名为Name和Age的列。

我想过通过列索引访问表，但是我很困惑。

Answer 1

感谢@philipxy，我偶然发现了这个答案:

WITH p(name,age) AS (SELECT * FROM PERSON)
SELECT name FROM p WHERE age>=18