-
题名广义查询的计数算法
- 1
-
-
作者
范明
李连友
-
机构
郑州大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1994年第10期44-49,共6页
-
基金
河南省自然科学基金
河南省教委自然科学基金
-
文摘
计数算法是最著名的ＳＬ递归处理算法之一．对于一类称作计数线性的递归，它具有良好的性能．然而，计数算法要求查询的约束集为单值的，因此很难用作子目标的处理策略．本文提供一种新的广义查询计数算法，它能处理任意的多值约束集．从而本文提供的算法不仅能够用于查询的求值，而且也能用于子目标的处理．算法的正确性和变换后的规则的有效性也在本文简略讨论．
-
关键词
递归查询
广义查询
计数算法
-
Keywords
Recursive query, linear recursion, generalized query, counting algorithm.
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名广义查询的一般右线性递归变换的正确性
- 2
-
-
作者
范明
-
机构
郑州大学计算机科学系
-
出处
《郑州大学学报（自然科学版）》
CAS
1993年第4期30-33,共4页
-
基金
河南省自然科学基金
河南省教委自然科学基金
-
文摘
在先前的研究中,我们提出了一种可用于处理广义查询的一般右线性变换,本文旨在证明该变换的正确性,并简略讨论其有效性。
-
关键词
数据库
递归查询
右线性递归变换
广义查询
-
Keywords
Deductive database
recursive query
generalized right-linear reeursion
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名有向图上的广义可达性查询处理方法
- 3
-
-
作者
富丽贞
孟小峰
-
机构
中国人民大学信息学院
-
出处
《计算机科学与探索》
CSCD
2012年第7期577-585,共9页
-
基金
国家自然科学基金Nos.61070055
91024032
+4 种基金
91124001
60833005
国家科技重大专项"核高基"项目No.2010ZX01042-002-003
中国人民大学科学研究基金Nos.11XNL010
10XNI018~~
-
文摘
随着社会网络、生物信息学、本体等应用的迅速发展,如何在图上进行高效的信息检索成为一个亟待解决的问题。两点间可达性查询是一种常见的查询方式,目前针对此类查询已经提出了许多算法。但是在一些应用中,这种查询语义并不能满足用户需求。基于此,提出了两种广义可达性查询语义。研究了如何在大图上进行高效的广义可达性查询的问题,依据Path-tree编码的特性提出了一种新的二级索引机制——RB+索引。基于RB+索引,针对不同类型查询提出了两种高效的查询处理方法。该方法充分利用Path-tree编码的特性,有效地处理广义可达性查询。通过实验对提出的索引和查询算法进行了验证。
-
关键词
广义可达性查询
Path—tree编码
RB+索引
-
Keywords
general reachability query
Path-tree encoding
RB＋ indexing
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
