第十四章關(guān)聯(lián)對象訪問associativeobjectaccess-資料下載頁
2025-07-21 03:27本頁面
【正文】 產(chǎn)生 12個不同的 edge對象 ? 語句 3－ 4產(chǎn)生 24個點的并集－－為 8個不同的點 ? 語句 1－ 2產(chǎn)生 8個點 ?},{ 61.f ffe dge sf??嵌套查詢和路徑表達式 ? 如下抽象的類型模式 ? type T0 is … type Tn1 is type Tn is body body body [… ； [… ； […] A1: {T1}； An: {Tn}； … …] ； …] ； end type Tn … … end type T0 end type Tn1 ? 即元組類型 Ti通過它的屬性 Ai＋ 1產(chǎn)生對類型 Ti的引用 ? 一個嵌套查詢的 SFW表達式 ? 假如從引用鏈的始端 T0開始，到 Tn終止，查詢一個原子類型 SomeAttr的值，那么它的查詢?nèi)缦拢? – select from an in ( select from an1 in ( select from a1 in ( select from s in someSet ) )…) ? 利用路徑表達式，其查詢可以縮短為： – select from an in .….A n 嵌套查詢的數(shù)學表示 ? 數(shù)學上的表示：結(jié)果集合可以表示為并集 Un，其中 Ui被遞歸定義成： ?????????????? ????11.1:ii Uai n)if o r ( 1 Aia0)i f ( i s o m e S etiu不同的 Join類型 ? 不同類型的聯(lián)系 – 基于值的 Join：關(guān)系查詢傳統(tǒng)的 Join操作 – 標識 Join – 函數(shù) Join 基于值的 Join ? 傳統(tǒng)的連接操作，通過給定的 Join屬性的值的比較來聯(lián)系對象 ? 示例：查詢兩個 BRep對象，它們之間，第二個變量為第一個的兩倍 ? select , from b1 in BRep, b2 in BRep where * = +? ? 對象 b1， b2之間通過變量值來關(guān)聯(lián) 標識 Join同一 Jion ? 標識 Join基于對象的相等，而不是值相等，因此，是基于 OID值相等的連接 ? 示例 . – 謂詞 O1＝ O2表示 O1與 O2OID相等而不是 O1與O2的狀態(tài)相等 – 謂詞 O?Object當且僅當 O是 Object集合中的一個對象實例時為真，而不是說 Object中有一個對象狀態(tài)與 O的狀態(tài)相等 標識 Join示例 ? 父，母，子三個對象類型及其實例庫 ? type Man with extention is [name: string。...。hasKids:{Child}。]。 type WOMan with extention is [name: string。...。hasKids:{Child}。]。 type Child with extention is [name: string。...。father:Man。mother:Woman。]。 ? 查詢同一個父親的兩個孩子 C1， C2 ? select , form c1 in child。c2 in child where = and c1!=c2 ? 這里 ＝ ，而不是值相等 ? 如果是這樣的謂詞 Where = and c1!=c2 值相等查詢 ? 查詢一個孩子的父母親 ? select , from m in Man,w in Woman,c in Child where c in and c in ? 利用重載操作，測試對于 woman集合和 man集合，是否包含有同一個孩子的偶對。 ? 也可以通過孩子類型的引用點來完成上述查詢 ? select , from m in Man,w in Woman,c in Child where =m and =w 函數(shù)聯(lián)接 ? 利用引用鏈建立兩個對象集合間的聯(lián)接 ? 當引用路徑表達式中如果有集合屬性，則需要連接 ? 示例 select , from b in BRep, f in where 20 ? 范圍變量 b與 BRep類型對象集合捆綁，而 faces屬性與 b相關(guān)聯(lián)的 Face類集合 總結(jié) 面向?qū)ο蟮牟樵兣c關(guān)系查詢的區(qū)別 (1)查詢對象集 – 關(guān)系的元組 – 對象集，包括了繼承的子對象集 (2)謂詞表達：面向?qū)ο蟮牟樵冊谥^詞里允許類型屬性的引用鏈組成的路徑表達式。 (3)謂詞表達式允許對象的操作作為表達式的一個因子 (4)范圍變量允許由中間結(jié)果產(chǎn)生的集合來說明，即在 From子句中允許嵌套 SFW表達式 (5)標識 Join (6)函數(shù) Joi
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號-1