基于裸设备的PROLOG事实库搜索算法研究与实现

摘要	第1-6页
Abstract	第6-11页
1 绪论	第11-15页
·引言	第11页
·研究背景	第11-13页
·本论文研究目标和内容	第13-14页
·论文组织结构	第14-15页
2 裸设备与Prolog系统简介	第15-22页
·裸设备简介	第15页
·数据持久化	第15-18页
·Prolog系统简介	第18-22页
·Prolog结构特点	第18-19页
·SWI Prolog中的外部语言接口	第19-21页
·Prolog系统退出	第21-22页
3 B-与B+树索引	第22-31页
·索引概念	第22页
·索引分类	第22-24页
·B-与B+树索引	第24-30页
·B-树概念及基本操作	第24-27页
·B+树的概念及基本操作	第27-29页
·B+树与其他索引树性能比较	第29-30页
·本章结论	第30-31页
4 基于裸设备的B+树索引算法研究	第31-54页
·系统结构	第31-34页
·本系统算法思想	第34-38页
·具体实现	第38-52页
·存储模型	第38-39页
·具体实现步骤	第39-47页
·查询事实	第47-48页
·插入索引与删除索引	第48-51页
·算法分析	第51页
·部分结果测试	第51-52页
·本章总结	第52-54页
5 总结与展望	第54-55页
参考文献	第55-57页
致谢	第57-58页
作者简介及读研期间主要科研成果	第58页