搜索结果: 1-2 共查到“计算机科学技术 Determinism”相关记录2条 . 查询时间(0.062 秒)
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...
A Capability Calculus for Concurrency and Determinism
Capability Calculus Concurrency Determinism
2016/5/24
We present a capability calculus for checking partial con-fluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be partially confluent than previou...