empty() 函数来确定属性是否存在

Question

我用 try.zorba.io我的代码（简化）是：

        jsoniq version "1.0";
        let $tweets :=
    [
    {
    "id" : 1,
        "user" : {
        "id" : 1111,
        "screen_name" : "Bobby"
      }
    }, 
    {
      "id" : 2,
      "user" : {
        "id" : 1111,
        "screen_name" : "Bobby"
      }
    }, 
    {
      "id" : 3,
      "user" : {
        "id" : 2222,
        "screen_name" : "Greg"
      }
    }, 
    {
      "id" : 4,
      "user" : {
        "id" : 3333,
        "screen_name" : "Tom"
      }
    }
    ]
let $users :=
[
{
  "screen_name" : "Julie",
  "id" : 4444
}, {
  "screen_name" : "Tom",
  "id" : 3333
}, {
  "screen_name" : "Greg",
  "id" : 2222
}, {
  "screen_name" : "Barb",
  "id" : 5555
}, {
  "screen_name" : "Bobby",
  "id" : 1111
}, {
  "screen_name" : "Yall",
  "id" : 6666
}
]

我试图弄清楚所有没有任何$tweets $users的"screen_name".我想我必须以某种方式使用 empty(s) 函数，但我不知道怎么做。这是我到目前为止的努力（但它不起作用，我的结果是空的）：

for $t in members($tweets)
for $u in members($users)
for $r in members($users)
where $u."id" eq $t."user"."id"
where  empty($r)
return $u."screen_name"

有什么建议吗？

Answer 1

你需要一个嵌套循环来计算每个用户的推文，并用变量绑定它们。一旦这些推文存储在变量中，你就可以使用empty函数进行过滤，如下所示（在 try.zorba.io 上测试）：

...
for $u in members($users)
let $tweets :=
  for $t in members($tweets)
  where $u."id" eq $t."user"."id"
  return $t
where  empty($tweets)
return $u."screen_name"

请注意，try.zorba.io 当前运行在 Zorba 2.9 上，这是一个旧版本。稳定、成熟的 JSONiq 版本附带最新的 Zorba 3.0，您可以下载。

使用 Zorba 3.0，查询可以像这样改进：

...
let $tweeting-user-ids := distinct-values($tweets[].user.id)
for $user in $users[]
where not $user.id = $tweeting-user-ids
return $user.screen_name