论文部分内容阅读
本文用代数规范方法定义了复杂对象数据库中的对象标识、对象值、查询谓词和数据库状态语义，通过对查询路径的分析，给出了个体对象查询条件匹配的语义，特别是在个体对象上施用递归查询的语义，最后，给出了ＯＯＤＢ中选择操作的语义。
复杂对象数据库的递归查询语义
【摘 要】
：
本文用代数规范方法定义了复杂对象数据库中的对象标识、对象值、查询谓词和数据库状态语义，通过对查询路径的分析，给出了个体对象查询条件匹配的语义，特别是在个体对象上施用递
【出 处】
：
软件学报
【发表日期】
：
1996年A00期
其他文献
党的十六大提出了"构建终身教育体系,建设学习型社会"的战略性任务,面向社会公众的信息素质教育对于任务的完成起着重要的作用.文中主要探索了以社会公众为主要对象的信息素
环肽由于其稳定的结构特性在生物模拟,药物设计,纳米与分子器件,生物传感器以及催化剂等方面起着越来越重要的作用,本文介绍了近年来环肽化合物的合成及其应用的一些进展。
本文在分析现有验证技术的基础上,提出了实体自动机化简方法和错误优先的搜索算法(EFSA),同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS.
<河南图书馆学刊>自2001年起改版,至2003年三年内发生了很大的变化,刊物面貌焕然一新,刊物质量明显提高,得到业内专家、作者和读者的一致认可.本文就<学刊>改版三年来的实际
设计了一种智能温湿度调节系统。该系统以SPCE061A单片机为控制核心，通过外部温湿度传感器采集相应的数据。由MD端口将采集的信息输入单片机进行处理。首先阐述了系统的总体结
幼儿具有活泼好动的特点，因此，学校必须加强对幼教专业学生舞蹈教学能力的培养，才能更好的进行课堂教学，引导幼儿学会基本的舞蹈动作。本文对提高幼教专业舞蹈教学能力的路径进行
调查发现,由于先天或后天的生理缺陷,视障少年对公共图书馆存在明显的隔阂.基于此,河南省图书馆将"爱心阅览室"定位于主要为视障读者服务,并施行适合视障少年的服务模式,为其
随着正文数据应用的迅速增长,对正文数据检索方法的研究已成为数据库领域中令人感兴趣的课题之一。本文结合我国办公环境的特点,提出一种新的按附加码方法组织字标 识文件的
作为软件工程研究的领域之一,软件再工程(Re-Engineering)在最近几年引起了人们广泛的关注,软件再工程的关键是:从现有原代码所提供的信息中去获得和恢复丢失的系统设计和规