sparql - 乐观锁定或条件更新

Question

我想实现诸如 Optimistic vs. Pessimistic locking 中提到的“乐观锁定”之类的东西

我有以下数据

:foo 
    :hasProp 'bar';
    :hasVersion '3'^^xsd:nonNegativeInteger
.

session 查询此数据并将信息保存在内存中。
然后它想要发布更新。

我只希望更新成功，当传递的版本为“3”时，这意味着自从 session 读取 :foo 以来没有发生更新.

当传递的版本为 != 3 时，有没有办法使更新查询失败？但否则成功并更新 :hasVersion至 '4'^^xsd:nonNegativeInteger例如 :hasProp至 baz ?

Answer 1

“失败”仅表示没有数据匹配，即您可以使用 FILTER .其余的，只需 INSERT和 DELETE相应的数据:

PREFIX : <YOUR_NAMESPACE_HERE>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>

INSERT {
  ?s :hasProp "baz" .
  ?s :hasVersion "4"^^xsd:nonNegativeInteger
}
DELETE {
  ?s :hasProp "bar" .
  ?s :hasVersion ?v
}
WHERE{
  ?s :hasVersion ?v
  FILTER(?v = "3"^^xsd:nonNegativeInteger)
}