express 参考手册

《express 参考手册》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、EXPRESS语言参考手册108目录第1章概述错误!未找到索引项。1.1基本概念1.2语法格式1.3特殊字符注解第2章基本语言元素2.1字符集2.1.1数字(digits)2.1.2字母(letter)2.1.3下划线2.1.4特殊字符2.1.5空字符2.2注解（Remark）2.2.1嵌入式注解2.2.2行尾注解2.3符号2.4保留字2.4.1关键字2.4.2作为运算符的保留字2.4.3标准常数2.4.4标准函数2.4.5标准过程2.5标识符2.6常数2.6.1二进制常数2.6.2整数2.6.3实数常数2.6.4字

2、符串常数2.6.5逻辑常数第3章、数据类型3.1简单类型3.1.1NUNBER(数值类型)3.1.2INTEGER(整数类型)3.1.3REAL(实数类型)3.1.4LOGICAL(逻辑类型)3.1.5BOOLEAN(布尔类型)3.1.6BINARY(二进制类型)1083.1.7STRING(字符串类型)3.2聚集数据类型3.2.1ARRAY(数组类型)3.2.2BAG(包类型)3.2.3LIST(表类型)3.2.4SET(集合类型）3.3实体数据类型(EntityType)3.4自定义数据类型(DefinedTyp

3、e)3.5枚举类型3.6选择数据类型(Select)第4章、声明语句与块4.1标识符的作用域4.2类型声明(TypeDeclarations)4.3实体(Entity)4.3.1属性(Attributes)4.3.2局部规则(LocalRules)4.3.3超类与子类4.3.4隐含声明(ImplicitDeclarations)4.4模式(Schema)4.5常量(constant)4.6算法(Algorithms)4.6.1参数(Parameters)4.6.2局部变量(LocalVariables)4.6.3函数

4、4.6.4过程4.7规则(Rule)第5章、接口规范5.1USE接口规范5.2REFERENCE接口规范5.3USE与REFERNCE的相互制约5.4隐式引用5.4.1常量引用(CONSTANTREFERENCE)5.4.2实体引用(ENTITYREFERENCE)5.4.3函数引用(FUNCTIONREFERENCES)5.4.4过程引用(PROCEDUREREFERENCES)5.4.5类型引用(TYPEREFERENCES)5.5子类的修剪(pruning)第6章、表达式6.1算术运算符1086.1.1实数取舍

5、（REALNUMBERROUNDING)6.2关系运算符6.2.1值比较运算符6.2.2区间表达式6.2.3实例比较运算符6.2.4成员运算符6.2.5LIKE运算符6.3二进制运算符6.3.1二进制下标运算6.3.2二进制数子串下标6.3.3二进制数连接运算符6.4逻辑运算符6.4.1NOT运算符6.4.2AND运算符6.4.3OR运算符6.4.4XOR运算符6.5字符串运算符6.5.1串下标6.5.2子串下标6.5.3字符串连接运算符6.6聚集运算符6.6.1聚集下标6.6.2相交运算符6.6.3并运算符6.6.

6、4差运算符6.6.5子集运算符6.6.6超集运算符6.7引用6.7.1简单引用6.7.2前缀式引用6.8实体运算符6.8.1属性的引用6.8.2组引用(groupreference)6.9函数调用6.10聚集的初始化6.11实体生成器6.11.1复杂实体生成器6.12类型兼容性第7章、可执行语句1087.1空语句7.2ALIAS语句7.3赋值语句7.4CASE语句7.5复合语句7.6ESCAPE语句7.7IF...THEN...ELSE语句7.8过程调用语句7.9REPEAT(循环)语句7.9.1增量控制7.9.2W

7、HILE条件7.9.3UNTIL条件7.10RETURN语句7.11SKIP语句第8章、标准常量8.1常数e8.2不确定值8.3逻辑假--FALSE8.4圆周率--PI8.5自身词--SELF8.6逻辑真--TRUE8.7UNKNOW第9章、标准函数第10章、标准过程108第1章概述EXPRESS是一种规范化的信息模型语言。它提供了对论域中对象的规范(或定义)的详细描述，同时地提供了与这些对象有关的信息和约束的描述。EXPRESS主要用于信息建模。关于其标准可参见ISOTR9007、ISO10303。EXPRESS并

8、不是一种程序设计语言。它由允许用明确和简要说明数据限制定义的明确对象语言元素组成。EXPRESS语言不包含输入/输出、信息处理以及管理之外的语言元素。1.1基本概念在EXPRESS中，定义了以下概念：属性(Attribute)：用于描述实体的特性、品质、特征等。概念模式(ConceptualSchema)：没有具体实现的一种模式。常量(Cons