搜索结果: 1-1 共查到“计算机科学技术 Confluence”相关记录1条 . 查询时间(0.078 秒)
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism
Behavior Database Production Rules Termination Confluence Observable Determinism
2016/5/24
Static analysis methods are given for determining whether arbitrary sets of database production rules are(1) guaranteed to terminate; (2) guaranteed to produce a unique nal database state; (3) guaran...