| 逻辑程序的一种并行执行模型 |
| |
| 引用本文： | 谢立,赵宽奇.逻辑程序的一种并行执行模型[J].计算机研究与发展,1994,31(5):1-6. |
| |
| 作者姓名： | 谢立 赵宽奇 |
| |
| 作者单位： | 南京大学计算机系 |
| |
| 摘 要： | 本文基于静态相关性分析和动态调整相结合的方法，提出了一种逻辑程序的执行模型，它不仅开发了“与“并行，同进也开发了一定的“或“并行，从而有效地加速了逻辑程序的执行。
|
| 关 键 词： | 逻辑程序 静态相关性 |
A Parallel Execution Model of Logic Programs |
| |
| Xie Li, Zhao Kuanqi, and Chen JunNanjing University.A Parallel Execution Model of Logic Programs[J].Journal of Computer Research and Development,1994,31(5):1-6. |
| |
| Authors: | Xie Li Zhao Kuanqi and Chen JunNanjing University |
| |
| Affiliation: | Xie Li, Zhao Kuanqi, and Chen JunNanjing University,210008 |
| |
| Abstract: | In this paper, a parallel execution model of logic programs is given on the basis of staticdata dependency analysis and dynamic adjustment. Under the control of this model, both ANDparllelism and OR-parallelism can be achieved. |
| |
| Keywords: | execution graph static dependency dynamic dependency |
| 本文献已被 CNKI 维普 等数据库收录！ |
