面向子项的全局 Trie
编程语言
2011-12-19 v1
摘要
高效表处理系统实现中的一个关键组件是表空间的设计。表示表的最流行且最成功的数据结构基于两级 trie 数据结构，其中一级 trie 存储表化子目标调用，另一级存储计算出的答案。全局 Trie（GT）是一种替代的表空间组织方式，旨在减少表的内存使用，即通过将项存储在全局 trie 中，从而防止同一项在不同 trie 数据结构中的重复表示。在本文中，我们提出了一种对 GT 组织的扩展，称为面向子项的全局 Trie（GT-ST），其中项参数中的复合子项被表示为 GT 中的唯一条目。使用 YapTab 表处理系统的实验结果表明，对于项参数中复合子项不断增加的程序，GT-ST 支持有望显著降低内存使用，同时不影响其他程序的执行时间。
引用
@article{arxiv.1112.3780,
title = {Global Trie for Subterms},
author = {João Raimundo and Ricardo Rocha},
journal= {arXiv preprint arXiv:1112.3780},
year = {2011}
}
备注
Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011