SCH-EUSR-04

[SCH-EUSR-04] The maximum of all subsets of ReceivingEndUsers MUST be lower or equal to FullSet/ReceivingEndUsers

About

ID

SCH-EUSR-04

Flag

fatal

Context

/eusr:EndUserStatisticsReport

Test

$empty or max(eusr:Subset/eusr:ReceivingEndUsers) le xs:integer(eusr:FullSet/eusr:ReceivingEndUsers)

Rules

• BR-EUSR-16 The Full Set End User Cardinality that have received datasets MUST be greater or equal to the Subset maximum End User Cardinality that have received datasets.

Syntax binding

• eusr:EndUserStatisticsReport / eusr:FullSet / eusr:ReceivingEndUsers