复杂对象数据库的递归查询语义  

作　　者：陈睿 

出　　处：《软件学报》1996年第A00期163-169,共7页Journal of Software

摘　　要：本文用代数规范方法定义了复杂对象数据库中的对象标识、对象值、查询谓词和数据库状态语义，通过对查询路径的分析，给出了个体对象查询条件匹配的语义，特别是在个体对象上施用递归查询的语义，最后，给出了ＯＯＤＢ中选择操作的语义。

关 键 词：复杂对象 数据库 递归查询 形式语义 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]