(高清版)GBT 16656.14-2023 工業(yè)自動化系統(tǒng)與集成 產(chǎn)品數(shù)據(jù)表達(dá)與交換 第14部分：描述方法：EXPRESS-X語言參考手冊

ICS25.040.40GB/T16656.14—2023/ISO10303-14:2005工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)EXPRESS-X語言參考手冊exchange—Part14:Descriptionmethods:TheEXPRESS-Xlanguagereference(ISO10303-14:2005,IDT) 布發(fā)71-03-20232023-10-01實施享受河星設(shè)會負(fù)服務(wù) V 1 1 1 1 23.3其他術(shù)語和定義 24基本原則 3 34.2執(zhí)行模型的基本原則 44.3實施環(huán)境 6 75.1EXPRESS-X的一致性類 7 8 97.1概述 9 9 9 98.2視圖數(shù)據(jù)類型 9 9.1概述 9.2綁定 9.3視圖聲明 9.4映射聲明 9.5模式視圖聲明 9.6模式映射聲明 9.7局部聲明 9.8常量聲明 IⅡ 10.2視圖調(diào)用 10.3映射調(diào)用 10.4部分綁定調(diào)用 10.6IF表達(dá)式 10.9反向路徑操作符 12.2模式視圖 12.4視圖和從屬視圖 12.8映射和從屬映射 12.10實例化循環(huán) 4612.11路徑表達(dá)式 13.2REFERENCE語言元素 附錄A(規(guī)范性)信息對象識別 附錄B(規(guī)范性)EXPRESS-X語言的語法 附錄C(規(guī)范性)EXPRESS-X到EXPRESS的轉(zhuǎn)換算法 附錄D(資料性)實施注意事項 附錄E(資料性)路徑操作符unnest函數(shù) 附錄F(資料性)映射表語義 參考文獻(xiàn) Ⅲ本文件按照GB/T1.1—2020《標(biāo)準(zhǔn)化工作導(dǎo)則第1部分：標(biāo)準(zhǔn)化文件的結(jié)構(gòu)和起草規(guī)則》的規(guī)定本文件是GB/T16656的第14部分。GB/T16656《工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交 第28部分：實現(xiàn)方法：EXPRESS模式和數(shù)據(jù)的XML表達(dá)(使用XML模式) 第43部分：集成通用資源：表達(dá)結(jié)構(gòu) 第45部分：集成通用資源：材料和其他工程特性 第46部分：集成通用資源：可視化顯示 第55部分：集成通用資源：過程與混合表達(dá) 第102部分：符合GB/T16656一致性規(guī)范的視圖交換協(xié)議 第503部分：應(yīng)用解釋構(gòu)造：幾何有界二維線框： 第505部分：應(yīng)用解釋構(gòu)造：圖樣結(jié)構(gòu)與管理 第508部分：應(yīng)用解釋構(gòu)造：非流形曲面 GB/T16656.14—2023/ISO10303-14:2005本文件等同采用ISO10303-14:2005《工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第14部分：本文件做了下列最小限度的編輯性改動：請注意本文件的某些內(nèi)容可能涉及專利。本文件的發(fā)布機(jī)構(gòu)不承擔(dān)識別專利的責(zé)任。本文件由中國機(jī)械工業(yè)聯(lián)合會提出。NGB/T16656.14—2023/ISO10303-14:2005GB/T16656是用于計算機(jī)解釋性表示和交換產(chǎn)品數(shù)據(jù)的國家標(biāo)準(zhǔn)，其目的是提供一種獨立于任GB/T16656《工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換》是一項由多個部分組成的標(biāo)準(zhǔn)，各部分單獨出版。GB/T16656《工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換》由以下系列組成：——第1至第19部分描述方法；——第20至第29部分實現(xiàn)方法；——第30至第39部分一致性測試方法與框架；——第40至第59部分集成通用資源；——第100至第199部分集成應(yīng)用資源； 第200至第299部分 第300至第399部分——第400至第499部分——第500至第599部分應(yīng)用解釋構(gòu)造；——第1000至第1999部分應(yīng)用模塊。本文件屬于GB/T16656的描述方法系列。假定使用本文件的讀者熟悉ISO10303-11中定義的數(shù)據(jù)規(guī)范語言和ISO10303-21中定義的純文V1GB/T16656.14—2023/ISO10303-14:2005工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第14部分：描述方法：EXPRESS-X語言參考手冊1范圍本文件規(guī)范了用于指定由EXPRESS模式描述的數(shù)據(jù)間關(guān)系的一種語言，以及用于規(guī)定由EXPRESS模式描述的數(shù)據(jù)的可替換視圖。該語言稱為EXPRESS-X。EXPRESS-X是一種結(jié)構(gòu)化數(shù)據(jù)映射語言。它由無二義性地規(guī)范EXPRESS模式之間關(guān)系的語言元素組成。以下內(nèi)容在本文件范圍內(nèi)： 從一個EXPRESS模式描述的數(shù)據(jù)向另一個EXPRESS模式描述的數(shù)據(jù)的映射 從一個EXPRESS模式的一個版本描述的數(shù)據(jù)向該EXPRESS模式的另一個版本描述的數(shù)據(jù) 用于數(shù)據(jù)共享和數(shù)據(jù)交換應(yīng)用程序的數(shù)據(jù)轉(zhuǎn)換器的要求規(guī)范； 由EXPRESS模式定義的數(shù)據(jù)的可替換視圖的規(guī)范； 應(yīng)用協(xié)議映射表的其他表示法； 數(shù)學(xué)上可能的雙向映射： 可以評估映射產(chǎn)生的數(shù)據(jù)的約束的規(guī)范。以下內(nèi)容不在本文件范圍之內(nèi)： 使用除EXPRESS之外的方式進(jìn)行定義的數(shù)據(jù)映射 標(biāo)識EXPRESS模式的版本； 用EXPRESS-X語言的結(jié)構(gòu)的圖形表示。2規(guī)范性引用文件下列文件中的內(nèi)容通過文中的規(guī)范性引用而構(gòu)成本文件必不可少的條款。其中，注日期的引用文件，僅該日期對應(yīng)的版本適用于本文件；不注日期的引用文件，其最新版本(包括所有的修改單)適用于GB/T16656.1--2008工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第1部分：概述和基本原理(ISO10303-1:1994,IDT)GB/T16656.11—2010工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第11部分：描述方法：EXPRESS語言參考手冊(ISO10303-11:2004,IDT)3術(shù)語和定義3.1GB/T16656.1—2008中定義的術(shù)語GB/T16656.1-2008界定的下列術(shù)語適用于本文件?！獢?shù)據(jù)；2GB/T16656.14—2023/ISO10303-3.2GB/T16656.11—2010中定義的術(shù)語GB/T16656.11-2010界定的下列術(shù)語適用于本文件。 復(fù)合實體(數(shù)據(jù)類型)實例-—常量； -—部分復(fù)合實體值； ——子類/超類圖；——標(biāo)記；——值。3.3.1來自源實體數(shù)據(jù)類型范圍和視圖范圍中的實例所構(gòu)造的一組綁定實例。3.3.2引用與視圖或映射關(guān)聯(lián)的實體數(shù)據(jù)類型實例和視圖數(shù)據(jù)類型實例的一種集合。3.3.3實體數(shù)據(jù)類型范圍entitydatatypeextent3.3.4能夠解析采用EXPRESS-X語言規(guī)范表示的工具。3.3.5根據(jù)EXPRESS-X語言規(guī)定的規(guī)范執(zhí)行結(jié)構(gòu)信息映射的工具。3.3.6一種或多種源實體數(shù)據(jù)類型或源視圖數(shù)據(jù)類型的數(shù)據(jù)與一種或多種目標(biāo)實體數(shù)據(jù)類型的數(shù)據(jù)之間3.3.7到多重目標(biāo)實體實例的映射。3GB/T16656.14—2023/ISO10303-14:20053.3.83.3.9選擇準(zhǔn)則selectioncriterion3.3.103.3.113.3.12通過映射生成的實體實例的一種集合。3.3.13EXPRESS模式中信息的一種組織方式。3.3.143.3.15視圖數(shù)據(jù)類型實例viewdatatypeinstance通過評估視圖而建立的一種命名信息單元。3.3.164基本原則以下原則適用于本文件；GB/T16656.11—2010第5章中描述的概念也適用于本文件。EXPRESS-X給出以下規(guī)定：——在模式視圖(見9.5)中使用視圖聲明(見9.3)區(qū)分由EXPRESS模式描述的數(shù)據(jù)的視圖；——使用模式映射(見9.6)中的映射聲明(見9.4),將由一個或多個源EXPRESS模式描述的數(shù)據(jù)映射到由一個或多個目標(biāo)EXPRESS模式描述的數(shù)據(jù)。4GB/T16656.14—2023/ISO10303-14:2005SCHEMA_VIEWmy_person_org_schema_view;REFERENCEFROMperson_and_org_schema;VIEWperson_org;FROMSELECTp:person;o:organization;-providesorderingname:STRING:=p.last_name;org:STRING:=o.department_name;END_VIEW;END_SCHEMA_VIEW;SCHEMAperson_and_org_schema;ENTITYperson;first_name:STRING;last_name:STRING;END_ENTITY;ENTITYorganization;department_name:STRING;END_ENTITY;END_SCHEMA;#1≠PERSON('James','Smith′);#2=PERSON('Fredrick','Jones');#31=ORGANIZATf(N('Engineering');#32=ORGANIZATION('Sales');此視圖和數(shù)據(jù)的綁定實例可以按如下方式編寫。綁定實例的概念在后面的條款中定義，不一定要理解該示例。但值得注意的是，每個綁定實例的第一個元素從person范圍提取，第二個元素從organi-zation范圍提取。此順序?qū)?yīng)于視圖的FROM語言元素中person和organization的描述順序：4.2執(zhí)行模型的基本原則本文件定義了一種語言和一種執(zhí)行模型。執(zhí)行模型由兩個階段組成：綁定過程和實例化過程。視圖和映射的評估共享一個公用的綁定過程，但是在實例化方面有所不同。綁定是一個給變量賦值的過程。綁定實例是一種結(jié)構(gòu)，用于綁定在視圖或映射聲明的FROM語言元素中聲明的變量。FROM語言元素引用源實體范圍和視圖范圍。綁定的值取自這些源范圍。每個綁定實例都是作為引用源擴(kuò)展區(qū)的笛卡爾積計算的集的成員。這樣計算的綁定實例集是給定源范圍的視圖或映射的綁定范圍。綁定實例的變量綁定為實例化過程中視圖或映射主體的求值提供了環(huán)境，其中綁定實例中引用的數(shù)據(jù)與在目標(biāo)總體中創(chuàng)建的結(jié)構(gòu)有關(guān)。因此，每個綁定實例對應(yīng)于目標(biāo)總體中的一個視圖數(shù)據(jù)類型實例(視圖)或目標(biāo)實體數(shù)據(jù)類型實例(映射)。映射和視圖的源范圍應(yīng)為實體數(shù)據(jù)類型范圍或視圖范圍。禁止引用源范圍之間的循環(huán)。示例1:應(yīng)用于4.1的示例中定義的視圖、數(shù)據(jù)和模式的綁定過程計算person_org{<#1,#31>,<#1,#32>,<#2,#31>,<#2,#32>}的綁定范圍。該范圍以表格形式描述如下：5GB/T16656.14—2023/ISO10303-14:2005BindingInstancePersonOrganization#first_namelast_name井department_nameJames'Smith'#31Engineering'James'Smith'#32Sales''FredrickJones'#31'Engineering《#2,井32)Fredrick''Jones'井32Sales'示例2:下面的schema_view是無效的；它包含一個引用循環(huán)(視圖a引用視圖b,視圖b引用視圖a)。SCHEMA_VIEWinvalid;VIEWa;FROMsome_b:b;attrl:INTEGER:≠some_b.attr2+2;END_VIEW;VIEWb;FROMsome_a:a;attr2:INTEGER:=some_a.attrlEND_SCHEMA_VIEW;4.2.3實例化過程綁定是一個將實例化過程用值賦予變量的過程。每個綁定實例提供一組要綁定到變量的值。視圖實例化過程是在綁定范圍內(nèi)為每個綁定實例計算視圖主體(見9.3.2)的過程。綁定實例的計算順序沒有進(jìn)行制定。32>,<#2,#31>,(#2,#32>}。該示例中使用的視圖聲明和數(shù)據(jù)在此處重復(fù)：VIEWperson_org;FROMp:person;o:organization;--providestheillustratedorderingSELECTname:STRING:=p.last_name;org:STRING:=o.department_name;END_VIEW;#1=PERSON('James','Smith');#2=PERSON('Fredrick','Jones′);#31=ORGANIZATION('Engineering');#32=ORGANIZATION('Sales');綁定實例<#1,#31>對應(yīng)于實體數(shù)據(jù)類型實例#1賦值給變量p,#31賦值給變量o。在這個綁定中，對視圖主體#100=PERSON_ORG('Smith','Engineering');#101=PERSON_ORG('Smith','Sales');#102=PERSON_ORG('Jones','Engineering');#103=PERSON_ORG('Jones','Sales');/*〈井1,#31>*//*〈#1,#32〉*//*〈#2,#31〉*//*〈#2,#32>*/SCHEMAsimilar_target;ENTITYperson_org;6GB/T16656.14—2023/ISO10303-14:2005name:STRING;REFERENCEFROMperson_and_org_schemaASSOURCE;MAPperson_org_mapASpo:person_org;p:person;對前一個示例的數(shù)據(jù)進(jìn)行求值，結(jié)果得到以下由模式similar_target描述的實體數(shù)據(jù)類型實例：#100=PERSON_ORG('Smith','Engineering');井101=PERSON_ORG('Smith','Sales');#102=PERSON_ORG('Jones','Engineering');#103=PERSON_ORG('Jones','Sales');/*〈#1,#31>*/當(dāng)映射(視圖)聲明主體賦值右側(cè)的表達(dá)式僅包含源實體的屬性引用(.),并且引用的屬性是顯式屬性時，該目標(biāo)實體屬性(視圖屬性)的映射是雙向的。示例3:MAPperson_org_mapASpo:person_org;p:person;:=p.last_name;--:=o.department_name;--bi-directionalpo.industry_code:=0.owning_enterprise.industry.code_num;-bi-directionalpo.dept_number:=dept_func(o.department_name);-possiblynotbi-directional屬性po.dept_number是否是雙向，取決于dept_func函數(shù)的性質(zhì)。4.2僅規(guī)定了執(zhí)行模型的基本方面。有關(guān)綁定過程的詳細(xì)信息，見9.2。9.3描述了視圖實例化過程的細(xì)節(jié)。映射的實例化過程的詳細(xì)信息在9.4中描述。EXPRESS-X語言不描述實現(xiàn)環(huán)境。特別地，EXPRESS-X沒有規(guī)定以下內(nèi)容：——如何解析對名稱的引用；-—如何對不符合EXPRESS模式的實例執(zhí)行映射。對視圖的求值得到視圖范圍。對映射的求值可能會在目標(biāo)數(shù)據(jù)集中生成實體實例。EXPRESS-X沒有明確說明在初始映射之后對源數(shù)據(jù)的修改可能對視圖范圍或目標(biāo)數(shù)據(jù)集產(chǎn)生的影響。7GB/T16656.14—2023/ISO10303-14:2005EXPRESS-X解析器或映射引擎實現(xiàn)的一致性類由實現(xiàn)所支持的語言的部分所定義。聲明按表1中的語言子集分類。聲明子集1子集2視圖聲明映射聲明關(guān)聯(lián)映射聲明常量聲明●功能聲明過程聲明規(guī)則聲明EXPRESS-X解析器或映射引擎的使用者應(yīng)聲明關(guān)于標(biāo)識符的數(shù)量和長度、處理的數(shù)字范圍以及5.1.2EXPRESS-X解析器的一致性類EXPRESS-X解析器的實現(xiàn)應(yīng)能夠解析與該實現(xiàn)相關(guān)聯(lián)的一致性類相符的、用EXPRESS-X編寫的任何形式化規(guī)范。如果EXPRESS-X解析器可以將特定級別的檢查(如5.1.4所定義)應(yīng)用到以EX-PRESS-X編寫的形式化規(guī)范中，則該解析器可以被認(rèn)為符合該特定級別(如5.1.4所定義)。符合EXPRESS-X解析器的一致性類1應(yīng)能解析來自語言子集1的所有聲明(見表1)。符合EXPRESS-X解析器的一致性類2應(yīng)能解析來自語言子集2的所有聲明(見表1)。符合EXPRESS-X解析器的一致性類3應(yīng)能解析可能出現(xiàn)在本文件中的所有聲明。5.1.3EXPRESS-X映射引擎的一致性類EXPRESS-X映射引擎的實現(xiàn)應(yīng)能夠執(zhí)行任何與該實現(xiàn)相關(guān)聯(lián)的一致性類相符的、用EXPRESS-X編寫的形式化規(guī)范。映射執(zhí)行針對一個或多個源數(shù)據(jù)集；這些數(shù)據(jù)集如何提供給映射引擎的規(guī)范不在本文件范圍之內(nèi)。符合EXPRESS-X映射引擎的一致性類1應(yīng)能執(zhí)行來自語言子集1的所有聲明(見表1)。符合EXPRESS-X映射引擎的一致性類2應(yīng)能執(zhí)行來自語言子集2的所有聲明(見表1)。符合EXPRESS-X映射引擎的一致性類3應(yīng)能執(zhí)行本文件中可能出現(xiàn)的所有聲明。5.1.4EXPRESS-X解析器的一致性檢查用EXPRESS-X編寫的形式化規(guī)范應(yīng)與以下指定的給定檢查級別一致。只有在對該規(guī)范進(jìn)行驗證GB/T16656.14—2023/ISO10303-14:2005此級別包括檢查形式化規(guī)范，以確保其在語法和引用上均有效。如果形式化規(guī)范符合擴(kuò)展附錄A中提供的主要語法規(guī)則(Syntax)所生成的語法，則在語法上有效。如果對EXPRESS-X項的所有引用均與第13章中定義的范圍和可見性規(guī)則一致，則形式化規(guī)范是引用有效的。該級別由第1級檢查和形式化規(guī)范的檢查組成，以確保其符合以下要求：——表達(dá)式應(yīng)符合第10章和GB/T16656.11—2010中第12章規(guī)定的規(guī)則；——賦值應(yīng)符合GB/T16656.11—2010中13.3規(guī)定的規(guī)則。所規(guī)定的“A大于B”形式的陳述相一致。這僅限于可以從文字和/或常量同時評估A和B的那些此級別包括形式化規(guī)范的檢查，以確保其符合本文件中指定的所有規(guī)定要求。6語言的規(guī)范語法本章規(guī)定了EXPRESS-X語言的語法表示標(biāo)記法。附錄B給出了EXPRESS-X語言的完整語法。部分語法規(guī)則在不同的條款中出現(xiàn)，以便說明具體語句的語法。這部分語法規(guī)則一般是不完整的，有時需要參考附錄B查找缺失的語法規(guī)則。本文件的語法規(guī)則都用矩形方框給出，方框中每條規(guī)則的左側(cè)都有一個唯一編號，用于語法規(guī)則之間相互引用。EXPRESS-X語言的語法定義采用派生的沃思語法標(biāo)記法(WirthSyntaxNotation,WSN)。以下給出標(biāo)記的約定以及WSN本身的定義。syntax={production}.production=identifier'='expression'..expression=term{''term}.term=factor{factor}.literal=''''character{character}''''.group='('expression')'.option='['expression']'.repetition='{'expression'}'.——要素中的標(biāo)識符表示出現(xiàn)在另一個產(chǎn)生式左邊的非終結(jié)符號，標(biāo)識符由字母、數(shù)字和下劃線組成。該語言中的關(guān)鍵詞是用標(biāo)識符僅由大寫字母組成的產(chǎn)生式表示的?！淖忠辉~表示不能進(jìn)一步擴(kuò)展的終結(jié)符號。文字是括在單引號中的獨立的字符序列。當(dāng)文字89GB/T16656.14—2023/ISO10303-14:2005●花括號′{}′表示零或多次重復(fù)；●方括號'[]′表示可選參數(shù)；●圓括號′()′表示括號中的這組產(chǎn)生式應(yīng)作為單一的產(chǎn)生式使用；以下符號用于表示整個字符集和某些難以顯——\a代表GB/T16656.1--2008中的任何字符；——\n代表換行符(取決于系統(tǒng))(見GB/T16656.1—2008第條)。EXPRESS-X的語言元素是在GB/T16656.11—2010的第7章中定義的EXPRESS語言的語言元EXPRESS-X的保留詞包括內(nèi)置常量、函數(shù)和過程的關(guān)鍵詞和名稱。EXPRESS的所有保留詞(GB/T16656.11—2010)均為EXPRESS-X的保留詞。保留詞不得用作標(biāo)識符。EXPRESS-X的附加保留詞在表2中有詳細(xì)說明。表2其他EXPRESS-X關(guān)鍵詞DEPENDENT_MAPEACHEND_SCHEMA_MAPIDENTIFIED_BYPARTITIONTARGETELSIFEND_SCHEMA_VIEWSCHEMA_MAPVIEWEND_DEPENDENT_MAPEND_VIEWMAPSCHEMA_VIEWEND_MAPEXTENTORDEREDSOURCEBY注：如果合法的EXPRESS標(biāo)識符是EXPRESS-X中的保留詞，則可以通過使用REFERENCE語言元素重新命名出現(xiàn)沖突的標(biāo)識符來映射使用該標(biāo)識符的模式(見13.2)。此處定義的數(shù)據(jù)類型以及EXPRESS語言(GB/T16656.11—2010的第8章)中定義的數(shù)據(jù)類型作一個標(biāo)識符。該標(biāo)識符引用了視圖數(shù)據(jù)類型。語法：230view_reference=[(schema_map_ref|schema_view_ref)'.']view_ref.GB/T16656.14—2023/ISO10303-14:2005VIEWcircle;FROMe:ellipse;WHERE(e.major_axis=e.minor_axis);radius:REAL:=e.minor_axis;centre:point:=e.centre;END_VIEW;本章定義EXPRESS-X中的各類聲明。EXPRESS-X聲明可創(chuàng)建一個新的EXPRESS-X項并將標(biāo)——view;——map;——dependentmap;——schemamap?！?procedure;—-rule。綁定范圍是由源實體數(shù)據(jù)類型范圍和視圖范圍中的實例構(gòu)造的一組綁是視圖或映射聲明的FROM語言元素中引用的范圍的笛卡爾積。值的綁定下返回TRUE的那些綁定實例組成。9.2.2綁定范圍FROM語言元素在綁定范圍中定義綁定實例的元素。FROM語言元素由一個或多個源參數(shù)組GB/T16656.14—2023/ISOview_decl=(root_view_decl|dependent_view_decl|subtype_view_decl).map_decl=MAPmap_idAStarget_parameter';'{target_parameter';'}(map_subtype_ofclausesxubtype_binding_headermap_decl_body)|(binding_headermap_decl_body{binding_headermap_decl_body})END_MAP';'.47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][where_clause][identified_by_clause][ordered_by_clause].90from_clause=FROMsource_parameter';'{source_parameter';'}.source_parameter=source_parameter_id':'extent_reference.83extent_reference=source_entity_reference|view_reference.source_parameter_ids在映射或視圖聲明的范圍內(nèi)應(yīng)是唯一的。綁定范圍被計算為FROM語言元素中引用范圍中實例的笛卡爾積。SCHEMAsource_schema;--Aname:STRING;VIEWitems_and_persons;responsible#1=ITEM(123,'Smith');#2=ITEM(234,'Smith');#33=PERSON('Jones');item_and_person的相應(yīng)綁定范圍是：{<#1,#33>,〈#1,#44>,〈#2,#33>,〈#2,#44>}。9.2.3綁定范圍的限定WHERE語言元素定義了綁定范圍中綁定實例的選擇條件。WHERE語言元素與FROM語言元素中標(biāo)識的源范圍一起定義了限定的綁定范圍。綁定是將值賦給變量的過程。將FROM語言元素的源參數(shù)綁定到綁定實例。WHERE語言元素的域規(guī)則表達(dá)式使用此綁定進(jìn)行計算。如果WHERE語言元素的所有域規(guī)則表達(dá)式的值都為TRUE,GB/T16656.14—2023/ISO10303-14:2005WHERE語言元素的語法定義在GB/T16656.11—2010的中規(guī)定。REFERENCEFROMsource_schema;VIEWitems_and_persons;FROMi:item;p:person;WHERE(='Smith′)OR(='Jones');(i.approved_by=);name:STRING:=;上述示例中數(shù)據(jù)對應(yīng)的限定綁定范圍為：{<#1,#44>,〈#2,#44>}.不包含identified_by_clause語言元素的映射或視圖的綁定實例用FROM語言元素中引用的范圍值(實體數(shù)據(jù)類型實例)進(jìn)行標(biāo)識。包含identified_by_clauses語言元素標(biāo)識的映射或視圖的綁定實例用語法規(guī)則108中的expression語言元素值進(jìn)行標(biāo)識。視圖調(diào)用(見10.2)和映射調(diào)用(見10.3)使用這107identified_by_clause=IDENTIFIED_BYid_parameter';'{id_parameter';'}.108id_parameter=[id_parameter_id':']expression.90from_clause=FROMsource_parameter';'{source_parameter';'}.198source_parameter=source_parameter_id':'extent_reference.用于映射聲明時，id_paramete個實例的上下文中計算該表達(dá)式會產(chǎn)生實例相等的結(jié)果(GB/T16656.11—2程為每個等價類生成一個視圖實例(視圖)或目標(biāo)網(wǎng)絡(luò)(映射)。SCHEMA_VIEWexample;REFERENCEFROMsome_schema;VIEWdepartment;FROMe:employee;IDENTIFIED_BYe.department_name;name:STRING:=e.department_name;END_VIEW;GB/T16656.14—2023/ISO10303-14:2005SCHEMAsome_schema;ENTITYemployee;name:STRING;department_name:STRING;END_ENTITY;END_SCHEMA;#1=EMPLOYEE('Jones','Engineering');#2=EMPLOYEE('Smith','Sales');#3=EMPLOYEE('Doe','Engineering');對于上述給定的視圖和實例集，存在兩個等價類：{<#1>,<#3>}和{<#2>},分別對應(yīng)于e.depart-視圖屬性(見9.3.2)和目標(biāo)實體屬性(見9.4.2)表示相應(yīng)視圖(視圖聲明)和目標(biāo)網(wǎng)絡(luò)實體(映射聲明)的屬性。通過計算相應(yīng)的expression(語法規(guī)則224)為這些屬性賦值。針對限定的綁定范圍內(nèi)的綁type':='expression';'.134map_attribute_declaration=[target_parameter_ref[index_qualifier][group_qualifier]'.!]attribute_ref[index_qualifier]':='expression';'.如果由identified_by_clause語言元素定義的等價類包含多個限定綁定實例，則expression的值計算如下：——如果存在expression(語法規(guī)則224)計算為確定值的綁定實例，并且如果所有此類確定值都相——如果對于兩個或多個綁定實例，對屬性表達(dá)式的求值會產(chǎn)生不確定、不相等的值(實例相等),或者如果所有求值都會產(chǎn)生不確定的值，則會為該屬性分配不確定的值。(*sourceschema*)(*targetschema*)SCHEMAsrc;SCHEMAtar;ENTITYemployee;ENTITYdepartment;name:STRING;employee:STRING;manager:STRING;manager:STRING;dept:STRING;dept_name:STRING;END_ENTITY;END_ENTITY;END_SCHEMA;END_SCHEMA;(*mappingschema*)SCHEMA_MAPexample;REFERENCEFROMsrcASsOURCE;REFERENCEFROMtarASTARGET;MAPdepartment_mapASd:department;FROMe:src.employee;IDENTIFIED_BYe.dept;SELECTGB/T16656.14—2023/ISO10303-14:2005d.employee:=;d.manager:=e.manager;d.dept_name:=e.dept;END_MAP;END_SCHEMA_MAP;#1=EMPLOYEE('Smith','Jones','Marketing');#2=EMPLOYEE('Doe','Jones','Marketing');給定上面的數(shù)據(jù)，目標(biāo)數(shù)據(jù)集包含一個實體實例，即#1=DEPARTMENT($,'Jones','Market-ing')。屬性department.dept_name是不確定的，因為此屬性的表達(dá)式求值為兩個不同的值('SmithORDERED_BY語言元素定義了對限定綁定范圍的綁定實例的排序。在相應(yīng)視圖或映射分區(qū)上的部分綁定調(diào)用(見10.4)根據(jù)ORDERED_BY語言元素對聚合求值(如果存在的話)。ORDERED_BY語言元素中的expression應(yīng)計算為分區(qū)中所有綁定的相同order-comparable類型的值。order-comparable類型包括NUMBER、BINARY、STRING以及ENUME的具象化。對綁定范圍的結(jié)果排序應(yīng)確保表達(dá)式(e<f)的計算結(jié)果不為FALSE,其中e和f分別是對綁定范圍任意兩個連續(xù)元素的expression計算(見語法規(guī)則148)產(chǎn)生的值，<是EXPRESS的值比較操作符(GB/T16656.11-2010的12.2.1)。如果指定了額外的expression語言元素，則對于每個后續(xù)的expression,流程描述將應(yīng)用于上一個expression的結(jié)果。語法：47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][whereclause][identified_by_clause][ordered_by_clause].148ordered_by_clause=ORDERED_BYexpression{','expression}';'b)子類視圖和映射分區(qū)不應(yīng)指定ORDERED_BY語言元素。子類視圖和映射分區(qū)應(yīng)該繼承定c)與類型層次結(jié)構(gòu)相關(guān)的視圖分區(qū)集合應(yīng)包含不超過一個ORDERED_BY語言元素。d)通過map_subtype_of_clause(見語法規(guī)則141)關(guān)聯(lián)的映射分區(qū)集合應(yīng)包含不超過一個OR-VIEWarm_person_role_in_organization;FROMpao:person_and_organization;ccdpaoa:cc_design_person_and_organization_assignment;WHEREccdpaoa.assigned_person_and_organization:=:pao;SELECTperson:person:=pao.the_person;GB/T16656.14—2023/ISO10303-14:2005org:organization:=pao.the_organization;role:label:=;END_VIEW;語法：228view_decl=(root_view_decljdependent_view_decl|subtype_view_decl)47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][where_clause][identified_by_clause][ordered_by_clause].90from_clause=FROMsource_parameter';'{source_parameter';'}.198source_parameter=source_parameter_id':'extent_reference.83extent_reference=source_entity_reference|view_reference.視圖數(shù)據(jù)類型的屬性表示視圖的屬性。視圖實例的屬性值計算為語法規(guī)則224的expression的值。視圖屬性的名稱，即語法規(guī)則224的view_attribute_id,代表了其關(guān)聯(lián)值在其出現(xiàn)的視圖上下文中所扮演的角色。語法：226view_attr_decl_stmt_list={view_attribute_decl}.224view_attribute_decl=view_attribute_id':'[OPTIONAL][source_schema_ref'.']basetype':=′expression';'.a)對語法規(guī)則224的執(zhí)行結(jié)果的賦值應(yīng)與視圖屬性的base_type兼容。b)在視圖聲明中聲明的每個view_attribute_id在該解碼器內(nèi)應(yīng)是唯一的。c)OPTIONAL表示屬性的值可能是不確定的。OPTIONAL的使用對執(zhí)行模型沒有影響。視圖分區(qū)是視圖范圍的子集。視圖范圍是其分區(qū)的并集。視圖聲明由一個或多個分區(qū)聲明組成，每個分區(qū)聲明都有自己的FROM和WHERE語言元素。VIEWarm_organization;PARTITIONa_single_person;FROMp:person;PARTITIONa_single_organization;FROMo;organization;PARTITIONa_person_in_an_organization;FROMpo:person_and_organization;GB/T16656.14—2023/ISO10303-14:2005228view_decl=(root_view_decl|dependent_view_decl|sub67dependent_view_d206subtype_view_decl=VIEWview_idsubtype_declaration';'subtype_binding_header203subtype_binding_header=[PARTITIONpartition_47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][wherea)如果視圖聲明中存在多個分區(qū)，則應(yīng)為每個分區(qū)提供partition_id。b)視圖聲明中的每個partition_id應(yīng)是唯一的。c)一個視圖聲明的所有分區(qū)都應(yīng)定義相同的屬性(包括名稱和類型)。d)一個視圖聲明的屬性在其每個分區(qū)中應(yīng)以相同的順序出現(xiàn)。省略FROM、WHERE和IDENTIFIED_BY語言元素的分區(qū)稱為常量分區(qū)。這樣的分區(qū)表示與源數(shù)據(jù)沒有對應(yīng)關(guān)系的單個視圖實例。VIEWperson:PARTITIONmary;SELECTname:STRING:='Mary'age:INTEGER:=22;PARTITIONjohn;SELECTname:STRING:='John';age:INTEGER:=23;從屬視圖是未定義屬性的視圖。從屬視圖的分區(qū)指定RETURNexpression(見語法規(guī)則67)。expres-sion的求值不應(yīng)產(chǎn)生AGGREGATE類型的值。計算出的值應(yīng)與base_type類型兼容(見語法規(guī)則67)。語法：228view_decl=(root_view_decl|dependent_view_decl|subtype_view_decl)67dependent_view_decl=VIEWview_id':'ba{binding_headerRETURNexpression}END_VIEW';'GB/T16656.14—2023/ISO10303-14:2005如果由從屬視圖的IDENTIFIED_BY語言元素定義的等價類包含多個限定綁定實例，則返回的值——如果對于兩個或多個綁定，RETURN表達(dá)式(語法規(guī)則67)產(chǎn)生不相等的值，則返回不確定WHERErc.colour='red';VIEWowner_name:STRING;FROMpo:petson;RETURN;EXPRESS-X允許將視圖指定為其他視圖的子類，其中子類視圖數(shù)據(jù)類型是其超類的具象化。這將在視圖數(shù)據(jù)類型之間建立繼承關(guān)系，其中子類繼承其超類的屬性和選擇條件。如果視圖包含SUB-TYPE語言元素，則它是子類視圖。子類視圖數(shù)據(jù)類型的范圍是由子類子類視圖從其超類視圖繼承屬性。屬性繼承應(yīng)遵循GB/T16656.11—2010中定義的屬性子類視圖聲明可以重新定義在其一個超類中找到的屬性。屬性重新定義應(yīng)遵循GB/T16656.11—2010中定義的屬性重新定義規(guī)則和約束。擇條件及其所有超類視圖都求值為TRUE,則該視圖實例的類型應(yīng)與子類視圖相對應(yīng)。228view_decl=(root_view_decl|dependent_view_decl|subtype_view_decl).206subtype_view_decl=VIEWview_idsubtype_declaration';'subtype_binding_header205subtype_declaration=SUBTYPEOF'('view_ref{','view_ref}′)'.203subtype_binding_header=[PARTITIONpartition_id';']where_clause.a)子類視圖的一個超類視圖應(yīng)該定義一個FROM語言元素。b)子類視圖的分區(qū)集應(yīng)是其超類視圖的分區(qū)集的子集。GB/T16656.14—2023/ISO10303-14:2005VIEWperson;PARTITIONfirst;WHEREcond9;任何以“k”為超類的子類視圖只能包含分區(qū)“second”。視圖聲明可以定義超類約束(見GB/T和視圖范圍的內(nèi)容沒有影響。16656.11—2010的9.2.5)。是否滿足超類約束對執(zhí)行模型語法：228view_decl=(root_view_decl|dependent_view_decl|subtype_view_decl)207supertype_constraint=abstract_supertype_declaration|supertype_rule.33abstract_supertype_declaration=ABSTRACTSUPERTYPE[subtype_constraint].204subtype_constraint=OF'('supertype_expression')'209supertype_factor=supertype_term{AN211supertype_term=view_ref|one_of|'('supertype_expression′)'147one_of=ONEOF'('supertype_expression{','supertype_expression}')'GB/T16656.14—2023/ISO10303-14:2005如果a的實例由于具有ABSTRACT關(guān)鍵詞而具有至少兩種類型(a和其他類型),并且由于ONE-OF關(guān)鍵詞而具有至少一種類型d或b和c的某種組合，則它是有效的。9.4映射聲明映射聲明支持兩個或多個EXPRESS模式的實體數(shù)據(jù)類型定義之間的對應(yīng)關(guān)系規(guī)范。該聲明支持從多個源實體數(shù)據(jù)類型定義到多個目標(biāo)實體數(shù)據(jù)類型定義的映射。_headermap_decl_body})END_MAPclause][identified_by_clause][orde203subtype_binding_header=[PARTITIONpar83extent_reference=source_entity_reference|view_refere語法規(guī)則136的map_id命名映射聲明。SCHEMAsource_schemaiENTITYpump;id,name:STRING;END_ENTITY;END_SCHEMA;SCHEMAtarget_schemaENTITYproduct;id,name:STRING;END_ENTITY;ENTITYproduct_related_product_category;name:STRING;products:SETOFproduct;END_ENTITY;END_SCHEMA;SCHEMA_MAPpump_mapping;REFERENCEFROMsource_schemaASSOURCE;REFERENCEFROMtarget_schemaASTARGET;MAPnetwork_for_pumpASGB/T16656.14—2023/ISO10303-14:2005pr:product;prpc:product_related_product_category;FROMp:pump;pr,id:=p.id;pr,name:=;:='pump';ducts:=[pr];新創(chuàng)建實例的屬性初始值是不確定的。如果沒有在映射的主體中分配屬性，則該值仍然是不確語法：136map_decl=MAPmap_idAStarget_parameter';'{target_parameter';'}(map_subtype_of_clausedecl_body})END_MAP';'.137map_decl_body=(entity_instantiation_loop{entity_instantiation_loop})|map_projectclauxe|(RETURNexprex-xion';'),tribute_ref[index_qu指定map_attribute_declaration語法元素的map_decl_body應(yīng)將值分配給目標(biāo)實體實例的屬性。表達(dá)式應(yīng)產(chǎn)生一個與目標(biāo)實體屬性兼容的賦值(見GB/T16656.11--2010的13.3)。指定RETURN的map_decl_body將計算在RETURN關(guān)鍵詞之后指定的表達(dá)式。求值將導(dǎo)致與目標(biāo)參數(shù)定義的實體數(shù)據(jù)類型兼容的目標(biāo)實體實例的實例化。所有目標(biāo)參數(shù)的實體實例應(yīng)被實例化。9.4.3單個綁定實例下的迭代對映射的求值可能會生成目標(biāo)實體數(shù)據(jù)類型實例的聚合。聚合的初始值不確定。instantiation_loop_control和repeat_control提供以下迭代形式： 在EXPRESS聚合的實例集合上進(jìn)行迭代；——遞增數(shù)值變量的迭代。77entity_instantiation_loop=FORinstantiation_loop_control';'map_p171repeat_control=[increment_control][while_21GB/T16656.14—2023/ISO10303-14:2a)map_project_clause語言元素(見語法規(guī)則了所有循環(huán)變量variable_id(見語法規(guī)則118)。b)在IN之前由variable_id隱式聲明的變量的類型(見語法規(guī)則118)是表達(dá)式的類型。c)在INDEXING之后(見語法規(guī)則118)由variable_id隱式聲明的變量的類型為INTEGERINDEXING之后的variable_id(見語法規(guī)則118)在第一個迭代周期的開始處初始化為一個，并在repeat_control語法元素允許通過EXPRESS語言repeat_control在單個綁定實例下進(jìn)行迭代(見GB/T16656.11—2010的13.9)。SCHEMAsrc;SCHEMAtaENTITYparent;ENTITYparent;number_of_children:INTEGER;END_ENTITY;END_ENTITY;ENTITYchild;END_SCHEMA;END_ENTITY;END_SCHEMA;SCHEMA_MAPexample;REFERENCEFROMsrcASSOURCE;REFERENCEFROMtarASTARGET;MAPparent_mapAStp:tar.parent;FROMsp:src.parent;END_MAP;MAPchildren_mapASc:AGGREGATEOFchild;FROMp:src.parent;FORi:=1TOp.number_of_childrenEND_MAP;變量，并且可選地將該元素的索引位置綁定到一個迭代器程序變量。這些變量綁定的范圍包括map_project_clause。CHEMAtar;ENTITYitem_version;item_id:INTEGER;version_id:INTEGER;END_ENTITY;END_SCHEMA;ENTITYitem_with_versions;id:INTEGER;id_of_versions:LISTOFINTEGER;END_ENTITY;END_SCHEMA;SCHEMA_MAPmapping_schema;REFERENCEFROMsrcASSOURCE;REFERENCEFROMtarASTARGET;MAPitem_version_mapASiv:AGGREGATEOFitem_version;FROMiwv:item_with_versions;FOREACHversion_iteratorINiwv.id_of_versionsINDEXINGi;SELECTiv[i].item_id:=iwv.id;iv[i].version_id:=version_iterator;END_MAP;END_SCHEMA_MAP;#1=ITEM_WITH_VERSIONS(1,(10,11,12));#1=ITEM_VERSION(1,10);#2=ITEM_VERSION(1,11);#3=ITEM_VERSION(1,12);instantiation_foreach_control語法元素可以使用可選的AND語法指定許多表達(dá)式(見語法規(guī)則聚合的variable_id。136map_decl=MAPmap_idAStarget_parameter';'{target_parameter_headermap_decl_body})END_MAP';47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][where_clause][identified_by_clause][ordered_by_clause].a)如果映射聲明中存在多個分區(qū)，則應(yīng)為每個分區(qū)提供一個partition_id。b)映射聲明中的每個partition_id應(yīng)是唯一的。(*sourceschema*)(*targetschema*)SCHEMAsrc;SCHEMAtar;22GB/T16656.14—2023/ISO10303-14:2005ENTITYstudent;name:STRING;END_ENTITY;ENTITYemployee;name:STRING;END_ENTITY;END_SCHEMA;ENTITYperson;name:STRING;END_ENTITY;END_SCHEMA;(*mappingschema*)SCHEMA_MAPexample;REFERENCEFROMsrcASSOURCE;REFERENCEFROMtarASTARGET;MAPstudent_employee_to_personASp:tar.person;PARTITIONstudent;FROMs:src.student;SELECTPARTITIONemployee;FROMe:src.employee;SELECT:=;END_MAP;END_SCHEMA_MAP;映射聲明可以組織成類型/子類層次結(jié)構(gòu)。子類映射聲明可以擴(kuò)展由其超類映射創(chuàng)建的實體實例標(biāo)屬性分配的規(guī)范由其子類映射繼承。通過這些方法，可以在映射聲明中復(fù)制目標(biāo)模式中存在的繼承136map_decl=MAPmap_idAStarget_parameter';'{target_parameter_clausesubtype_binding_headermap_decl_body)|(binding_headermap_decl_body{binding_headermap_decl_body})END_MAP';'.141map_subtype_of_clause=SUBTYPEOF'('map_reference)'';'.——如果子類映射聲明的WHERE規(guī)則及其所有超類映射的WHERE規(guī)則求值為TRUE,則應(yīng)——子類映射聲明繼承來自其超類映射聲明的所有目標(biāo)參數(shù)?！宇愑成渎暶骺梢灾匦侣暶髌涑愑成涞娜魏文繕?biāo)參數(shù)的類型。重新聲明的目標(biāo)參數(shù)的類型應(yīng)是在其超類映射中聲明的目標(biāo)參數(shù)的每種類型的具象化。具象化規(guī)則是GB/T16656.11—2010中9.2.6定義的規(guī)則?！宇愑成渎暶骺梢酝ㄟ^聲明附加target_parameter中的參數(shù)不同的參數(shù)來添加新的目標(biāo)參數(shù)。的target_parameter_id與其超類映射聲明GB/T16656.14—2023/ISO10303-14:2005——如果超類映射聲明了目標(biāo)類型為選擇(SELECT)(見GB/T16656.11—2010的8.4.2)、通用(GENERIC)(見GB/T16656.11—2010的)或聲明為抽象(ABSTRACT)的實體數(shù)據(jù)類型的目標(biāo)參數(shù)(見GB/T16656.11—2010的),并且不會執(zhí)行重新定義此目標(biāo)參數(shù)的于子類映射是否引用在超類映射中聲明的target_parameter_id語法元素或是否聲明其他的target_pa-rameter_id語法元素。子類映射可能會引入在任何超類映射中均未定義的target_parameter_id。在這子類映射可以引用一個目標(biāo)屬性，該目標(biāo)屬性在其超類之一(可能通過多個繼承級別)中被引用以的選擇標(biāo)準(zhǔn)。子類映射應(yīng)僅具有一個直接超類映射。體的類型為t_project,可能是其子類之一in_house_project和external_project。在超類映射(project_map)中使用的SCHEMAsource_schema;ENTITYs_project;name:STRING;project_type:STRING;cost:INTEGER;price:INTEGER;vendor:STRING;END_ENTITY;END_SCHEMA;SCHEMAtarget_schema;ENTITYt_projectSUPERTYPEOF(ONEOF(in_house_project,external_project));name:STRING;cost:INTEGER;management:STRING;END_ENTITY;ENTITYin_house_projectSUBTYPEOF(t_project);END_ENTITY;ENTITYexternal_projectSUBTYPEOF(t_project);price:INTEGER;END_ENTITY;END_SCHEMA;SCHEMA_MAPexample;REFERENCEFROMsource_schemaASSOURCE;REFERENCEFROMtarget_schemaASTARGET;2425GB/T16656.14—2023/ISO10303-14:2005MAPproject_mapAStp:target_schema.t_project;FROMp:source_schema.s_project;tp.costEND_MAP;MAPin_house_mapAStp:target_schema.in_house_project;SUBTYPEOF(project_map);WHERE(ject_type='inhouse');SELECTacctstp.management:=IF(p.cost〈50000)THEN'smallacctsELSE'largeaccts'END_IF;ENDMAP;MAPext_mapAStp:target_schema.external_project;SUBTYPEOF(project_map);WHERE(ject_type='externat);SELECTtp.price:=p.price;tp.management:=p.vendor;END_MAP;END_SCHEMA_MAP;超類映射可以定義實體實例化循環(huán)。這種超類映射的子類映射應(yīng)繼承這些實例化循環(huán)。實例化循環(huán)的主體可以重新定義。使用實例化循環(huán)的超類映射主體和子類映射主體之間的對應(yīng)關(guān)系是通過使用相同的索引標(biāo)識符來完成的。繼承循環(huán)的子類映射的映射主體應(yīng)引用其超類映射中定義的相同索引標(biāo)SCHEMAsource_schema;ENTITYpart;name:STRING;no_of_versions:INTEGER;is_assembly:BOOLEAN;END_ENTITY;END_SCHEMA;SCHEMAtarget_schema;ENTITYproduct;name:STRING;END_ENTITY;ENTITYproduct_version;version_id:INTEGER;of_product:product;END_ENTITY;GB/T16656.14—2023/ISO10303-14:2005ENTITYproduct_definition;name:STRING;of_version:product_veEND_ENTITY;REFERENCEFROMtarget_schemaASTARGET;pvw:AGGREGATEOFproduct_definition;pver:AGGREGATEOFproduct_version;FROMFORi:=1prt:part;TOprt.no_of_versions;pver[i].version_id:=i;pver[i].of_product:=pro;pvw[i].of_version:=pver[i];pvw[i].name:='viewofpart'+;:='part'+prt.,name;SUBTYPEOF(super_map);WHEREprt.is_assembly=TRUE;pvw[i].name:='viewofassembly'+;:='assembly'+;END_MAP;END_SCHEMA_MAP;214target_parameter=target_parameter_id{','target_parameter_i78entity_reference=[(source_schema_ref|target_schema_ref|schema_ref)'.']entity_ref.2627 GB/T16656.14—2023/ISO10303-14:2005a)每個entity_ref應(yīng)是對在當(dāng)前范圍內(nèi)可見的實體數(shù)據(jù)類型定義的引用。b)引用的復(fù)雜實體數(shù)據(jù)類型應(yīng)描述目標(biāo)模式內(nèi)的有效域(見GB/T16656.11—2010附錄B)。c)在target_entity_reference中，最多應(yīng)有一個給定的entity_reference。d)對于在target_entity_reference中聲明的每個entity_reference,均不得聲明其超類。SCHEMAsource_schema;ENTITYpump;id,name:STRING;END_ENTITY;END_SCHEMA;SCHEMAtarget_schema;ENTITYitemABSTRACTSUPERTYPEOF(ONEOF(product,kitchen_appliance));END_ENTITY;ENTITYproductSUBTYPEOF(item);id,name:STRING;END_ENTITY;ENTITYkitchen_appliance