论文部分内容阅读
针对逻辑模型在查询和存储方面的不足，定义与其具有一致表示能力的关系模型，并将逻辑模型中以句子形式表示的逻辑约束转化为针对关系模型中逻辑关系的势的约束。根据模型的访问，以IEC61970所采用的数据访问接口DAF为例，在上述关系模型中给出基于关系代数的实现。研究结果表明，通过选择合理的关系模型，可以在保持逻辑模型丰富的表达能力的基础上，利用关系代数提高模型访问的效率，同时保证约束判定的有效性。