非稠密数据域的不等式合取查询

来源 :计算机学报 | 被引量 : 0次 | 上传用户:jweblogicdownload
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1988年Klug给出了第一个稠密域上的不等式合取查询包含问题的算法,但该方法不适用于非稠密域.本文解决非稠密域上的不等式合取查询的包含问题.
其他文献
目的探讨HBsAg在小鼠体内模型中对宿主免疫应答调节及病毒感染慢性化中的作用。方法在已有高压水动力法转染pAAV-HBV1.2质粒建立乙肝小鼠模型的基础上,通过点突变技术引入终
本文从软件产品的失效规律入手提出了其可靠性评估的WD模型及其参数估值方法.从NTDS软件出错数据统计为例的分析结果看,WD模型的参数估值性能优于J-M模型和NHPP模型.最后还提
目的观察经肝固有动脉行自体骨髓间充质干细胞(BMSC)移植治疗失代偿期肝硬化的疗效及其安全性。方法将2012年6至2013年6月解放军第五三三医院肝病科收治的84例失代偿期患者随机
占养殖业投入成本60%.70%的饲料.其品质和安全性是保证畜产品质量安全最基本的先决条件,是影响畜产品卫生的主要因素.也是人为可以控制的因素.抓好饲料安全是畜产品安全的前提和保障
11月2日.作为北京市动物防疫体系建设重要组成部分之一的北京市动物疫病预防与控制中心破土动工,预计2011年底投入使用。
目的探讨低病毒载量HBeAg阴性慢性HBV感染者的肝组织学特点,评价不同临床标准对非活动HBsAg携带(IC)的诊断价值。方法选择HBV DNA〈4.3lg IU/mL、ALT〈2×正常值上限(ULN)、H
百奥明2009亚洲营养论坛将于8月24—25日在北京九华山庄举行。本次论坛将关注在全球经济衰退背景下动物健康及动物营养方面的科学进展及其可持续性。这个由百奥明公司组织的
本文通过硫酸铵沉淀、透析带以及聚乙二醇6000对粗酶液进行浓缩分离.获得较为纯净的β-甘露聚糖酶,然后通过常规方法对其进行性质研究。结果发现,该酶在pH4-8和60℃以下稳定.作用
视觉信息处理可以看作是从三维环境的图象中抽取、描述和解释信息的过程.根据该过程所涉及的方法和技术的复杂性,可将它们分成三个处理层次:低层视觉,中层视觉和高层视觉.作
国家发展和改革委员会产业协调司司长陈斌10月15日表示.将加强政策引导.严格控制大豆油脂产能盲目扩张,避免无序竞争,原则上不准新建和扩建大豆油脂加工项目。