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

摘要

视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库视图更新方法,在模型范畴内将视图定义映射提升为数据库视图更新函子并分析了泛转换存在的条件,对数据库视图更新函子的Opfibrations分裂性质进行了形式化证明,设计了数据库视图更新函子的Grothendieck构造方法,为数据库视图更新问题的有效解决提供了统一的基于Opfibrations方法的数学框架.