Re-visiting axioms of information systems
Re-visiting axioms of information systems
复制标题
重新审视信息系统公理
DOI：
10.1016/j.ic.2015.12.003
复制
发表时间：
2016-04
影响因子：
1
通讯作者：
Li Qingguo
中科院分区：
文献类型：
--
作者：
Huang Mengqiao;Zhou Xiangnan;Li Qingguo
在研究信息系统理论中公理的基础上，引入了简化连续信息系统的概念，它是连续信息系统的推广。与连续信息系统一样，它也是连续Domain的一种具体表示，并且范畴等价于连续Domain范畴和Scott连续函数范畴。更重要的是，所有类型的信息系统研究的文献中，到目前为止，变成了新的类型的特殊情况。通过定义线性信息系统及其蕴涵函数，我们证明了Scott型信息系统的状态恰好是其蕴涵函数的不动点。一些关于蕴涵关系的公理可以用对应的蕴涵函数的性质来刻画，特别是简化的连续信息系统仅由蕴涵函数的幂等性决定。
Based on the investigation of the axioms used in the theory of information system, the notion of simplified continuous information system is introduced which is considered as a generalization of continuous information systems. Just like the continuous information system, it is also a concrete representation of continuous domains and categorically equivalent to the category of continuous domains and Scott continuous functions. What is more, all types of information systems studied in the literature so far turn out to be special cases of the new type. By defining linear information systems and their entailment functions, we show that the states of a Scott-style information system are exactly the fixpoints of its entailment function. Some axioms about an entailment relation can be characterized by the properties of the corresponding entailment function, and in particular, the simplified continuous information systems are solely determined by the idempotence of entailment functions.
登录
查看更多内容
DOI：
10.1007/bfb0012801
发表时间：
1982-07
期刊：
ACM Transactions on Database Systems (TODS)
影响因子：
--
作者：
D. Scott
通讯作者：
D. Scott
DOI：
10.1007/3-540-13346-1_5
发表时间：
1984-06
期刊：
--
影响因子：
--
作者：
G. Winskel;K. Larsen
通讯作者：
G. Winskel;K. Larsen
影响因子：
9.9
作者：
Guo-Qiang Zhang;Gongqin Shen
通讯作者：
Guo-Qiang Zhang;Gongqin Shen
DOI：
10.1017/cbo9780511542725
发表时间：
2003-04
期刊：
--
影响因子：
--
作者：
G. Gierz;K. Hofmann;K. Keimel;J. Lawson;M. Mislove;D. Scott
通讯作者：
G. Gierz;K. Hofmann;K. Keimel;J. Lawson;M. Mislove;D. Scott
DOI：
10.1007/978-3-642-01815-2_23
发表时间：
2009-05
期刊：
--
影响因子：
--
作者：
R. Wille
通讯作者：
R. Wille