安全数据库的推理控制

首先对按元素划分安全级的多级数据库上由函数依赖(FD)和多值函数依赖(MVD)引起的推理问题进行了研究,所提出的推理控制算法在很大程度上提高了数据的可用性.为进一步有效防范推理所导致的敏感信息泄露,给出了基于视图的推理控制方法.该方法能够处理多视图合谋带来的安全问题.最后给出了视图依赖基划分原理,它是以后有关视图推理控制的基础.     

连接依赖若干问题的讨论

一、引言关系数据库简单灵活,数据独立性高,理论严密,因此获得人们的普遍重视。在关系数据模型中数据必须满足一些约束条件,且数据的语义性质集中体现在依赖约束上。随着对关系数据理论研究的不断深入,已提出各种形式的数据依赖:函数依赖(FD)、多值依赖(MVD)、层次依赖(HD)、连接依赖(JD)等,并相应地给出第一到第五范式的定义。目前文献中对第一范式到第四范式观范化都有较充分的分析和论证,然而,对如何从第四范式规范为第五范式的过程仍缺乏详尽的合理论证,原因在于对连接依赖的定义不够严密,目前文献给出的连接依赖的定义,有时会导出不正确的结果。由于连接依赖是一种强有力的数据约束,从某种意义上讲,FD,MVD,HD 等都可视     

消除XML键数据冗余的相关规则

XML数据已经成为Internet上的主流数据,但目前大部分XML规范化理论局限在层次的冗余上,从数据库的角度出发,以XML键为中心结合函数依赖FD和多值依赖MVD描述XML数据间的约束;基于主键、副键分析不同情况下的数据冗余,给出相应的规范化规则,得到消除数据冗余的XML模式。     

关于嵌入型多值依赖集的蕴涵问题

本文讨论关系模式中函数依赖(FD)、多值依赖(MVD)、嵌入型多值依赖(EMVD)的推理规则,并研究嵌入型多值依赖与多值依赖间的逻辑蕴涵问题,证明了纯嵌入型多值依赖集不能逻辑蕴涵非平凡多值依赖。     

用于XML模式和DTD设计的层次分解

对于XML模式和DTD规范化设计,现在开展的研究不多,而且才刚起步。W.Provost提出将关系数据库理论应用于XML模式规范化设计的思想,这一思想还没有付诸实施。该文给出表示XML模式和DTD的层次模式和用于XML模式和DTD规范化设计的层次分解过程,并对产生的层次模式进行分析。在算法产生的层次模式中,完全MVD和嵌入MVD的集合由给出的MVD集合导出。     

XML多值依赖及其消除冗余模式的算法

从消除XML文档内数据冗余的角度出发研究了文档的规范化问题.首先引入XML上的数据冗余及其消除处理示例,同时基于函数依赖,提出了规范化的DTD概念和XML DTD 规范化处理规则;其次通过XML多值依赖的定义,给出用于消除冗余模式的算法;最后给出用于XML模式及其消除冗余模式的算法.该算法相应于其他XML模式的研究,在算法产生的层次模式中,完全MVD和嵌入MVD的集合由给出的MVD集合导出;并且产生的XML模式具有消除冗余模式和满足无损连接的特性.     

F有内部冲突满足P2且无α环模式分解的研究

在数据库模式的无α环分解中,当数据模式R〈W,F〉的FD集F有内部冲突时,无论F是否存在广义左、右部冲突均不存在满足保持FD、无损连接、BCNF和无α环的分解。在某些实际应用中的分解只满足部分条件就够了,在分析F有内部冲突时最小归并依赖集D的特性,给出了归并依赖集满足的条件∑1和∑2,在此基础上,讨论给出了满足P2（保持FD、BCNF）且无α环分解的充要条件和算法,对算法的正确性、可终止性进行了证明,并对算法的时间复杂度给出了分析。     

线性系统的H2/H-故障检测优化方法设计

针对一类具有未知扰动的线性系统的故障检测(FD)问题,通过对系统进行重构,设计出了系统的H2/H-优化FD观测器。利用构造的Lyapunov函数和线性矩阵不等式,证明并给出了FD观测器有解的充分条件和优化设计方法。所设计的观测器使系统具有渐近稳定性,抑制干扰能力强,满足所给的范数指标。仿真结果验证了所设计方法的有效性。     

FD环境下满足PS及无α环模式分解问题研究

通过分析在FD集F的最小归并依赖集存在弱左部或弱右部冲突时所具有的性质和特征，讨论并给出了满足PS(保持FD，无损连接且满足SNF)且无α环分解的充要条件和算法，对算法的正确性、可终止性进行了证明，并对算法的时间复杂度给出了分析。     

关于关系数据库中多值依赖的传递性

<正> 数据库逻辑设计的过程中,在已构造的实体一联系模式(entity-relationship model)的基础上,可以利用CEED(conceptual eleme-nt-element dependency)及CESD(conceptualelement-set dependency)进行概念依赖设计。这是分别用来表示一个数据元素在语义上决定另一个和另一组数据元素的两种语句,是更面向语义的依赖。而后,利用函数依赖FD和多值依赖MVD进行数据依赖设计。上述两个阶     

基于推理的安全数据库审计框架

信息技术的发展给安全数据库带来了新的挑战,各种安全策略明确以法律条文形式颁布,这要求采用有效的手段证实,对数据库的访问与安全策略的一致性,审计访问数据库的各种查询正好能实现这一目标,但常规的审计方法只能对单个查询的查询结果进行审计,而蓄意破坏的用户可能利用多个查询的查询结果进行推理采访问敏感信息,这就要求审计的同时也应具备基本的推理能力,提出了切实可行的安全数据库推理审计框架,该框架具有①MVD推理审计能力;②FFD推理审计能力;③FD推理审计能力,而且具有审计方法快速、准确、细粒度等特点．     

