XQuery 3.0使用GROUP BY加WHERE条件检索符合规则的XML文件名

需求规则 #

检索指定集合内符合判定条件的XML文件路径：

• 文件内author元素为指定目标值时
• 若存在取值相同的type元素出现次数大于1
• 返回对应文件的存储路径

示例文件 #

• 正常文件good.xml（无重复type，不应被返回）：

<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<!-- OK -->
<books>
    <book>
        <author>Alice</author>
        <type>mystery</type>
    </book>
    <book>
        <author>Alice</author>
        <type>fantasy</type>
    </book>
</books>

• 异常文件not_good.xml（存在重复type，应被返回）：

<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<!-- NOT OK -->
<books>
    <book>
        <author>Alice</author>
        <type>horror</type>
    </book>
    <book>
        <author>Alice</author>
        <type>horror</type>
    </book>
</books>

原有写法说明 #

可运行但通用性差的硬编码写法 #

通过枚举所有type值分别计数实现，仅在type取值范围已知且极小时可用，无法适配未知type值场景：

for $books in collection('group_test')/books[
       count(.//book[author = 'Alice'][type = 'mystery']) > 1
    or count(.//book[author = 'Alice'][type = 'fantasy']) > 1
    or count(.//book[author = 'Alice'][type = 'horror']) > 1
]
return db:path($books)

错误的GROUP BY写法问题 #

原有分组写法无法返回结果的核心原因：

• 分组层级错误，直接在根节点层做全局分组，没有绑定单文档上下文
• 路径//book/type为绝对路径，会跨文档取值，导致分组逻辑完全失效
• 未在单文档维度对分组计数做判断

错误写法示例：

for $books in collection('group_test')/books[/book/author = 'Alice']
group by $type := //book/type 
where count($type) > 1
return db:path($books)

正确通用写法 #

以下两种写法均无需提前枚举type取值，适配任意type值场景，在BaseX 9.7 + XQuery 3.0环境下可直接运行。

写法1：量化判断实现（性能更优） #

for $docRoot in collection('group_test')/books
let $targetAuthor := 'Alice'
let $matchedTypes := $docRoot/book[author = $targetAuthor]/type
where some $t in $matchedTypes satisfies count($matchedTypes[. = $t]) > 1
return db:path($docRoot)

写法2：标准GROUP BY语法实现 #

注意：分组逻辑必须限定在单个文档的匹配book范围内，不能做跨文档分组

for $docRoot in collection('group_test')/books
let $targetAuthor := 'Alice'
let $duplicateTypes := (
  for $book in $docRoot/book[author = $targetAuthor]
  group by $type := $book/type
  where count($book) > 1
  return $type
)
where exists($duplicateTypes)
return db:path($docRoot)

内容的提问来源于stack exchange，提问作者kDjakman