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

Table View: 
A Table View is a virtual table based on the result-set of an SQL statement. A Table View contains rows and columns, just like a real Table. 
 - ============================== -}

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

module 137d24905ee2d0ca where -- ========== Table View

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 362f3ca45b3b234b public -- Relational Entity

postulate
  TableView : ClassOfClassOfBoundedIndividual

postulate --  TableView is subTypeOf RelationalEntity
  st-137d24975ee2d1a3 : TableView ⊏⋆ₑ RelationalEntity

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