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

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