首页 > 国家标准(GB) > GB/T 15534-1995 信息处理系统 数据库语言NDL
GB/T 15534-1995

基本信息

标准号: GB/T 15534-1995

中文名称:信息处理系统 数据库语言NDL

标准类别:国家标准(GB)

标准状态:已作废

发布日期:1995-04-05

实施日期:1995-12-01

作废日期:2005-10-14

出版语种:简体中文

下载格式:.rar.pdf

下载大小:2653768

标准分类号

标准ICS号:信息技术、办公机械设备>>35.080软件开发和系统文件

中标分类号:电子元器件与信息技术>>信息处理技术>>L78数据信息

关联标准

替代情况:作废;

采标情况:ISO 8907-1987

出版信息

出版社:中国标准出版社

书号:155066.1-11973

页数:57页

标准价格:24.0 元

出版日期:2004-08-10

相关单位信息

复审日期:2004-10-14

起草人:瞿兆荣、马应章、林宁、王家增、裘怿源

起草单位:电子工业部华东计算技术研究所

归口单位:电子工业部标准化研究所

提出单位:中华人民共和国电子工业部

发布部门:国家技术监督局

主管部门:国家标准化管理委员会

标准简介

本标准规定以下三种数据库语言的语法和语义:1)模式定义语言:它用来申明NDL数据库的结构和完整性约束。2)子模式定义语言:它用来申明NDL数据库的用户视图。3)模块语言和数据操纵语言:它用来申明具体的数据库所应用的数据库过程和执行语句。本标准实现的适用环境包括:应用程序设计语言、最终用户查询语言、报告生成系统、数据字典系统、程序库系统和分布式通信系统以及用于数据库设计、数据管理和性能优化的各种工具。 GB/T 15534-1995 信息处理系统 数据库语言NDL GB/T15534-1995 标准下载解压密码:www.bzxz.net

标准图片预览






标准内容

