逻辑蕴含相关论文
硬件是软件、网络和信息系统的根源,然而随着集成电路(integrated circuit,IC)的日益发展及其设计制造的全球化,当前硬件设计的安......
1词语的定义问题在给词语定义时,往往会陷入循环定义的泥潭。如Saeed(1997:6)举了下面这个例子来说明词典编撰者在定义类似ferret(......
XML结构完整性约束（XSICs）描述了XML文档中节点或路径之间结构关系，这种约束可以看成是DTDs的扩展和补充．定义了元素排他性包含、必需......
在数据库设计中，依据函数依赖集的定义及Armstrong公理，求出的是一个可能存在冗余的函数依赖集。为了判断一个函数依赖是否为某一函......
