【摘 要】
：
完整性约束常用来定义数据库的数据语义,违反约束的数据库实例为不一致数据库,返回含有不一致结果的查询称为不一致查询。一致性查询目的在于不修改数据库实例而从不一致数据库获取满足约束的查询结果,已有方法因其支持的约束类型有限或计算复杂度高而影响其应用范围。提出了一种基于空值修复的数据库一致性查询方法,首先将原始完整性约束转换为与查询相关的统一约束,然后根据统一约束对原SQL查询进行查询重写,重写后的查询
【机 构】
：
中国科学院软件研究所软件工程技术中心,中国科学院研究生院,中国科学技术大学计算机科学与技术系
【基金项目】
：
国家“863”计划资助项目（2007AA01Z149,2007AA04Z148）,国家科技支撑计划基金资助项目（2006BAH02A08）
论文部分内容阅读
完整性约束常用来定义数据库的数据语义,违反约束的数据库实例为不一致数据库,返回含有不一致结果的查询称为不一致查询。一致性查询目的在于不修改数据库实例而从不一致数据库获取满足约束的查询结果,已有方法因其支持的约束类型有限或计算复杂度高而影响其应用范围。提出了一种基于空值修复的数据库一致性查询方法,首先将原始完整性约束转换为与查询相关的统一约束,然后根据统一约束对原SQL查询进行查询重写,重写后的查询将不一致属性值当做空值来处理以获得满足完整性约束的结果。系统实现与实验证明,该方法在多种完整性约束类型与
其他文献
阐述了水下超声速气体垂直过膨胀射流的准二维实验研究和射流的数值计算结果。利用高速摄影仪在1000帧/s的拍摄速度下实时记录了过膨胀工况下水下垂直射流的喷射状态,清晰显
提出了一种新型网络设备硬件构件生成方法和装置。通过开放的统一操作接口,该构件生成装置屏蔽了设备底层不同可重构硬件体操作接口的差异性。通过该装置中设置的构件生成方法,用户可较容易地开发出适应不同网络环境的硬件构件,不仅降低了网络设备的成本,而且增强了其灵活性和扩展性。
为了提升农产品质量安全管理水平,提出一种基于混合模式的农产品质量安全可追溯系统的集成方法。该方法采用C/S和B/S混合模式来构架系统,采用射频识别(RFID)和条码技术对产品进行标志、信息采集和传输,使用组件技术开发系统关键模块;最后以蔬菜为例,在对某企业实地调研的基础上,应用此方法开发了一套蔬菜质量安全可追溯系统。运行结果表明系统将供应链各部分有机联系,保证了农产品在整个供应链流动时信息流的准确
为了实现胸部医学图像的自动配准,提出了一种基于人工免疫及最大互信息的配准方法。首先定义了最优配准的目标函数,接着运用人工免疫算法,结合最大互信息熵函数产生最优的仿射变换系数,从而实现医学图像自动配准。该人工免疫算法中,抗原是指最大互信息熵目标函数,而抗体是指最优的仿射变换系数。实验证明该方法配准效果较好。
采用高精度B样条生成金字塔,大幅降低了计算复杂度,通过Parzen窗计算联合直方图并在此基础上导出目标函数的Hessian矩阵表达式,将具备二次收敛性的Newton方法引入到优化过程从而大大提高了配准速度。对普通光学和多谱图像的配准实验表明,该算法大幅提高了互信息模型下的配准速度,且精度较高。
受当前IPv6部署规模的限制,目前还不存在真实的大容量IPv6转发表,因此对各种相关算法的性能分析必须采用预测产生的转发表。通过对IPv6地址分配策略进行分析,提出了一种采用定点随机估计的方法来预测生成大容量路由表的方法。该方法具有简单、易捕获、易实现等优点,已经在相关研究中得到应用。
针对IEEE 802.16 OFDMA系统,提出了一种考虑运营收益并且动态调整预留信道的呼叫接纳控制算法。该算法将一个连接申请潜在的运营收益值作为接入优先级函数的因子,从而提高系统的运营收益;其次,算法根据系统内资源的使用情况动态调整预留信道,在降低系统掉话率的同时,也尽可能地将呼叫阻塞率保持在较低水平。将所提算法与传统接纳控制方法进行了仿真比较,结果表明该算法能够有效控制系统掉话率和阻塞率,达到
为了更好地滤除图像中多种类型的噪声污染,提出了一种新的图像混合自适应滤波器。该滤波器首先基于图像中每个像素八个方向上的基本梯度,及其3×3邻域窗口像素的结构和连通特性,提出了九条像素类型判别规则,把图像中的像素划分为脉冲噪声污染像素、边缘或细节像素和平滑区像素三类;然后,采用不同的子滤波器对这三类像素分别进行处理。同时,滤波器处理窗口的尺寸根据其处理像素的邻域结构和连通特性自适应选择。实验结果表明
现有的稀疏过完备表示的贪婪寻踪方法(如匹配寻踪、正交匹配寻踪等)的原子选取策略大多是针对一般性信号和字典的,对于一些具有特殊结构的信号和字典,其保稀疏性和收敛性较差。针对孤立奇异性信号和多尺度字典,基于分段正交匹配寻踪方法和小波变换的模极大理论,提出了分段脊寻踪方法。由于分段脊寻踪使用伪逆计算残差在局部字典下的最小l2范数解,给出了最小l2范数解是最小l0范数解的充要条件。数值实验进一步表明了分段
利用PIV技术对两种不同尺寸的中心突扩燃烧室在不同入口速度条件下的冷态流场进行了实验研究,测量并分析了流场结构与来流速度、突扩比、喷管收缩段等因素的关系。实验结果表