共查询到10条相似文献，搜索用时 0 毫秒
1.
基于非一致性关系数据库的非聚集查询技术,发展普通的一致性查询应答的语义,提出非一致性数据库的范围语义,给出基于一致性查询范围的实际聚集查询重写方法,返回基于这种语义的聚集查询范围值。通过对初始分组属性和键属性聚集得到候选结果集,再过滤与初始分组属性值相冲突和不满足初始查询的元组。对于最小值,过滤掉可能不一致的元组,去掉可能值,得到一致性值;对于最大值,得到可能的最大候选值,实验基于TPC-H基准采用不同的参数进行研究。研究结果表明,聚集属性和投影属性数量、数据库以及初始查询的结果集对重写查询的负载有显著的影响,但非一致性数据比例和共享共同键值元组数的影响很小。尽管重写查询比初始查询的执行时间长,但是可以接受。 相似文献
2.
结合原有的概率数据库技术,提出了一种新的基于聚类的非一致性数据的概率方法,给出了非一致性数据的元组概率计算方法和基本的查询重写技术,对于有聚集的查询考虑了合适的元组概率、区间值和期望值.考虑了从非一致性数据的粒度的角度去理解方法的适应性,方法不要求程序的预处理,重写能被商业数据库系统有效地优化和执行.使用TPC-H决策支持基准的数据和查询比较系统的重写策略,实验表明方法是有效的. 相似文献
3.
给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制。 相似文献
4.
研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率,以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性。 相似文献
5.
研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率．以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性 相似文献
6.
讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上,这里进一步建立了向量值一阶逻辑形式系统,证明了它的可靠性定理。 相似文献
7.
王前;惠小静;袁一丹;许倩 《湖北大学学报(自然科学版)》2025,(2):173-179
设Φ是全体不含函数符号的一阶闭逻辑公式之集。本研究基于一阶逻辑中的公理化真度理论对逻辑度量空间的结构进行分析,搭建逻辑度量空间与拓扑概念之间的联系,证明逻辑度量空间(Φ,ρ)中没有孤立点,并且度量空间(Φ,ρ)存在着既开又闭集组成的拓扑基。最后论证Φ中一个闭逻辑理论Γ是相容的充要条件。得到结论：Γ是相容的当且仅当Γ在逻辑度量空间中不含内点;Γ是相容的当且仅当Γ在逻辑度量空间中不含非空正则球面。 相似文献
8.
9.
给出了P2P数据交换系统的形式模型,描述了对等体的本地数据一致性约束、对等体间的信任关系以及对等体间的数据交换约束。并在此基础上提出了基于"查询候选数据集"的全局一致性查询处理策略。一个对等体的"查询候选数据集"是满足其本地数据一致性约束和对等体间所有数据交换约束的全局数据库虚拟子视图。提交到一个对等体的查询操作通过在其查询候选集上进行便可以得到全局一致的查询结果。给出了"查询候选数据集"的构造算法。 相似文献
10.
杨庆之 《河北师范大学学报(自然科学版)》1994,18(2):12-15
在光滑最优化及非光滑最优化中，最优解的一阶必要条件都是基本问题．在非光滑最优化中，如假定问题中的所有函数都是局部Ｌｉｐｓｃｈｉｔｚ连续的，其中集合Ｃ是闭的，这时解的一阶必要条件已由别的作者给出．该文首先得出当Ｃ是开集时解的一阶必要条件，然后由此推出Ｃ是闭集时类似的结论．方法与以前不同，而且结论也更加完整． 相似文献