关于数据库系统中视图更新问题的研究和应用

摘要

该文阐述了缩略图数据模型并对使用缩略图数据模型进行视图的更新进行了算法研究.同样使用条件表表示关系视图,可以将视图更新问题转化为约束满足问题(CSPs),CSPs的解就是对应视图问题的更新.我们将会结合两种方法的优点,研究一中新的视图更新方法.此外我们开发了一个应用系统—企业表单管理系统i-Form,它基于模型-视图-控制的MVC体系结构,而且提供了一套管理表格大全.用户可以使用表格大全方便地定义和管理数据库系统.我们对视图更新问题的研究解决方法在系统中也有所应用.

目录

摘要

ABSTRACT

第一章引言

1.1前言

1.2视图更新问题VUP(View Update Problem)

1.3本文的主要研究工作

1.4本文的组织

第二章视图更新问题的理论基础

2.1数据库相关内容概述

2.2相关离散数学的概念和性质的介绍

第三章视图更新问题的可行性

3.1缩略图数据模型Sketch datamodel

3.2缩略图数据模型的正式定义

3.3视图的定义

3.4视图的可更新性

3.5可更新性的举例说明

3.6小结

第四章视图更新的传递

4.1前言

4.2视图更新的传递

4.3条件表

4.4处理更新请求

4.4.1处理删除请求

4.4.2处理插入请求

4.5小结

第五章算法实现

5.1 Sketch Data Model的算法实现

5.2 CSP转化算法

5.3 CSP求解代价分析

第六章I FORM企业表格自动管理系统

6.1系统开发背景

6.2.MVC体系结构介绍

6.3 M(MODEL)的技术实现

6.4V(VIEW)的技术实现

6.5 C(CONTROL)的技术实现

6.6在i-Form系统的用MVC的具体优势

第七章总结与展望

7.1本文总结

7.2展望和相关工作

参考文献

致谢

论文独创性声明及论文使用授权声明