读提交隔离级别中的确切命令定义是什么？

Question

假设我们使用自动提交模式，即：。

默认情况下（没有BEGIN），PostgreSQL以“自动提交”模式执行事务，即每个语句都在自己的事务中执行，并在语句末尾隐式执行提交（如果执行成功，否则回滚完成）。

然后，使用读取提交的隔离级别（在 postgresql 中也是缺省值），该语句是实际的隔离单元。但在这里，这句话只意味着外在的陈述？同一外部语句中嵌入的语句呢？

• CTE（带查询）

我测试了一些情况，似乎主查询和所有WITH查询共享相同的事务快照，尽管由于依赖性，一些查询可能会在另一个查询之后发生。

with a as
(
statements...
),
b as (
statements depends on a, e.g. from a,
)
main query

如果在整个查询运行期间，提交了新事务，此处的任何（子）查询是否应该看到新数据？

• 触发函数中的语句

很容易测试并知道触发器函数中的每个语句都满足读提交隔离级别规则，即每个语句在开始执行之前都会看到所有提交事务的数据。

outer dml statement ----trigger---> foobar()
                                        statement1
                                        statement2
                                        ....

如果在语句1之后提交了其他事务，语句2将会看到新数据。

[Li]子查询

考虑 WHERE 部分中的子查询，很难测试每次执行子查询是否会看到来自其他已提交事务的新数据，因为子查询将主要由优化程序转换为连接。

select * from foo where col1 > any(select col1 from bar where ....);

如果在第二次运行子查询(修改了表栏)后提交了其他事务，那么第三次运行子查询会看到新数据吗？

我还没有根据这个主题阅读postgresql的源代码，有人知道答案吗？

Answer 1

我在pgsql一般邮件列表中提出问题：

http://www . PostgreSQL . org/message-id/flat/CAAC 9 roz 1 tmme 7 ntb 3 nkvhipjx 0 ckmc 5 umfhadpdmxkmxagco 7 w @ mail . Gmail . com # CAAC 9 roz 1 tmme 7 ntb 3 nkvhipjx 0 ckmc 5 umfhadpdmxkmxagco 7 w @ mail . Gmail . com

我现在找到了答案:

对于所有情况（触发器、CTE、其他子查询），只要它们使用用PL编写的标记为VOLATILE（默认情况下）的函数，则函数中包含的每个查询都可以看到新数据。

http://www.postgresql.org/docs/current/static/xfunc-volatility.html

稳定的和不可变的函数使用在调用查询开始时建立的快照，而可变的函数在它们执行的每个查询开始时获得新的快照。