Error: 13 INTERNAL: [QRY16] Invalid Query Pattern

Question

我正在使用 TypeDB 2.2.0，我在 Workbase 中收到以下错误，其中包含一个在以前版本中有效的查询。如何在两个概念之间做“不相等”？（请参阅下面的查询）

Error: 13 INTERNAL: [QRY16] Invalid Query Pattern: The pattern '{{ $t2 != $t; $t2 isa transaction;
$_0 = "Peter"; $_0 isa name;
$t isa transaction;
$v has $_0; $v isa person;
 ($t, $v);
 ($t, $pu);
 ($pu, $t2); }}' can never be satisfied the current schema, specifically due to '[{ $t2 != $t; $t2 isa transaction;
$_0 = "Peter"; $_0 isa name;
$t isa transaction;
$v has $_0; $v isa person;
 ($t, $v);
 ($t, $pu);
 ($pu, $t2); }]'. Please check server logs for the stack trace.

match 
$v isa person, has name "Peter"; 
$t isa transaction; 
 ($t, $v); 
 ($t, $pu); 
 ($pu, $t2); 
$t2 isa transaction; 
$t2 != $t; 
offset 0; limit 10;

Answer 1

你想要not { $t2 is $t; };

$a is $b声明$a和$b是完全相同的概念，所以not { $t2 is $t; };表示它们不是同一个概念。这两种形式都适用于比较可能是实体、关系或属性的变量。

也有值比较器，只用于比较两个表示属性的变量，只按值比较：

$a = $b
$a != $b
$a > $b
$a < $b
$a >= $b
$a <= $b

Error: 13 INTERNAL: [QRY16] Invalid Query Pattern

Error: 13 INTERNAL: [QRY16] Invalid Query Pattern

vaticle-typedb

vaticle-typeql