1、 13584-20200612006/450 20 . ISO 13584-20:1998Industrial automation systems and integration Parts library Part 20: Logicalresource: Logical model of expressions(IDT) 27 2002 . 184- , 1.02004 . 1 - - , 42 459 - 3 - 27 2006 . 484-4 13584-20:1998 . . 20. . - (ISO 13584-20:1998 Industrial automation syst
2、ems and integration Partslibrary Part20: Logicalresource:Logicalmodelofexpressions). , G5 , - . () . - , , 2007 , - - II 13584-2020061 .12 13 , 13.1 , 10303-11 .13.2 , 10303-44 .23.3 .23.4 .34 34.1 34.2 .34.3 .34.4 44.5 .44.6 SQL .55 ISO13584_generic_expressions_schema .55.1 .55.2 ISO13584_generic_e
3、xpressions_schema.65.3 ISO13584_generic_expressions_schema .96 ISO13584_expressions_schema .116.1 116.2 ISO13584_expressions_schema .126.3 ISO13584_expressions_schema: 136.4 256.5 .336.6 .37 () .44 () .45 () EXPRESS-G 46 D () ISO13584_expressions_schema .56 E () .59 F () .63 G () .64III 13584-202006
4、 13584, . - , - . , , - , . , : , , , , - , . - 13584-1. , . EXPRESS, , - 13584. , EXPRESS .IV 13584-202006 20 . Industrial automation systems and integration. Parts library.Part 20. Logical resource. Logical model of expressions 200707011 :- EXPRESS- ;- EXPRESS- , EXPRESS, 10303-11, , . , - . :- ,
5、, ;- , , -;- , ;- , ;- , , SQL. :- ;- , .2 :/ 9075:1992 . . SQL 10303-11:1994 . - . 11. . EXPRESS 10303-44:1994 . - . 44. . - 3 , 3.1 , 10303-11.3.1.1 (data type): .3.1.2 (entity): , .1 13584-202006 3.1.3 (entity data type): . - , .3.1.4 ( ) (entity (data type) instance): , , , , .3.2 , 10303-44.3.2
6、.1 - (ancestor node): , . - -, - - .3.2.2 (child node): , .3.2.3 - (descendent node): , . - - , .3.2.4 (directed acyclic graph): , - ( -) .3.2.5 (link): .3.2.6 (node): , - .3.2.7 - (parent node): , .3.3 .3.3.1 (arity of an operator): , .3.3.2 (binary operator): , .3.3.3 (environment): . environment
7、generic_variable () (), variable_semantics.3.3.4 (evaluation): , .3.3.5 (expression): / , -.1 , , -.2 , , , - , . , .3.3.6 (expression data type): , - . ISO13584_expressions_schema. EXPRESS-. EXPRESS- TYPEOF, , expression numeric_expression, Boolean_expression string_expression, is_int, , numeric_ex
8、pression INTEGER.3.3.7 (interpretation): , , - . , (, , ).3.3.8 (multiple arity operator): , .3.3.9 (operator): , , - , , .2 13584-202006 .3.3.10 (semantics): . ,. variable_semantics. ABSTRACT SUPERTYPE, .3.3.11 (syntactic representation): -, .1 , - , , .2 ( ).3.3.12 (type control): , .1 , - .2 EXPR
9、ESS-.3.3.13 (type synthesis): .ISO13584_expressions_schema , , , expression EXPRESS- TYPEOF, , - .3.3.14 (unary operator): , .3.3.15 (variable): , - .3.4 , / 9075:1992:SQL Structured Query Language ( ).4 4.1 , ,- , , , . , . - .4.2 , , . , . , -. , , EXPRESS-, .3 13584-2020064.3 4.3.1 . :- , ;- , ;- ,