论文部分内容阅读
本文探讨了全称量词查询的实质，将全称量词查询分为比较型和存在型两种形式。文章分析了存在型量词查询的逻辑基础，介绍了嵌套定存在谓记号表示法，分组计数法和ＨＡＳＨ法。文章最后比较了不同策略的执行效率。
全称量词查询的表示和实现
【摘 要】
：
本文探讨了全称量词查询的实质，将全称量词查询分为比较型和存在型两种形式。文章分析了存在型量词查询的逻辑基础，介绍了嵌套定存在谓记号表示法，分组计数法和ＨＡＳＨ法。文章最后比较
【机 构】
：
华中理工大学计算机系数据库所
【出 处】
：
微型计算机
【发表日期】
：
1997年3期
其他文献
高考物理复习是一项复杂的系统工程,如何切实可行,有效地完成复习任务是我们每位高三物理教师不懈努力的方向.在第一轮的复习中学生大都能掌握物理学中的基本概念、规律,及其
小学生的作文一大缺点是空洞，写出的文章没有内涵，没有细节，没在闪光点。面对这一问题，我校五年级语文教研组借助学校“文字意象”特色，提出教会孩子利用意象捕捉表达的灵感，来深层
现代教育学认为初中音乐教师应该在教学活动中增加师生互动,从而不断提高教学质量。本文就新课改背景下初中音乐课堂教学师生互动艺术进行了分析,以此为我国初中音乐教学的改
本文分析了用ＰｏｗｅｒＢｕｉｌｄｅｒ作前端工具，ＩＮＦＯＲＭＩＸ作后端ＤＢＭＳ时，建立客户／服务器开发环境的解决方案。
本文主要研究文化差异下的仓央嘉措汉译版，从他的社会背景和经历出发，以于道泉直译形式的汉译本和刘希武、曾缄等再创版的汉译本的对比和不同形式和内容及情感不同进行分类，并分
线、弧段与图斑包络矩形是一个新引进的概念，它可以将图形处理中经常需要的空间位置搜索速度提高十倍以上，大多数图形处理的功能模块中都有它的应用。包络矩形概念清楚、简单、
现在高中生学习普遍内在动力不足,没有远大理想,没有家国情怀,不知学习的终极目标.本文试图通过对部分高中生的学习现状进行研究,探究激发学习内驱力的方法,实现他们自我人生
本文介绍了一种Ｃ＾＋＋美化程序的实用途径，即先用一个预处理程序将Ｃ＾＋＋＂伪装”成Ｃ，然后利用标准的Ｃ工具进行美化，最后再用一个后处理程序将“伪装”的Ｃ＾＋＋程序转换成其原先的等价形式。