排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
本文先从软件工程的角度,探讨验证数据库说明的重要性.然后提出一种数据库说明的时序语言.一个数据库说明由静态约束、时序约束和操作描述组成.数据库是一个动态物体.它的演变是由操作序列建立的.本文介绍一种验证数据库说明的形式方法.该方法检查静态约束是否是协调的;操作描述的实现是否可在合法的数据库状态中应用,导致合法状态并且没有不良效应;最后,它检查容许操作序列都满足所有的时序约束. 相似文献
1