数据库视图更新的一种Opfibrations方法  

An Opfibrations method of database view update

作　　者：苗德成[1] 

机构地区：[1]韶关学院数学与信息科学学院,广东韶关512005

出　　处：《韶关学院学报》2013年第4期5-10,共6页Journal of Shaoguan University

基　　金：国家自然科学基金项目(61103038);韶关市科技局项目(2011CX/K20)

摘　　要：视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库视图更新方法,在模型范畴内将视图定义映射提升为数据库视图更新函子并分析了泛转换存在的条件,对数据库视图更新函子的Opfibrations分裂性质进行了形式化证明,设计了数据库视图更新函子的Grothendieck构造方法,为数据库视图更新问题的有效解决提供了统一的基于Opfibrations方法的数学框架.The logic independency for database operation can be enhanced by view to some extent, but this function supported by view depends upon a solution to the database view update problem. This paper proposed a method of database view update based on Opfibrations considering the status quo of database view update problem researches, lifted view definition mapping to database view update functor in category of models, analyzed the existence of universal translation,formally proved the properties of split Opfibrations for database view update functor, and provided Grothendieek construction methods of database view update functor,which proposed a universal mathematical framework based on Opfibrations to solve database view update problem effectively.

关 键 词：视图 Opfibrations 范畴 函子 数据库 

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