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

NoSQL Field: 
A NoSQL Field is a Physical Data Property that is the specification of the content of a NoSQL Dataset.NoSQL Fields can be  reused  by multiple NoSQL Datasets where they play the role of Identification MetaField, Relationship MetaField or Value MetaField.A NoSQL Field can be :1) a Primitive Type that defines the data type of a field, such as  string  or  integer .2) a Simple Field that defines a simple value such as  customer name  or  delivery date . Simple Fields are often described by their name, primitive type and length.3) a Structured Field that defines complex values such as  address .
 - ============================== -}

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

module 254e4dd45f7f8749 where -- ========== NoSQL Field

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import e6f220d45f771837 public -- Physical Data Property
open import 8180baa3600110c8 public -- NoSQL Element

postulate
  NoSQLField : ClassOfClassOfBoundedIndividual

postulate --  NoSQLField is subTypeOf PhysicalDataProperty
  st-254e4fcf5f7f8a54 : NoSQLField ⊏⋆ₑ PhysicalDataProperty

postulate --  NoSQLField is subTypeOf NoSQLElement
  st-cd7a52a95ff3e6a7 : NoSQLField ⊏⋆ₑ NoSQLElement

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

{- Super Meta Field:  -}
postulate -- Relation: Super Meta Field
  superMetaField : classOfOrderedRelation  NoSQLField NoSQLField