文件名称：ADT形式化定义-数据库第一章ppt
文件大小：1.64MB
文件格式：PPT
更新时间：2024-05-15 15:15:41
数据库
ADT形式化定义 ADT=（D，S，P） D={数据对象} S={D上的关系集} P={对D的基本操作集} ADT 抽象数据类型名{ 数据对象：… 数据关系：… 基本操作：… } ADT 抽象数据类型名 基本操作定义格式： 基本操作名(参数表) 初始条件：<初始条件描述> 操作结果：<操作结果描述> 赋值参数：只为操作提供输入值 引用参数：以&开头，除提供输入值外，还将返回操作结果 初始条件：描述了操作执行前数据结构和参数应满足的条件，若不满足，操作失败，并返回相应出错信息。若初始条件为空，则省略之。 操作结果：说明操作正常完成之后，数据结构的变化情况和应返回的结果。