基于集合分析的数据查询方法  

Set analysis-based data query method

作　　者：李久仲[1] 石硕[1] 沈轶[2] 

机构地区：[1]广东轻工职业技术学院计算机系,广东广州510300 [2]华中科技大学控制科学与工程系,湖北武汉430074

出　　处：《华中科技大学学报（自然科学版）》2008年第12期5-7,共3页Journal of Huazhong University of Science and Technology(Natural Science Edition)

基　　金：国家自然科学基金资助项目(60574025)

摘　　要：针对具有全称量词及蕴含运算查询构造困难的问题,用数学中集合论工具,分析了这两类查询的本质,得到了关于这两类查询应满足的集合条件的两个定理.应用这两个定理,推导出了实现几类复杂查询的统一查询模式.推出的查询集合条件简单明了,从而使具有全称量词和蕴含运算命题查询的构造更容易理解.典型应用示例验证了基于集合分析数据查询方法的有效性.It is difficult to construct data queries with proposition of universal quantifier or implications. The essences of the enquiries were analyzed by set theory. Two theorems related to the filter condition of these queries were derived, by which the unified query patterns for these complex queries were achieved. The introduced query set was simple, which makes the construction of query with universal quantifier or implication operation not only simplified but also understood more easily. Typical examples of applications verified the effectiveness of the method.

关 键 词：查询优化 集合分析命题 全称量词 蕴含运算 嵌套子查询 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]