多时间粒度约束的时态多值依赖推理

来源 :浙江大学学报(理学版) | 被引量 : 0次 | 上传用户:wumingshan2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理,并对引理、定理的有效性和完备性进行了证明,为时态数据库的进一步规范化奠定了理论基础.
其他文献
目的综述了比较分子力场分析法(CoMFA法)的主要原理、优缺点及其在天然药物成分研究中的应用进展。方法利用天然药物成分结构不同进行分类,分别对各类天然药物成分三维构效研
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
用N902萃取剂采用雾化萃取方式对盐酸介质中铜的萃取进行了研究。实验结果表明:在相同条件下,喷雾萃取效果明显优于振荡法;通过不同喷雾萃取方式的比较发现,在有机相搅拌的同
本文研究了一类风险模型,其个体索赔额服从指数-幂尾型分布,索赔次数过程为一更新过程,其更新时间间隔服从指数族分布;给出了这类模型在有限时间内破产概率的渐近性质;并讨论
用脉冲激光沉积(PLD)的方法制备ZnO薄膜.通过对薄膜的X射线衍射(XRD)测试,分析了不同衬底温度下薄膜的结晶状况;通过对薄膜的光致发光谱线的测试,分析了不同衬底温度下薄膜的
甄贞,女,全国政协委员,北京市人民检察院副院长,2011年全国两会期间,甄贞带了三个提案上会,其中在《关于加强拆迁领域职务犯罪预防的建设》中,她建议通过发挥检察机关的检察职能,结合
在初中政治教学中,教师要瞄准素质教育教学的目标,在教学过程中用学科知识培养学生的公民意识、法律意识、思辨意识,引领学生身心发展、成长进步。在教学中,要把教材中的相关
替代数据检验法是检验时间序列中是否存在确定性非线性成分的重要统计方法.通过研究差分和数据平滑运算对替代数据检验方法的影响,指出常用的线性滤波等数据预处理步骤破坏了
In conventional cross-coupled controller design,the method usually ignored the inherent characteristic of time-varying parameters and model uncertainties in sys
研究子孔径拼接在长平晶测试中的应用。讨论了子孔径拼接的基本原理,建立了子孔径拼接模型,确定了进行长平晶拼接测试的基本算法。根据最小二乘法的基本原理,编制了子孔径拼