CIM逻辑模型的关系实现

合集下载

相关主题

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

中图分类号：Ｐ１Ｔ３１
ＣＭ逻辑模型的关系实现Ｉ
柳文，柳明
（广东工业大学土木与交通工程学院，广州５００；１１０６
２华南理工大学电力学院广东省绿色能源技术重点实验室，广州５０４）６０１
ｍｏｅ，ｓｄｆｎｄ．ｏｅｃｎｔａｎｓｉｏｉａｄｌｉｅｅＴｈｓｏｓｒｉｔｎｌｇｃｌｉｍｏｄｌｅ，ｗｈｉｈｔｋｈｏｍｆｌｇｉａｅｔｎｅ，ａｅｔａｓｏｍｅｎｏｃｎｔａｎｓｏｈａｄｎｌｏｃａｅｔｅｆｒｏｏｃｌｓｎｅｃｓｒｒｎｆｒｄｉｔｏｓｒｉｔｎｔｅｃｒｉａｆｓｍｅｒｌｔｄｌｇｃｌｒｌｔｎ．ｉｅｐｃｓｔｈｏｅａｅｏｉａｅａｉｓＷｔｒｓｅｔｏｔｅｍｏｅｃｅｓｔｅＤＡＦｉｔｒａｅｏｈｄｌａｃｓ，ｈｎｅｆｃ，ｗｈｉｈｉｈｓｃＣＩｎｅｆｃｆＩｃｓｔｅｂａｉＳｉｔｒａｅｏＥＣ６１７，ｉｅｌｅｙ０ｓｒａｉｄｂ９ｚｒｌｔｏｌｅａａｎｅａｅａｉｎａｇｂｒｓａｘｍｐｅＲｅｅｒｈｒｓｌｓｓｏｗｈｔｈｅｅｆｉｎｉｓｏｕｒｎｖａｌｂｌｔｏｓｒｉｔｖｒｆｃｔａｅａｑｉｅｙａｌ．ｓａｃｅｕｔｈｔａｆｉｅｃｅｆｑｅｙａｄａｉｉｉｏｆｃｎｔａｎｅｉａｉｃｎｂｃｕｒｄｂｔｃａｙｉｏｎｗｅｌｈｏｉｇｒｌｔｎｓｈｍｅｗｈｉｈｉｈｒｐｅｅｔｔｅａｉｉｆｌｇｃｌｏｅｓｓｉｅｅｖｄｌｃｏｓｎｅａｉｃｅｏ，ｌｔｅｒｃｅｒｓｎａｉｂｌｔｏｉａｄｌｔｌｓｒｅ．ｅｖｙｏｍｉｌｒ ’
第３７卷第８期
ＶＯ－７ｌ３
・
计
算
机
工
程
２１年４月０１
Ａｐｉ０１ｒｌ２１
Ｎwenku.baidu.com．８
ＣｏｍｐｔｒＥｎｉｅｒｎｕｅｇｎｅｉｇ
软件技术与数据库・
文章编号：０３２（１ｏ—０３＿文献标识码：１０＿４８０）＿４—ｏ２１８０４Ａ
摘
要：针对逻辑模型在查询和存储方面的不足，定义与其具有一致表示能力的关系模型，并将逻辑模型中以句子形式表示的逻辑约束转
化为针对关系模型中逻辑关系的势的约束。根据模型的访问，以ＩＣ６９０所采用的数据访问接口ＤＡＦ为例，在上述关系模型中给出基于Ｅ１７关系代数的实现。研究结果表明，通过选择合理的关系模型，可以在保持逻辑模型丰富的表达能力的基础上，利用关系代数提高模型访问的效率，同时保证约束判定的有效性。关健词：关系模型；公用信息模型；模型验证；模型访问；模型表示
ＬｂｒｔｒｆｅｎＥｎｒｙＴｃｎｌｇ，ｃｏｌｆＥｌｃｒｃＰｏｒＳｕｈＣｈｎｉｅｓｔｆｃｎｌｇ，ａｇｈｕ５１６０Ｃｈｎ）ａｏａｏｙｏａｅｇｅｈｏｏｙＳｈｏｅｔｉｗｅ，ｏｔｉａＵｎｖｒｉｙｏｈｏｏｙＧｕｎｚｏ０４，ｉａＣｌｏＴｅ
［ｂｔａｔｒｓｏｄｎｅｌｋｉｂｌｉｆｔｒｇｎｕｒ，ｅｔｎｓｈｍｅｗｈｃｗｎｅｄｎｉｌｅｒｓｎａｉｎｗｉＭｇｃｌＡｓｅｌＣｏｒｐｎｉｇｔｔｃａｉｔｓｏａｅｄｑｅｙａｒｌｉｅ，ｉｈｏｓｈｅｔａｒｐｅｅｔｔｔＣＩｌｉａｒｅｏｈａｎｉｅｏｓａａｏｃｔｉｃｏｈｏ
ＲｅａｉｎＩｐｌｍｅａｉｎ０ＭｌｔｏｍｅｎｔｔｏｆＣＩＬｏｇｃｌｏｌｉａｄｅＭ
ＬＩＷｅ，ＵｉＵｎＬＩＭｎｇ
ｆ．ｃｈ，ｆＣｉｉａｄＴｒｎｐｒａｉｎＥｎｉｅｒｎ，ａｇｏｇＵｎｖｒｉｙｏＴｃｏｏｙＧｕｎｚｏ００，１Ｆａｕ）ｏｖｌｎａｓｏｔｔｇｎｅｇＧｕｎｄｎｉｅｓｔｆｅｈｎｌｇ，ｏｉａｇｈｕ５１０６Ｃｈｉａ２．ａｇｎｙｎ；ＧｕｎｄｏｇＫｅ
［ｙｗｒｓｅａｉｎｍｏｅ；ｏＫｅｏｄｌｒｌｏｄｌｃｍｍｏｆｒｔｎｍｏｅ；ｄｌａｉａｉｎｍｏｅａｃｓ；ｄｌｅｒｓｎａｏｔｎｉｏｍａｉｄｌｍｏｅｖｌｔ；ｄｌｃｅｓｍｏｅｒｐｅｅｔｉｎｎｏｄｏｔ
ＤＯＩ１．９９．ｓ．０ —４８２１０５：０３６／ｉｎ１０３２．０１８ｊｓ００１