6.13.2.5 Period
6.13.2.5.1 Purpose¶
A validity interval for registry facts such as ownership and memberships. Each end carries an explicit state, so an open end, an unknown end and an unknown start are different things that the database can check.
6.13.2.5.2 Fields¶
6.13.2.5.3 Relationships¶
Used by
Entitlement.validityAnimalGroupMembership.periodExternalIdentifier.periodOwnership.periodSourceProducerEntity.validityDevice.validityDeviceAssignment.periodSourceFeed.validityFarmConfiguration.periodSyncRun.coverageOfficialSubmission.coverageReleaseSigningKey.validityMlDatasetSelection.periods
6.13.2.5.4 Rules & constraints¶
- Validity interval of a registry fact. Each end carries an explicit state, so the database can enforce it: no three-valued column, same shape as ObservedPeriod.
- Interval [
valid_from,valid_until): start included, end excluded. - Constraints between periods (no overlap, uniqueness over validity) are enforced with a range exclusion constraint on the known bounds. An unknown bound counts as unbounded in that check, which is the conservative reading: it can only make two periods overlap, never hide an overlap; the writer then raises a DataIssue (kind
impossible_sequence) instead of storing the row.