{- ============================== 
   Copyright (c) 2024 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

Data Quality Policy: 

 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
{-# OPTIONS --cubical-compatible #-}

module 98159f6b5f682d1e where -- ========== Data Quality Policy

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 190c7429689664b5 public -- Policy
open import d7f90fc35f737c24 public -- Data Quality Measure Value
open import 98159fba5f682ded public -- Measurable Data Quality
open import d6cd2cea5ab98e5f public -- Information Entity

postulate
  DataQualityPolicy : ClassOfClassOfBoundedIndividual

postulate --  DataQualityPolicy is subTypeOf Policy
  st-76259c6b5f6c88e8 : DataQualityPolicy ⊏⋆ₑ Policy

-- == Relationships =======================

{- Target Threshold:  -}
postulate -- Relation: Target Threshold
  targetThreshold : classOfOrderedRelation  DataQualityPolicy DataQualityMeasureValue

{- Dimension:  -}
postulate -- Relation: Dimension
  dimension : classOfOrderedRelation  DataQualityPolicy MeasurableDataQuality

{- Concerned Information Entity:  -}
postulate -- Relation: Concerned Information Entity
  concernedInformationEntity : classOfOrderedRelation  DataQualityPolicy InformationEntity