database - 什么样的DB操作同时都是 "idempotent and commutative"？

Question

我在研究 Scala DB 框架/包装器时，偶然发现了来自 Twitter 的 Gizzard。虽然起初给我留下了深刻的印象，但当我阅读限制时，我冷静下来了。他们说您进行的所有数据库操作都必须是幂等的和可交换的。如果我理解正确的话，这基本上几乎没有留下任何东西。例如，如果我有一个带有整数计数器的实体，它必须递增。我可以使用“增量”操作或“设置”操作。但是 increment 不会是幂等的(如果你运行它两次，你会得到一个不同的结果然后运行它一次)，并且 set 不会是可交换的(先设置 5 然后设置 2 给出不同的结果然后设置前两个然后设置 5)。那么除了“insert-if-absent”之外还有什么吗，这对大多数用例来说不是很有用。分布式数据库框架的局限性如此之大，以至于您基本上无法用它做任何有用的事情，这有什么意义呢？我一定是遗漏了一些重要的东西。

[编辑] 除了“insert-if-absent”(和“delete-if-present”)之外，我认为“compare-timestamp-and-set”既是幂等的又是可交换的，如果改变排队而不是丢弃，当“先前的更改”仍然缺失时。但我不知道是否有任何数据库实现了这一点。

Answer 1

一般来说，幂等 Action 必须在 Action 前检查状态。当应用于数据库更新的上下文时，这意味着在更新之前检查要更改的数据的状态。例如:

update some_table set
some_column = 'some_new_value'
where id = 123
and some_column = 'its_current_value'; -- idempotent check

如果运行两次，第二次调用将什么都不做。

为了可交换，这两个更新需要影响数据状态的不同方面(不同的列/行)。也就是说，每个幂等检查的有效性必须不受其他命令的更新操作的影响。