| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 1 绪论 | 第7-15页 |
| ·本课题的研究背景、目的及意义 | 第7-8页 |
| ·国内外研究概况 | 第8-14页 |
| ·本文的主要研究工作 | 第14-15页 |
| 2 属性关联集合推理研究与实现 | 第15-32页 |
| ·问题的提出 | 第15-17页 |
| ·问题的描述 | 第17-18页 |
| ·消除属性关联集合推理问题的算法 | 第18-28页 |
| ·与相关工作的比较 | 第28-29页 |
| ·属性关联集合推理检测和消除工具的设计与实现 | 第29-31页 |
| ·本章小结 | 第31-32页 |
| 3 势集合推理研究与实现 | 第32-47页 |
| ·势集合推理问题 | 第32-34页 |
| ·消除势集合推理问题的策略 | 第34-40页 |
| ·消除势集合推理问题的算法 | 第40-43页 |
| ·多级安全数据库系统SDM3消除势集合推理的实现 | 第43-46页 |
| ·本章小结 | 第46-47页 |
| 4 总结与展望 | 第47-49页 |
| 致谢 | 第49-50页 |
| 参考文献 | 第50-54页 |
| 附录 攻读学位期间发表和已录用的论文目录 | 第54页 |