面向对象数据模型中聚集语义和覆盖语义的ERL语言描述 |
| |
引用本文: | 杨韬,刘惟一,田雯.面向对象数据模型中聚集语义和覆盖语义的ERL语言描述[J].云南大学学报(自然科学版),2000,22(1):5-8. |
| |
作者姓名: | 杨韬 刘惟一 田雯 |
| |
作者单位: | 云南大学计算机科学系!云南昆明650091 |
| |
基金项目: | 国家自然科学基金!资助项目 ( 6 976 3 0 0 3 ),云南省自然科学基金!资助项目 ( 97F0 14M ) |
| |
摘 要: | 针对ERL描述的语义种类不齐全的问题,在ERL已能处理的语义约束之处,又给出了聚集语义、覆盖语义的描述和可满足性的判定方法。
|
关 键 词: | ERL 语义约束 覆盖语义 聚集语义 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|