摘要
提出了一种强有力的困模式分析工具ＶＰＣ－扩展图；基于ＶＰＣ－扩展图，给出了线性递归表达式的一种完备分类方法，并导出了其相应的编译表达式。
VPC Resolution Graph, a powerful graph model analysis tool, is presented in this paper. A complete classification of linear recursive formulas is given, and their corresponding compiled formulas are derived from the VPC Resolution Graph.
出处
《空军预警学院学报》
1999年第1期31-35,共5页
Journal of Air Force Early Warning Academy
关键词
演绎数据库
递归查询
查询编译
图模式
Deductive databases
Recursive query
Query compilation
Graph model
