【摘 要】
：
视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库
【基金项目】
：
国家自然科学基金项目(61103038);韶关市科技局项目(2011CX/K20)
论文部分内容阅读
视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库视图更新方法,在模型范畴内将视图定义映射提升为数据库视图更新函子并分析了泛转换存在的条件,对数据库视图更新函子的Opfibrations分裂性质进行了形式化证明,设计了数据库视图更新函子的Grothendieck构造方法,为数据库视图更新问题的有效解决提供了统一的基于Opfibrations方法的数学框架.
其他文献
加强七年制临床医学专业学生（以下简称七年制医学生）的科研素质和科研能力训练是现代高等医学教育的要求，对七年制医学生实施早期科研训练，将为其后期科研素质和科研能力的培养奠
目的:观察曲格列汀在高糖条件下对人脐静脉内皮细胞氧化应激水平的影响,并初步探讨其分子机制。方法:在正常葡萄糖浓度(5 mmol/L)及高糖(25 mmol/L)条件下培养人脐静脉内皮细
晋远1号是山西省农业科学院经济作物研究所选育的我国远志第一个品种。于2009年参加山西省区域试验,5点次每667m2平均产量589kg,比对照增产24.1%;2011年参加山西省生产试验,5
高校加强辅导员队伍的建设与管理，强调提高辅导员素质是根本，但不可忽视其自身状况，如心理问题、个人发展、待遇等，只有把责任和义务、投入与前途综合考虑，才能有效促进高校辅导员
中考卷的古诗鉴赏题,体现了中学语文古典诗词教学的新导向.语文教学中应当重视培养学生古典诗词的鉴赏能力,教给学生一定的鉴赏方法,让生感悟诗中感人的力量.那么如何科学而
目的:研究影响酿造酱油中氨基酸态氮含量测定的因素。方法:采用整群分层抽样法进行抽样调查,抽取2016年10月—2018年10月本地区生产的酱油70个样品,进行氨基酸态氮含量测定,
目的探讨护理干预对高压氧治疗患者生存质量与心理状况的影响。方法选取2017年1月—2019年11月该院接受高压氧治疗的患者163例,按照随机数字表法,分为对照组(n=80)与观察组(n
以公民预算知情权分析框架为切入点与逻辑主线,考量当前预算公开法律制度从预算知情义务主体和权利主体两方面分析,存在人大代表预算监督机制缺陷、普通民众民主观念淡薄,对
课程标准和教科书是教师教学的依据与基础。本文将《全日制义务教育地理课程标准(实验稿)》与按照其编写的人教版初中地理新课标实验教材(八年级上册)进行相关比照、有机联系