INSERT或SELECT策略总是返回一行？

Question

里使用Postgres 9.6，我遵循了https://stackoverflow.com/a/40325406/435563建议做一个INSERT或SELECT并返回得到的ID策略：

with ins as (
    insert into prop (prop_type, norm, hash, symbols) 
    values (
    $1, $2, $3, $4 
) on conflict (hash) do 
    update set prop_type = 'jargon' where false 
    returning id) 
select id from ins 
union all 
select id from prop where hash = $3 

不过，有时这种没有返回。无论如何，我都会预料它会连续返回。我如何解决它以确保它始终返回一个ID？

注意，尽管没有返回一行，但行似乎在检查中存在。我相信这个问题可能与尝试通过两个会话同时添加相同的记录有关。

问题的表被定义为：

create table prop (
    id serial primary key, 
    prop_type text not null references prop_type(name), 
    norm text not null, 
    hash text not null unique, 
    symbols jsonb 
); 

数据：

EDT DETAIL: parameters: $1 = 'jargon', $2 = 'j2', $3 = 'lXWkZSmoSE0mZ+n4xpWB', $4 = '[]' 

如果我改变prop_type = 'jargon'到prop_type = 'foo'它的作品！即使给出where false子句，如果表达式不会改变任何东西，看起来锁也不会被采用。这真的需要依赖于我猜测一个不会排在行内的值吗？还是有更好的方法来确保你获得锁定？

--- UPDATE ---

的总体情况是，应用程序尝试使用连接池（...自动提交）保存向无环图，并使用该查询来获取同时识别重复。 [事实证明，更聪明的是使用一个事务，只是序列化到一个连接。但是，当有争这里的行为是奇数]

外键约束似乎并没有影响到插入 - 如：

create table foo(i int unique, prop_id int references prop(id)); 
insert into foo values (1, 208); 
insert into foo values (1, 208) 
on conflict (i) do update set prop_id = 208 where false; 
--> INSERT 0 0 
insert into foo values (1, 208) 
on conflict (i) do update set prop_id = -208 where false; 
--> INSERT 0 0 

注意一个与有效FK 208，其他无效-208。如果我使用完整模式将选择连接到其中任何一个上，那么在没有争用的情况下，它们都会按预期返回i = 1。

Answer 1

你的观察似乎是不可能的。上述命令应该是总是返回一个id，无论是新插入的行还是预存在的行。并发写入不能混淆这一点，因为现有的冲突行被锁定。说明在这个相关的答案：

• How to use RETURNING with ON CONFLICT in PostgreSQL?

除非将引发异常，当然。在这种情况下，您会收到错误消息而不是结果。你检查了吗？你有错误处理吗？ （如果你的应用程序以某种方式丢弃错误消息：1）解决这个问题。 2）有一个在数据库日志的默认日志记录设置的其他项）

我看到你的表定义一个FK约束：

prop_type text not null references prop_type(name), 

如果您尝试插入一行违反约束条件，这正是发生的情况。如果在表prop_typename = 'jargon'排不出，这就是你会得到什么：

ERROR: insert or update on table "prop" violates foreign key constraint "prop_prop_type_fkey" 
DETAIL: Key (prop_type)=(jargon) is not present in table "prop_type". 

演示：

dbfiddle here

你的观察将适合的罪行：

如果我将prop_type ='术语'更改为prop_type ='foo'，它就可以工作！

但是你的解释是基于误解：

这似乎锁如果表达式不会改变任何事情不采取甚至给出了其中假子句。

这不是Postgres的工作原理。锁定是以任何一种方式进行的（上面的链接答案中的解释），Postgres锁定机制甚至不会考虑新的行与旧的行相比如何。

这是否真的需要依赖于我猜测不会在行中的值？还是有更好的方法来确保你获得锁定？

不，

如果缺少FK值确实是问题，那么您可以在包含rCTE的单个语句中添加缺失（不同）值。简单的单行插入就像你演示的一样，但也适用于一次插入多行。相关阅读：

• How do I insert a row which contains a foreign key?
• INSERT rows into multiple tables in a single query, selecting from an involved table
• Can INSERT [...] ON CONFLICT be used for foreign key violations?

Answer 2

https://www.postgresql.org/docs/9.5/static/sql-insert.html

ON CONFLICT DO UPDATE保证原子INSERT或UPDATE结果; 假设没有独立错误，即使在高并发的情况下，这两个结果中的一个也是 。

这是关于您更新的帖子中的锁定。现在关于最后一个问题 - 我首先仔细阅读。现在我看到了where false - 这个子句并不总是返回一行。例如：

t=# create table a(i int, e int); 
CREATE TABLE 
t=# insert into a select 1,1; 
INSERT 0 1 
t=# create unique index b on a (i); 
CREATE INDEX 
---now insert on conflict do nothing: 
t=# insert into a select 1,1 on conflict do nothing returning *,xmax,xmin; 
i | e | xmax | xmin 
---+---+------+------ 
(0 rows) 

INSERT 0 0 
-- where false same effect - no rows 
t=# insert into a select 1,1 on conflict(i) do update set e=2 where false returning *,xmax,xmin; 
i | e | xmax | xmin 
---+---+------+------ 
(0 rows) 
-- now insert without conflict: 
t=# insert into a select 2,2 on conflict(i) do update set e=2 where EXCLUDED.e=1 returning *,xmax; 
i | e | xmax 
---+---+------ 
2 | 2 | 0 
(1 row) 
-- now insert with update on conflict: 
INSERT 0 1 
t=# insert into a select 1,1 on conflict(i) do update set e=2 where EXCLUDED.e=1 returning *,xmax; 
i | e | xmax 
---+---+----------- 
1 | 2 | 126943767 
(1 row)