NDL子模式定義語言(數(shù)據(jù)庫)

時間：2022-11-04 08:30:01 | 來源：信息時代

時間：2022-11-04 08:30:01 來源：信息時代

    NDL子模式定義語言 : 定義網(wǎng)狀數(shù)據(jù)庫子模式的命令集合,用于定義網(wǎng)狀數(shù)據(jù)模型中的子模式部分,也是網(wǎng)狀數(shù)據(jù)庫語言(NDL)標準的主要組成部分。網(wǎng)狀數(shù)據(jù)庫語言標準規(guī)定:網(wǎng)狀數(shù)據(jù)庫的子模式是使用NDL子模式定義語言說明的持久對象。子模式是模式的子集,可以有任意多個。子模式是DBA對用戶所關(guān)心的數(shù)據(jù)庫視圖的描述,供用戶的應(yīng)用程序使用,所以子模式也稱為用戶視圖或用戶模式。
NDL子模式定義語言給出子模式名以及它所對應(yīng)的模式名,定義模式到子模式的映射,以及說明子模式所包含的數(shù)據(jù)庫用戶視圖的邏輯結(jié)構(gòu)和內(nèi)容。它允許改變模式中定義的記錄、系和其中的數(shù)據(jù)項的名字,交換它們的順序,組合或分解數(shù)據(jù)項。
網(wǎng)狀數(shù)據(jù)庫語言標準中的子模式定義語言(subschema DL)與DBTG報告中的子模式數(shù)據(jù)描述語言(subschema DDL)在功能上都是用來定義網(wǎng)狀數(shù)據(jù)庫的子模式,在總體格式上也基本相同。一般包括:
首部: 定義子模式及其相關(guān)模式的名字。
映射部: 給出模式到子模式的轉(zhuǎn)換,以及它們之間改變了的名字的對應(yīng)關(guān)系。
結(jié)構(gòu)部: 定義子模式所涉及的存儲區(qū)域、記錄和系。
NDL子模式定義語言的語法表示法是BNF(巴科斯范式或巴科斯一諾爾范式),這種格式便于理解整個NDL子模式定義語言的句法。在NDL子模式定義語言中,定義一個子模式的命令格式為:
〈子模式〉::=〈subschema name子句〉{〈記錄視圖〉|〈系視圖〉}...
它表示一個子模式是一個用戶視圖,是對用戶程序的存取〈模塊〉有效的那部分數(shù)據(jù)庫的邏輯描述。它由一個〈subschema name子句〉、一個或多個〈記錄視圖〉和/或〈系視圖〉定義。其中:
〈subschema name子句〉: 唯一地命名一個子模式,并指定與該子模式處于同一環(huán)境內(nèi)的源模式,即與該子模式相關(guān)聯(lián)的源模式,或者說該子模式是其源模式的子集。
〈記錄視圖〉: 指明包含在該子模式中的記錄結(jié)構(gòu)和存儲區(qū)域,并申明該記錄是否為源模式中指定的記錄,或是一個已被重新命名的〈重命名記錄〉。
〈系視圖〉: 指明包含在該子模式中的一個系,并申明該系是否為源模式中指定的一個系,還是一個已被重新命名的〈重命名系〉。
在NDL子模式中,〈記錄視圖〉指明一個給定〈記錄類型〉的有效的〈成分類型〉,〈成分類型〉定義一個有相同〈數(shù)據(jù)類型〉成分的出現(xiàn)值的集合。成分或是數(shù)據(jù)項或是數(shù)據(jù)項的數(shù)組。一個數(shù)據(jù)項含有一個單個值,數(shù)組由若干個數(shù)據(jù)項序列組成。〈系視圖〉指明一個有效的〈系類型〉?！从涗浺晥D〉和〈系視圖〉一起決定各個〈系類型〉有效的成員〈記錄類型〉。