%0 Journal Article %T 复杂对象数据库的递归查询语义* %A 陈睿? %J 软件学报 %P 163-169 %D 1996 %X 本文用代数规范方法定义了复杂对象数据库中的对象标识、对象值、查询谓词和数据库状态语义,通过对查询路径的分析,给出了个体对象查询条件匹配的语义,特别是在个体对象上施用递归查询的语义.最后,给出了oodb中选择操作的语义. %K 代数规范 %K 复杂对象数据库 %K 递归查诲 %K 形式语义. %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s123&flag=1