SCH-EUSR-22

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

About

ID

SCH-EUSR-22

Flag

fatal

Context

/eusr:EndUserStatisticsReport

Test

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

Rules

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

Syntax binding

• eusr:EndUserStatisticsReport / eusr:FullSet / eusr:SendingOrReceivingEndUsers