宽带电磁散射分析中的ZT-FDTD算法

讨论ZT-FDTD算法,针对其中的不足,提出使用基于Z变换的(FD)2TD算法计算色散半空间上三维有限长介质柱的宽带电磁散射特性.针对在不同极化及入射角情况下的宽带散射,运用(FD)2TD算法进行分析,将频域方程变换到Z域,再返回到时域进行差分计算,并给出仿真结果.     

关系数据库设计中存在的问题

在关系数据库逻辑设计中,数据依赖理论起着重要作用。数据依赖是关于属性联系的完整性约束。函数依赖理论把握了关系数据库设计的两个重要方面:数据语义和逻辑模式设计,所以取得了很大的成功。人们已经指出FD的若干问题,并且引入了许多新依赖作为FD的推广。这些新的数据依赖的语义和逻辑模式设计的研究,已经取得了很大的进展。遗憾的是,相互之间联系甚少。因此,当把函数依赖理论应用到实际关系模式设计中时,还存在若干问题。 我们认为这些尚未解决的问题,及根据FD设计关系数据库模式的问题(简称FD设计问题),都是很重要的,进而在本文中解决其中的某些问题。至于基于FD的设计问题,本文给出了一个构造方法。我们指出了众所熟知的Bernstein算法在某些情况下不总能获得最小的解。而我们的算法却圆满地解决了这个问题。此外,我们的算法所产生的关系集满足‘无损连接’的限制条件。本文还讨论如何用多值依赖把关系模式分解成Boyce-Codd范式(BCNF)。关于逻辑模式设计的原则,主要讨论了数据依赖的保持性,特别讨论了当关系被单独修改时,哪些依赖能够被保持,并且给出了保持依赖的若干条件。其目的在于取消‘泛关系假设’。至于数据语义问题,我们讨论了多值依赖的语义及不完整信息问题。     

数据库模式在FD环境下满足Ps及无α环判定问题

通过分析在FD集F的最小归并依赖集D存在弱左部或弱右部冲突时所具有的性质和特征,提出了PS(保持FD,无损连接且满足SNF)、条件T等概念。在此基础上讨论了数据库模式分解为SNF的无α环判定问题,给出了在D有弱左部或弱右部冲突及不满足条件T时满足PS的分解是有α环的结论,为进一步研究无α环的分解奠定了基础。     

有内部冲突的F的广义左、右部冲突判定算法

数据库数据组织的无环性是数据库理论和应用中一个重要特性．如何把数据库模式分解成无环性是一个比较复杂的问题，特别是在FD集F有内部冲突时无α环的分解问题．为了解决这一问题，讨论了有内部冲突的FD集F有广义左部冲突或广义右部冲突时和对称左部属性集之间的关系，以及对称左部属性集存在的条件和性质；给出了相关概念、定理及证明．在此基础上，给出了关于存在广义左部、右部冲突的判定算法，对该算法进行了正确性证明和算法分析．     

MAG810FD平以“镜”人——美格推出新款纯平显示器

9月1日,美格科技举行了主题为“美格终结恐珑时代”的美格纯平显示器降价活动,宣布大幅降低570FD、796FD和786FD三款纯平显示器的价格,570FD由2380元降至1999元,796FD由4499元降至3799元,786FD由3999元降至3499元,其中最大降幅为700元。此外,美格还推出了一系列新品,其中最为突出的是定位在中高端办公市场及专业图形处理领域的19寸的纯平显示器810FD。 MAG810FD采用了索尼新一代纯平面特丽珑显像管,提供了24mm的栅距、TC099认证(10-12 TCO涂层)行频110K、场频160HZ、带宽为230MHZ、在2048×1536的分辨率下可支持70HZ的刷新频率。810FD的OSD调节菜单支持中文显     

函数依赖集F有内部冲突的判定问题研究

在讨论数据库模式R(W，F)的无α环分解时，需要判定FD集F是否有内部冲突；在讨论无β，γ环的分解时也需要判定是否有内部冲突．为此，应当首先给出归并依赖集的二元组集合、闭包等概念；分别给出求解二元组集合及其闭包的多项式算法．在此基础上，讨论FD集F有内部冲突时的特征和相关条件，给出相应的有内部冲突的判定定理和算法，对算法进行了证明和分析．     

基于单片机的铁路机车信号发码器的设计

本文开发了一种新型的机车信号发码器,介绍了其工作原理和设计过程,包括硬件和软件部分,它基于DOS原理,利用C8051FD15单片机来实现其功能,并给出了技术指标。     

F有弱冲突时产生满足PBC且无α环分解的问题

无环分解是数据库数据组织的一个重要环节,在实际数据库设计中具有重要意义,为了深入研究它,该文分析了在FD集F的最小归并依赖集D存在弱左部或弱右部冲突时所具有的性质和特征,在此基础上讨论了它的模式分解问题,给出了在D有弱冲突时满足无损连接,保FD、BCNF的分解是有α环的结论,为进一步研究无α的分解奠定了基础。     

无内部冲突数据库模式满足P_3及无β环判定问题研究

通过分析在FD集F的最小归并依赖集D无弱左部冲突、弱右部冲突时相邻归并依赖所具有的性质和特征,提出了左部集冲突、蕴含集阃冲突和主归并依赖冲突等概念,在此基础上证明了在FD集F无内部冲突且最小归并依赖集D中存在弱左、右部冲突、左部集冲突、蕴含集间冲突和主归并依赖冲突时模式分解为满足P3为有口环的结论,并给出了左部集冲突、蕴含集间冲突和主归并依赖冲突的判定算法及分析,为进一步研究无β环的分解奠定了基础.