视图确定性问题及其研究进展

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:yjc0208
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于视图的查询回答问题在数据管理方面有广泛的应用。为了形式化地描述一组视图V是否含有足够的信息来回答用户提出的一个查询Q,研究人员近期提出了“视图确定性”的概念。介绍了视图确定性相关的研究问题,对比其与查询重写之间的关系,分析出问题的主要研究维度,总结已有的研究成果并指出存在的问题。同时,对未来的研究趋势进行了展望。
其他文献
"翻转课堂教学模式"就是通过颠倒式课堂来合理安排课堂教学内容,重新规划课程教学时间,是对传统灌输式教学模式的真正突破.在翻转课堂上,教师通过有效利用信息技术,科学组织学
著名心理学家、教育家布卢姆主张"给学生足够的学习时间,同时使他们获得科学的学习方法,通过他们自己的刻苦努力,应该都可以掌握学习内容".不同的学生需要用不同的方法去教,不
为了降低在传统的文本分类方法中自然语言的不确定性对分类效果的影响,提出了一种结合云模型的文本分类方法。该方法分别定义文本和类别的云模型,通过计算测试文本和每个类别的
鉴于测试仪器日益大型化、集成化和虚拟化,本文介绍了基于岩石模型的复杂智能虚拟控件及以“功能赋予”、“拼搭”方式实现测试仪器的开发;论述了集成体系不同的结构和类型及它
以现有的IDS技术模型和实现技术为切入点,对IDS产品的缺陷进行了深入的讨论,提出了改善现有IDS缺陷的若干策略.
期刊
为了达到课程改革的目标,激发学生学习化学的兴趣,培养学生的科学精神和科学价值观,在化学教学中采用翻转式教学模式显得十分必要.本文以浓硫酸教学为例,深入浅出地按照课前
在2016年高考中,电化学的命题点主要集中在教材的基础知识上,题型“稳中有变”,侧重于考查考生对电化学知识的整合运用能力.2016年高考电化学考点分布统计见表1.
有序决策图(OBDD)是一种用于表示布尔表达式的数据结构,并在许多领域得到了广泛应用。在分布式或者动态环境下,利用已知布尔表达式的OBDD构造目标布尔表达式的OBDD是一个决定实际
随着人们对软件地位的重视程度提高,软件测试也成为软件工程中必不可少的一部分,软件测试技术的发展也日新月异,抽象解释技术的出现无疑是一个大的变革。从剖析运行错误和抽象解