| 数据库视图更新的一种Opfibrations方法 |
| |
| 引用本文： | 苗德成.数据库视图更新的一种Opfibrations方法[J].韶关学院学报,2013,34(4):5-10. |
| |
| 作者姓名： | 苗德成 |
| |
| 作者单位： | 韶关学院数学与信息科学学院,广东韶关,512005 |
| |
| 基金项目： | 国家自然科学基金项目，韶关市科技局项目 |
| |
| 摘 要： | 视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库视图更新方法,在模型范畴内将视图定义映射提升为数据库视图更新函子并分析了泛转换存在的条件,对数据库视图更新函子的Opfibrations分裂性质进行了形式化证明,设计了数据库视图更新函子的Grothendieck构造方法,为数据库视图更新问题的有效解决提供了统一的基于Opfibrations方法的数学框架.
|
| 关 键 词： | 视图 Opfibrations 范畴 函子 数据库 |
An Opfibrations method of database view update |
| |
| MIAO De-cheng.An Opfibrations method of database view update[J].Journal of Shaoguan University(Social Science Edition),2013,34(4):5-10. |
| |
| Authors: | MIAO De-cheng |
| |
| Institution: | MIAO De-cheng (College of Mathematics and Information Science,Shaoguan University,Shaoguan 512005, Guangdong, China) |
| |
| Abstract: | 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. |
| |
| Keywords: | view Opfibrations category functor database |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
