搜索结果: 1-1 共查到“数据库 Static Analysis Techniques”相关记录1条 . 查询时间(0.106 秒)
Static Analysis Techniques for Predicting the Behavior of Active Database Rules
Static Analysis Techniques Predicting Behavior Active Database Rules
font style='font-size:12px;'>
2016/5/24
Methods are given for statically analyzing sets of database production rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique nal database state, and (3) ...