论文部分内容阅读
介绍了利用析取范式进行查询分解的算法,该分解方法在语义分析和规范化的基础上,对查询语句进行重组,可以大幅度地减少连接运算的时间,提高查询效率。
异构空间数据系统查询分解算法的研究
【摘 要】
：
介绍了利用析取范式进行查询分解的算法,该分解方法在语义分析和规范化的基础上,对查询语句进行重组,可以大幅度地减少连接运算的时间,提高查询效率。
【机 构】
：
南阳师范学院计算机系,河南省计算中心
【出 处】
：
计算机应用研究
【发表日期】
：
2007年12期
【基金项目】
：
北京市教委科技发展计划资助项目（KM200410005005）
其他文献
介绍了基于IDL和.NET集成的可视化程序设计方法。通过在VB.NET中集成IDLDrawWidget控件,方便、高效地建立了可视化系统原型。实践表明,在可视化应用领域中,IDL和.NET结合编程实现了优势互补,具有较高的实用性。
通过对BitTorrent用户一段时间内的行为统计分析,把握用户的行为特征。在此特征的基础上,提出一种BitTorrent缓存模式,更大程度地利用缓存空间,提高缓存命中率,减轻网络运营商的出口压力。
以Gauss-Gibbs随机场模型为图像的先验概率模型,运用自适应规整化的最大后验概率(MAP)方法进行图像超分辨率重建。通过对先验概率分布参数的估计,对图像超分辨率重建求解进行自适应规整化,从而提高重建图像的质量。实验结果表明,该算法能较好地再现图像的各种边缘信息,重建的高分辨率图像在峰值信噪比和视觉效果方面都得到明显提高。
在MPI的工作环境下对液体火箭发动机内的复杂燃烧流场进行了数值模拟,采用MPE性能监测库在MPI并行计算环境下对燃烧应用软件进行可视化监控分析,研究了液体火箭发动机燃烧过程仿真程序的并行计算性能,通过在NOW环境下的测试提出了提高应用软件性能的编程策略,有助于对发动机稳态和不稳定燃烧仿真程序进行高效并行算法研究。
设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。
基于.NET技术和工作流原理,通过分析企事业单位日常办公流程提出了工作流的两种基本模型,并讨论了两种模型的优缺点,指出在实际系统中要综合考虑这两种模型———混合模型。探讨了W eb办公自动化模型的具体实现方法,并实现了W eb办公自动化系统,此系统的实现为异地办公及跨企业,甚至是跨国间的合作办公提供了良好的工作基础。
对小波变换本质进行分析,得出小波是将序列收敛的商空间逼近改造成按级数收敛的商空间逼近的结论。将商空间粒度计算理论与小波变换相结合并应用于纹理图像分割中,取得了成功。