期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
内置谓词函数依赖及其推理规则 被引量：7
1
作者 胡艳丽 张维明 +2 位作者 肖卫东 汤大权 唐九阳 《国防科技大学学报》 EI CAS CSCD 北大核心 2009年第5期58-63,共6页
研究内置谓词函数依赖及其推理规则。首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则... 研究内置谓词函数依赖及其推理规则。首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用。 展开更多
关键词 函数依赖 内置谓词 推理规则 逻辑蕴涵 可靠性 完备性
下载PDF
一种通用连接查询的重写方法 被引量：1
2
作者 褚金凤 周丽娟 +1 位作者 张闯 高志新 《自动化技术与应用》 2007年第2期58-61,共4页
使用实视图进行查询优化的关键,是从实视图中找到执行代价较小的查询重写。本文提出了一种基于目标的方法,可以找到更多的候选方案,当查询的内置谓词只包含特征变量时该方法更加有效。在更多时候,它可以找到由Bucket算法找到的所有重写... 使用实视图进行查询优化的关键,是从实视图中找到执行代价较小的查询重写。本文提出了一种基于目标的方法,可以找到更多的候选方案,当查询的内置谓词只包含特征变量时该方法更加有效。在更多时候,它可以找到由Bucket算法找到的所有重写,而且更高效。 展开更多
关键词 实视图 查询优化 连接查询 内置谓词 包含重写
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部