aggregate-head-without-key

Голова правила заполняется агрегатом, а отношение не объявляет key §45.1 — поданное делом сводное и пересчитанное значение истинны разом (DECISION-0105).

Query

LawQL

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