一种嵌入式关系模型的形式化描述

一种嵌入式关系模型的形式化描述 A Kind of Formal Sepcification of Nested\|Relations 姚昱 YAO Yu 1 first-author 陈莘萌 CHEN Xin\|meng 1 何炎祥 HE Yan\|xiang 1 武汉大学数学与计算机科学学院/软件工程国家重点实验室,武汉,430072 武汉大学数学与计算机科学学院/软件工程国家重点实验室,武汉,430072 College of Mathamatics and Computer Science/State Key Laboratory of Software Engineering, Wuhan University College of Mathamatics and Computer Science/State Key Laboratory of Software Engineering, Wuhan University 在 Ｎ Ｒ／ Ｔ 网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法 Based on NR/T net, we present a approach to model the behavior of nested relation database systems, and give an algorithm of transition firing of Petri net. 嵌入式关系 NR/T网 行为描述 Petri网 nested relations NR/T net behavior specification Petri net TP301.2 1999-03-01 2021-04-01 3