Markdown for LLMs

aggregate-head-without-key

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# aggregate-head-without-key

Голова правила заполняется агрегатом, а отношение не объявляет key [§45.1](https://github.com/arxohq/law/blob/master/spec/SPEC.ru/08-part-viii-type-system.ru.md#451-relation-keys) — поданное делом сводное и пересчитанное значение истинны разом (DECISION-0105).

## Query

```lawq
from r in rules
where exists(f in fields
             where (f.node == r.id
                    and starts_with(f.field, "head.args")
                    and ends_with(f.field, ".kind")
                    and f.value in ["aggregate", "comprehension"]))
  and not exists(k in fields
                 where (k.node == r.head_predicate and starts_with(k.field, "keys")))
select r.head_predicate as node, r.id as rule, anchor(r.id) as anchors
```