论文部分内容阅读
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基，给出了对任意一个公理系统求任意背景依赖基的方法，并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导背景，通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。
任意公理系统的依赖基
【摘 要】
：
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基，给出了对任意一个公理系统求任意背景依赖基的方法，并证明了每个公理系统的依赖
【机 构】
：
辽宁科技大学软件学院
【出 处】
：
计算机科学
【发表日期】
：
2013年2期
其他文献
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