中华人民共和国国家标准
信息处理系统
数据库语言NDL
Information processing systems-Database language NDLGB/T 15534—1995
ISO 8907 -1987
本标准等同采用国际标准ISO8907—1987信息处理系统数据库语言NDL》。1主题内容与适用范串
本标准规定以下三种数据库语言的语法和语义;1)模式定义语言:它用来申明NDL数据库的结构和完整性约束。2)子模式定义语言:它用来申明NTL 数据库的用户视图。3)模块语言和数据操纵语言,它用来申明具体的数据库所应用的数据库过程和执行语句。本标准定义NDL 数据库的逻辑数据结构和基本操作。它提供数据库设计、存取、维护、控制和保护方面的功能性能力,
本标准在H.相符合的现实之间,为数据库定义和应用程序的可移植性提供一种途径。本标准指明两个级别的数拐库语言 NDL。第二级是完整的 NDL数据库语言。第一级是第二级的子集,其内容见第13章。
本标准没有指明可能提供给运行的数据库环境的某些设施。例如:1为特定的用户获得访问和运行优先权的访问控制。2)附加的完整性控制能力,用于在数据库上指明更加复杂的完整性约束。3)转入,转出的模式定义的设施。4)为适应信息交换把记录和系全体复制到标准文件上的数据库存储交换功能。5为使模式和子式信息可用来访问应用程序的模式数据库。6)建立、修改或除部分模式或子模式的操纵语言。7)数据字典界面。
8)产生独立的标推数据库模块和标准语言程序的应用程序的预处理设施,9)定义物理存储结构和物理存取方法的数据存储定义语言。10)为册户指明断言和触发的数据库过程。11)为访问数据库所制定的自然语言查询设施。12)产生输出表和图象的报告生成程序设施。13)数据库与标准图形系统直接接口的图形能力,14)在通讯网络的不同结点上定义和存取数据的分布数据库设施。以某种方式指明这些附加设随的标准应与本标准向上兼容。某些附加能力可能在本标准以后的版本中指明。其余的则在单独的标准中指明,而有些附加功能通常由实现者自己定义。本标准实现的适用环境包括,应用程序设计语言、最终用户查询语言、报告生成系统、数据字典系统、程序库系统和分布式通信系统以及用于数据库设计、数据管理和性能优化的各种工具。2引用标准免费标准bzxz.net
GB8057程序设计语言FORTRAN
国家技术监督局 1995-04-05 批准1995-12-01实施
GB 4092
GH 7591
程序设计语言
程序设计语吉
GB9542
程序设计语言
Pascal
3概述
3-1结构
本标准结构如下:
CB/T 15534—1995
1)3.2条“表示法\和3.3条\约定”定义本标准内所使用的表示法和约定。2)3.1条\相符性\定义相符性准则:3)第4章的“概念”定义术语,开提出在NDL定义中所用到的概念,4)第5章,“公用沉紫\定义在NIDL语言中某些部分所出现的语言元素。5)第6章,“模式定义语言\定义用来指明数据库的 NDL设施。6)第7章,“子模式定义语言”定义用来指明一个应用程序所能引用的部分数据库的NDL设施。7)第8章,“模块语言\定义NDL模块和过程。8)第9章,“数据操纵语言\定义NDI.的数据操纵语何。9)第10章,“辅助操作”定义用于N1>1.数据操纵语句定义中的某些操作。10)第11章,“解释状态”定义用于VDI.数据操纵语句定义中的\会话状态”。11)第12章,“状态码\定义NDL数操纵语句执行后的STATUJS参数的值。12)第 13 章,\级\定义 NDL 的两个级。3.2表示法
本标准内所使用的语法表示法是BNF(巴科斯范式或巴科斯一诺尔范式),并具有如下的扩展。1)方括号([])表示任选元素
2)省略号()表示可以重复次或多次的元素。3)花括号()表示元素的组合序列。在BNF语法中,如果产生式符号(B)出现在产生式符的展开式内菜位置,则产生式符号《A)被定义为\包含\产生式符号(3);如果他含十中如果包含《B)则所在的(A>的产生式符号。如果《A>包含的第一展开式巾,则产生式符号(A>\即刻他含”-个产生式符号本标准的词法单位(例:(分隔符)、《关键字),《标识符>和《字值))在本标准的其他地方定义。下列字符在某些产生式规则有特殊含义:在<换码标识符)中
在《字符串文字)巾
(在<注释),条件>和(下标>中
在<注>,条件>和<下标>中
在<注释)中
在(数字字值)中
在(数字学值)中
在关系)中
在/关系>中
在(成分标识符匹配》,《关系>和
在(标识符)中
..comGB/T15534—1995
在<成分标识符),成分视图标识符),《数字字值),《sc:hemaname子句)和(子模式说明)中。3-3约定1
本标准的语法元紊按以下形式指明:1)功能;对元素用途的简短陈述。2)格式:对元素语法的 BNF定义。3)语法规则:在BNF内没有表示山的而元索应当满足的附如语法的限制。4)一般规则:元素运行时间效果的-个顺序说明。在语法规则中,术语“应《当)”定义能在语法上完全符台NDL语言所要求的一些条件。对不符合格式或语法规则的NDL语言的处理由实现者定义。执行在一般规则中定义的精确动作序列不要求一效性实现,但在数据库中会与此序列达到同样的效果。
术语“持久对象”用来表征如(模块)和<模式>这一类对象,它们是由实现者定义机制予以继立和撤消。
3.4相符性
本标准指明相符的NDL语言和相符的NDI.实现,相符的NDL语言应遵守BNF范式与相应的语法规则。相符的NDI实现成按照一般规则来处理标准的相符的NDL语言。相符的实现可以提供本标准未指明的附加设施或任选功能,即使一个实现提供给用户处理非相符NDL语言或以非相符方试处理相符的NDL语言的选择,该实现仍是相符的。本标不定义应用程序和数据库管理系统成分之间的汇集时间和方法,本标准第1级相符的实现应当满足第2级相符的需求。除非它省略在第13章中所指明的某些设施
本标准指明三种证言,并定义它们各自的语法和语义。数据库管理系统的实现者可以用两种方法来声称他们的产品与本标准的相符性。种方法是实现者可以提供与语台相同的语法,以声称语法与功能两者相符。乃:一种方法是使用不同的语言表达相同的概念语义和功能性,且仅仅声称功能的相符性。声称与一种标准语言任·种功能的相符性应指明语法和功能性与这些标准语言等价。例如,由数据库管理系统的显示实用程序所显示的一个模式能使用标准模式定义的语言的语法来记录,且具有等效的功能。
4概念
4.数据类型
<数据类型)是可表示的值的集合,值的逻辑表示为一个<字值),一个值的物理表示是山实现者定义的,
在衣标准中.值是初等,且对其不能再作逻辑细分。值是数据项和数组定义的基础值或是字符申或是数,字符中与数是相互不可比较的值。4.1.1 字符毕
字符串山实现者定义的字符集的个字符序列组成。字符申有长度。长度是.·个整数,它指明在序列中字符的个数。
数或足精确数值或是近似数值,所有的数是可以比较的值。精确数值有精度和标度。精度是个正整数,它确定数值有效的十进制位数。标度是一个带符号的采用说明:
行原国际标准有一段章条和页码的对照约定,衣起草本标准时认为此约定没什么意义,故删去。..comGB/T 15534-1995
整数.标度为0表示该数字为---个整数,标度为N,表示该精确数值成为有数十进制整数乘以10的一N饮方。
近似数值由尾数和指数组成,尾数是一个带符号的数值,指数是一个带符凸的整数。它指明了尾数的数量级。·个近似数值有一个精度,精度是“正整数”,它指明数中有效的二进制数字的位数。当“-个精确数值赋予一个表示精确数值的数据项或参数时,则它的值应当精确地表示在月的的数据类型中,这个值被转换为日的精度和标度。当精确或近似值赋给一个表示近似数字值的数据项或参数时,则在日的的数据类型表示是此值的近似值,这个值被转换为月的精度。4.2成分
成分或是数据项或是数据项的数组。(成分类型)定义一个有相同<数据类型>成分的出现值的策合,一个数据项含有一个单个值,数组由若干个数据项序列组成。数组由(范围)指明,(范围>是一个<无符号整数)表列。出现在数纽中的数据项的个数等丁<无符号整数>的积。
不包含在数组中的数据项用<成分名>和<数据库键)米引用。包含在数组中的数据项用<成分名),《数据库键》和(下标)来引用。具有相同<成分类型)的所有值有相同的(数据类型),如果(成分类型>定义一个数组.则各个成分出现值是一个具有相同维数和范围整数的数组。有相同字符串成分的所有字符串有相同的长度,所有相同精确数字成分的数有柑同的(精度>和(标度),所有相同避似数学成分的数有相同的<精度。每个<成分类型)定义为一个(记录类型>部分<成分类型>指明<数据类型),如果<成分类型)定义一个数组,则它指明<范圈)。个字符串<成分类型>指明它的字符申的<长度)。一个精确数字<成分类型)指明它的数的(精度)和<标度)。一个近似数字<成分类型>指明它的数的<精度))。4.3记录
本标准中,记录是基本的操纵单位。记录可存储,删除、寻找和修改,以及在系上连接,断结和重新连结。
记录是许多成分的集合。一个(记录类型)定义所有具有相同(成分类型>的记录出现值的集合。《记录类型)定义它的(成分类型),并指明记录出现值应满足的完整性约策。每个记录恰好是一个<记录类型>的出现值,并几恰好山该<记录类型)所定义的成分组成。每个(记录类型>的记录用实现者定义的次序来维持。4.3.1数据库链
所有的记录是可区分的,每个记录由一个(数据库键)唯一地标识。(数据库链)或者为空或者为非空。为空时,标识没有记录非空时,恰好标识数据库中的一个记录。《数据库键>没有逻辑表示,并且它对由本标准所定义的任何界面都是无效的。<数据库键>的物理表示是由实现者定义。在会话状态中<数据库键)用来模拟游标和定义数据操纵语言中语句的语义。在会话状态,(数据库键>由<数据库键)引用。在数据操纵语言的语句,“个数据库键>由个《数据库标识符引用。4.3.2系统记录
本标准存在一个专门的SYSTEM<记录类型)。SYSTEM<记录类型)没有<成分类型),没有完整性约東,且恰好有·一个称为系统记录的虚记录出现值本标准没有指明系统记录的(数据库键),系统记录和SYSTEM<记录类型>仅仅存在于奇异系的定义中。
4.4系类型
(系类型)定义两个或两个以上(记录类型)关系。在《系类型)中,个(记录类型>指定为主《记录类型>,而其余的<记录类型>称为<系类型>的一个成员<记录类型>。
GB/T 15534—1995
对每一个(系类型),在数据库中可能有零个、个、多个系。每个系有个主记录和零个、·个或多个成员记录组成。主记录的(记录类型>是一个成员《记录类型>,
在数据库中.系由<系名>和它的主记录出现值唯一地标识。当个《系类型)的主《记录类型>的一个出现值存储于数据库时,则此(系类型>产生一个新系。当《记求类型>的一个出现值存储在数据库时。它至多属于<系类型>的一个系。在这个<系类型)中,该(记录类型>是一个减员<记录类型)。《系类型>的每个系的成员记录按顺序排列,此顾序由《系类型>的排序规则所决定。4.4.1奇异系
奇<系类型>是以SYSTFM作为主(记录类型>的<系类型)。奇异系是奇异<系类型>的唯一出现值。
4.4-2递归系
递归<系类型>是与土<记录类型)和成员<记录类型>有相同的<记录类型)的系类型。递归系是-个递归<系类型)的值。
4.5模式
模式由模式定义语言所指明的一个持久对象。(模式>是数据库的逻辑描述,它由<模式名》、《记录类型>的描述集和<系型>描述集所组成。4-6子模式
(子模式》是由了模式定义语言指明的持久对象。《子模式)是指对存取<模块>有效的那部分数据库的逻辑描述,它由《子模式名》(记录视图)集含和<系视图)集合组成。记录视图>指明·个给定《记录类型)的有效的<成分类型)。(系视图>指明一个有效的(系类型)。《记录规图》和(系视图》一起快定各个《系类型)有效的成员《记录类型)。(记录视图>和(系视图)可定义《成分类型)<记录类型》和《系类型>的别名,这些别名分别为<成分视图名》、<记录视图名>和<系视图名).这些别名对存取<模块》而言,它们仪仪是<成分类型>、《记录类型)和<系类型>的“个有效名。
存取<模块>可使用的记录是按实现者定义的次序来维持的。这个次序并不“定要与每个<记录类型>的记录实现者所定义次序一致。4.7数据库
数据库是一个《模式>定义的所有数据的集合。它包括每个《记录类型)和<系类型>的出现值。每个(模式>仅定义一个数据库。
4.8模块
《模块>是用模块语言指明的一个持久对象。个(模块>由个任选的<模块名)、一个《语言子句)、一个<子模式说明)、一个任选的<临时累说明>和个或多个《过程>所组成。应用程序是一段可执行的代码,它可由多个子程序组成。单个<模块)在其执行期间与应用程序相联系。个应用程序应当仅与且至多只能与一个<模块>相联系。其中所指明这个联系方式,包括执行某些实现者定义的语句的可能要求,是由实现者定义的。4.9过程
过程>由一个过程名)、一个任选的参数说明>序列和-个任选的序列组成。与(模块>相联成的应用程序可用“Call\语句来引用该(模块)中的《过程),\Call\语句指明该《过程》的(过程名),并且提供参数值的序列,其参数的个数和<数据类型)对应了该过程的(参数申明)。《过程》的调用引起过程所包含序列的执行。一个(模块>的(子模式说明》指明(子模式),该(子模式》定义由《模块》引用的记录和系。一个(模块>的临时系说明>定义由<模块>引用的临时(系类型)。4. 10标准程序设计语言
GB/T 155341995
当(模块)中的<过程)是由符个规定的标准程序设计语言的程序调用时,木标准指明(模块>中(过程>的动作。术语“标准COBOL程序”\标准FORTRAN程序\\标准Pascall程序”和\标准PL./I程序”是指在第二章引用标准”中列出的满足这些标准的相符性准则的那些程序。4. 11临时系
《临时系)是临时<系类型>的一个出现值,临时<系类型>由(模块)中的一个(临时系说明)申明对于<模块)中的每个《临时系说明),当<模块>初启时,创建相应的临时(系类型>的一个出现值,且当(模块)终止时,就撤消。
4.12参数
参数由《过程》中的参数申明>申明。《参数中明》指明参数是一个基本数据项,或数据项的数组,以及指明它的值的<数据类型)在该过程的调用中,参数或者假定者提供相应的自变量的一个值或多个值
4.12.1STATUS参数
STATUS参数是(长度>为5个字符的专用参数。如果在过程中中明STATUS参数,则它的值肾为状态码,此状态码或者指示该<过程>调用成功地完成.或者指示在《过程执行中产生一·个另带条件。4.12.2TEST参数
TEST参数是<长度>为1个字符的专用参数。如果含该参数的(过程>中执行「测试语句·测试为真,则该参数值置为“1”;否则为“0”,4.12.3RECORD参数
RECORD参数是(长度>为18个宁符的专用参数。如果在<过程)巾刊明该参数,则它置成山<会活状态》的(会话游标)所标识记录的(记录名)。4.13会话
-个数据库操作就是执行个。·个会话是与一个《模块》相联的应用程序在执行时所实现的数据库操作序列。《会话状态)是与一个会话相联系的个短暂现象。《会话状态>的创建先于会话中的第个数据库操作,且在会话的最后一个数据库操作之后,被撤消,<会话状态)由<游标,<临时系>和一个《就绪列表>组成。《游标)包括标识当前会话记录的(会话游标),标识各个(「模式》记录类型>的当前记录<记录游标》.以及标识每个《了模式>系类型)在当前系中的主记录和当前成员记录《系游标):《临时系维持由相联的<模块)所定义的各个《临时系>的内容(就绪列表)维特山一个(ready语创>激活的各个<记录类型>的就绪说明)。(会话状态)只有通过才对应用程序有效,《会话状态>内容出数据库管理系统来修改、其依据是:在其相关<模块>的(过程)中执行以及每个(临时系)内容的功能。4.14事务
事务是包括数据库操作在内的个操作序列,该序列对恢复和并发而音是“个原子单位,非务用或一个终止之前,这些修改不能被其他的事务感知.许发事务的执行应确保可串行化。可串行化的执行定义为并发执行事务的操作的种执行·该执行与同--纽事务的某个顺序按行产生相同效果。顺序执行的含义是:每个事务执行在下一个净务开始之前完成。
除在的:般规则中已陈述的影响外,在一个事务内的执行对数据库或<会证状GB/T15534—1995
态>没有影响。联系串行化执行意味着在一个事务中所有读操作是可重现的,除事务自身已明显地做了改变。
4.15完整性约束
完整性约束限定数据库的有效状态,完整性约束可以定义为<记录类型)或(系类型>以及主《记录类型)利成员<记录类型)之间的成分约束。完整性约束是在各个执行后检查,如果与完整性约束相联的目标不满足约束,则L语付)对数据库允效,且STATUS参数置成为指示所指明的例外。4.15. 1检验条件
检验条件是数据库记录状态改变时·记录值应满足的一个表达式。该表达式由<记录类型>或《系类型>的中的的条件指明。4.15.2缺省值
缺省值指(过程》不提供显式的情况下,由所有成分出现值所假定的一个值。缺省值是由(成分类型>的一个《default子句>中的<字值)加以指明。4.15.3唯-性约束
唯一性约束是一个说明·它是指:个给定的《记录类型》没有两个记录,或一个给定《系类型)的个系没有两个成员记录,它们可以在指明的成分上以等值形式出现在数据库中。唯·一性约束是由(记录类型)中的指明,或者山<系类型)的4.15.4系序准则
系序指明·个系中成员记录的顺序。系序有下列儿种1)接成分值排序。
2)按时序或逆时序。
3)按个给定成员记录的先后相对位置。4)由实现者定义。
系序准则由《紧类型>的(ozler了句)指明,且如果序是排序的,则由该(系类型)包括的每个《成员子句>的(key子句>指明。
4.15.5系成员
系成员指明各个系中的作为成员记录出现的记录的插入和保留方式,各个成员<记录类型》有个插入方式和·个保留方式。
插入或是自动的,结构的或是于工的。如果插入是手工的,则应只由一个显式的各个记录初次存储丁数据库时.它成为该(系类型>中某个系的一个成员记录;如果插入是自动的或手工的,则系主记录是由应用程序标识,如果插人是结构的,则系主记录是由数据库管理系统选择,使所得说明的数据项的值等于已插入记录的数据项的值。摘入方式是由<模式>的每个指明的。保留或者是固定的、强制的,或者是可选的。如果保留是固定的,则记录一且成为某个系的成员记录后,就-直为该系的成员记录,直至该记录从数据库删去,如果保留是强制的,则记录一互成为一个系的成员记录后,就直为同:《系类型)中的某个系的成员记录直至记录从数据库中删去,如果保留是可选的,则记录成为某个系的成员记录后,不必一直是该系的成员记录,或该(系类型>中的任何系的成员记录。保留方式由(模式>的各个5.1<条件>
指明取值为真值惑假值的表达式。格式
GB/T15534—1995
<条件)::=(选择>[{OR<选择)}]
<选择)::一(简单条件>[(AND<(简单条件)}\(简单条件)::=(子条件)
[《非子条件】
[(关系条件)
<子条件):: 二((条件>)
<非子条件)::=NOT(<条件))
<关系条件)::=(操作数)(关系)(操作数)(关系):: =-([(=[一[)=[)/<)
语法规卿
1)如果<关系条件)中的第一个<操作数>指明一个数组,则(关系条件>中的第二个<操作数>将不指明是·个数组。
2)如果第一个操作数的类型是字符串,则第二个操作数的类型也应是字符串,如果第一个操作数的类型是精确数,则第二个操作数的类型也应是精确数或近似数:咨第一个操作数的类型是近似数,则第二个操作数的类型应是近似数或精确数。一般规则
1)如果(条件)中的任何个<选择>为真,则<条件)就为真;则是假,2)如果<选择)中的每个(简单条件>均为真,刚<选择)就为真:否则为假。3)如果<广条件)为真,则直接包含个(子条件)的<简单条件>就为真:否则为假。如果直接包含(非了条件)中的<条件)为具,则直接他含<非了条件>的<简单条件)为真:否则为假。如果(关系条件)为真,则直接包含<关系条件>的(简单条件)为真;否则炉假,4)一个(关系条件)的第一(二)个操作数是该<关系条件)中的第-(二)个<操作数)的慎。5)一个<关系条件>的(关系)指明<关系条件的两个操作数之间的比较关系,由选择(关系)指明的比较如下:
<关系〉
小于等于
人于等于
6)如果<关系条件>的两个操作数没有一个是数组,月两个操作数所指定的比较为真,该(关系条件)为真,否则为假;如果(关系条件)的操作数之是数组,且在数组序列中指明的每个值和另-个操作数的比较是真时,则该(关系条件)为真,否则是假。7)情况:
如果操作数是精确数或近似的数字类型·则按其数值斑行比较。b,如果操作数为字符串类型.则「)如果两个操作数的长度不等,则在较短的操作数的行边加土空格字符使其长度相等。正)比较是从左到右执行,逐个操作字符进行比较。如果所有单个字符都相等,则两个操件数相等;否则,操作数的比较结果将取决于单个宁符的最左不等比较的结果。GB/T 15534—1995
直)单个字符的比较是由实现者定义。8)在一般规则中,术语“小于\“大丁”“等于”以及“不等”是指相应的关系操作符。5.2(操作数)
指明一个值。
(操作数》:一《成分标识符》
[<成分视图标识符》
<参数标识符》
[《字值
语法规则
1)情况:
符)。
如果一个<操作数>出现在<模式>中,则它应当是个《成分视图标识符,而不应是《参数标识如果<操作数>出现在<模块》中.则它不应是一个<成分标识符》。b
2)一个《操作数>的数据类型是<成分标识符)、《放分视图标识符),参数标识符>或《字值>的数据类型。
一般规则
1):个《操作数>的值是由<成分标识符》、《成分视图标识符》、《参数标识符>或<学值>的值所引用的数据项或数组。
5.3(标识符)
指明一个(过程)中参数的名字或数据库中月标的名字。格式
<标识符)::=(正规标识符><换码标识符)《正规标识符)::一(大写字母)[({[《下划线}<宁母或数字>}]<下划线):=
(字母数字)一(大字母)《数学)(字母:一(写字世>《小写字盘》<大写字母)::=AiBiC|D|E|F|G|H|IIJiK|1|M|N|Q|P|Q|RISIT/U|V:W|X|Y|Z(小学母)-a|be|d|e|f|g|h|ili|k|limn|o|uqir/sit|u|v|w|xly/z<数字):: -0|11213/4 5/6|718.9(换码标识符):换码标识符字符表示)《撤号表示)
<换码标识符学符)::=见语法规则3。(撇号表示):=’
语法规则
1)一个<正规标识符>最人应含有18个字符.一个<换码标识符>最大应含有18个<换码标识符字符表示)。
2)·个《正规标识符)不应和(关键字)有相同的符序列(见5.8的注释,空格和关键字)。3)·个《换码标识符字符》除了撇号字符()之外,是由实现者定义的任何字符。4)《换码标识符),每个<撤号表示)代表一个单个撒号字符。GB/T 15534—1995
5)如果《换码标识符>(除了闭撤号之外)与《正规标识符>格式相一致,且它不是个《关键字>则它等价于除去闭撤号后形成的<正规标识符)。一般规则
5.4(字值:
指明“个文字值。
(字值):一(字符串字值)
I<数字字值>
《字符串字值::一“《字符表示》…\《字符表示》一《非引号字符》[(引用表示》
(非引号字符):=现语法规则1)《引号表>“\”
<数字字值)::一(精确数字字值)【近似数字享值〉
<精确数字值>:=[十[一](无符号整数>[<无符号整数)《无符号整数>.(无符号整数》)(近似数学字值)::一(尾数>E<指数》(尾数):=(精确数字字值)
《指数):三(符号整数)
《带符号整数)::=「十「一K无符号整数〉《无符号整数=《数字.
语法规则
1)《非引号字符)是实现者定义的字符集中的任何符,但除去双引号标记字符(\)。2)个《字符中字值>的数据类型是字符串,《字符串学值>的长度是它包含的《学符表示>的个数。《字符串字值>内的各个(引号表示>在<字符串字值>的值和长度两方面均代表-一个单号字符。3)不带小数点(.)的<精确数字字值>有一个隐含的小数点,它位于最后一个<数字)之后。4)一个《精确数字字值>的数据类型是精确数,<精确数字学值>的精度是它包含<数字>的个数,(精确数字字值>的标度是小数点右边《数字>的个数。5)《近似数字字值>的数据类型是近似数,<近似数字字值>的精度是它的<尾数>的精度。一般规则
1)《字符串字值>的值是它包含的(字符)序列。2)(无符号整数》、《带符号整数>或<精确数字字值>的数值由带符号的定点十进制表示法的止规数学解释导出。
3)《近似数字宁值>的数值用两个精确数值的乘积来表示,一个是由(尾数)表示的精确数,另一个 10 的(指数)表示的筛。
5.5(数据类型)
指明数据类型。
(数据类型)::一(字符串类型)
[<精确数宁类型>
《近似数宁类型>
<字符类型>学符[<长度>
GB/T15534-1995
<精确数类型)::-FIXEL(精度>[<标度》INUMERIC<精度(标差)
INTEGER
《近似数了类划):=FLOAT<精度》IREAL
IDOUBLE PRECISION
《长度)::=(无符号数)
<精度)一(无符号整数>
<标度)=(带符号整数>
语法规则
1)<长度)、精度>或(无符号整数>应大于0。2)如果省略<长度)则假定它为1;如果省略(标度),则假定它为0。-般规则
1)(数据类型)指明数挪顶值的种类别。2)<数据类型>CHARACTER的一个数据项有个宁符串值,其长度等丁所指明的<长度>的值。3)<数据类型)FIXED的个数据项有一个精确数值.其标度等于所指明的(标度)的值,精度大于或等于所指明的<精度>的值。
4)<数据类型>NUMERIC的一个数据有个精确数值,其精度和标度分别等于所指明的(精度>和(标度)的值;如果精度为P.标度为S,则任何非零NUMERIC数据项的绝对值应人于等于1E一S和小于或等于 1E(P.-S):IE-S
5《数据类型>INTER的:·个数据项有一个精确值,其标度为0,精度由实现者定义。6)《数据类型>FLOAT的数据项有一个近似数值.其精度大于或等于所指明的精度。7)《数据类型>为REA[.的数锯项有-个近似数值,其精度由实现者定义。8)(数据类型>OUHLEPRECIS1ON的数据项有~个近似数值,其精度由实现者定义,它大于实现者定义的REAL的精度。
5.6occurs子句
用指明数组的(范围)来定义一个数组格式
::一OcCLRS<范>
《范囤=(无符号整数
语法规则
1)在(范围>内的各个《无符衍号整数>的值应人于0.般规则
1)--个《:Eur子句>指明一个数据项的数组·在《范围>中的<无符号整数值的积指明包含在数组各个出现值中数据项的个数。
5.7<下标)
指明一个数组的数据明。
<下标)::=((操作数))
语法规则
GB/T15534—1995
1)一个(下标>的上下文《occur子句)在直接包含<下标>的产生式符号的语法规则中加以指明。2)《操作数>的个数应等于上下文《occurs子句>的<范围>中<无符号整数>的个数。3)情况:
a:如果数<操作)是-个《字值),则它应是一个其值为正数(无符弓整数),且不大于上下文(0c-curs子句>的<范围>中相应的(无符号整数>的值。b.如果<操作数>不是一个(字值》,则它的数据类型应是个标度为0的精确数字。般规则
1)令d 为<下标>中(操作数>的个数。2)对i从1到d,令Si为<下标)中的第i个《操作数)之值。3)对i从1到d,令Ei为上下文的<范围>中第i个<无符号整数>之值。4)对i 从 1到 d,若 Si小于零,或 Si 大丁 Ei,则产4:异常的数组引用;下标超界。5)令Md为1,对i从1到(d-1),令Mi为项Ei之积,从(i+1)到d。6) i 从 1到[ d,令 i为 Mi * (Si·-1)的和7)(下标>的值为J+1。
5.8、注释、空格和关键字
指明词法单位。
《分隔符>:={《注释>|<空格><新行)}.(注释=(*[《字符)→)
(学符)::=(数字)<字母)专用字符><专用字符>::=见语法规则1
《空格)空格字符
<新行)::一实现者定义的行结束标记(字):=《关键字)<标识符>(字值》(关键学):
ABSOLUIE|ALLIANDIAS|ASCENDING|AUTOMATICCASCADE:CHARACTER CHECK
ICOBOLICOMMIT CONNECTICONTAIHSIDEFAULTIDESCENDINGIDISCONNECTDOUBLEDUPLICATESIEMPTY|ERASEIEXCLUSIVE
|FIND|FINISHIFIRSTIFIXED|FLOAT|FORIFORTRANIFROM|FULLIGET|IN|INSERTION|INTEGER|ITEM|KEY|I.ANGUAGE|LASTIMANDATORYIMANUAL|MEMBER|MODIFYIMODULEINEXTINOTINULLINULLIFY INUMERICIOCCURS|OF|OPTIONALIOR iORDER|OWNERPARTIALPASCA PLI
IPRECISIONPRIOR|PRODCUREPROHIBITED|PROTECTEDIREADY|REAI|RECONNECTIRECORD|RELATIVE RENAMEDIRETAINIRFTENTIONIRETRIEVEIROLLBACKISCHEMA/SESSION ISETISHARED|SORTED
小提示:此标准内容仅展示完整标准里的部分截取内容,若需要完整标准请到上方自行免费下载完整标准文档。