構造的データ

terminology 構造的データ

/* 参考：
 * セクションとタプル https://m-hiyama.hatenablog.com/entry/2022/06/14/153042
 */

vocabulary 構造的データ-明確 {
  {インデックス付けられた}?集合族
  インデックス集合
  定数値の集合族
  インデックス集合の要素
  集合族のセクション
  集合族のセクションの値
  定数値の集合族のセクション
}

context データベース for 構造的データ-明確 {
  テーブルスキーマ := 集合族
  カラム名 := インデックス集合の要素
  レコード := 集合族のセクション
  {レコードの}?カラム := 集合族のセクションの値
  属性名 = カラム名
  ロー = レコード
  属性 = カラム
}

context 構造体 for 構造的データ-明確 {
  構造体定義 := 集合族
  フィールド名 := インデックス集合の要素
  構造体 := 集合族のセクション
  {構造体の}?フィールド := 集合族のセクションの値
  メンバ{ー}? = フィールド
}

context 一般的 for 構造的データ-明確 {
  タプル := 集合族のセクション
  リスト := 定数値の集合族のセクション
  {成分 | 要素 | 項目 |  フィールド | メンバ{ー}?} := 集合族のセクションの値
  キー := インデックス集合の要素
  値 :=  集合族のセクションの値
  配列 = リスト
}