类树结构关系中递归查询的形式描述与实现方法  

The Formal Description and Implement Approach of Recursive Query in Tree-Like Structure

作　　者：胡虚怀[1] 李运兰[2] 

机构地区：[1]湖南理工学院计算机系,湖南岳阳414006 [2]湖南大学计算机与通信学院,湖南长沙410073

出　　处：《长沙大学学报》2004年第4期42-46,共5页Journal of Changsha University

基　　金：湖南省自然科学基金(批准号:04JJ3064)资助项目.

摘　　要：递归查询为包含多重层次结构的关系数据提供了一种非常灵活而有效的处理方法.本文运用关系代数和基于逻辑的Datalog规则对递归查询进行了形式描述,同时讨论了递归中固定点的计算公式和分层求反的原则.此外,对SQL3中实现递归编程方法和限制情况进行了深入分析.Recursive query provides a very flexible and effective processing way for relational data involving multiple hierarchical structure. This paper describes formally recursive query with relational algebra and datalog rule based on logical, and also discusses the least-fixed point computation equation and the principle of stratified negation in recursive query. Further, the paper analyzes the SQL3 approach to recursion program and restricted forms of query in detail.

关 键 词：类树结构 关系代数 递归查询 DATALOG SQL3 

分 类 号：TP391.3[自动化与计算机技术—计算机应用技术]