3.2.3.1.3 Data Validation Formulas

Data validation formulas are part of Data Validation rules.  They shall not use array constants, structure references, or union or intersection binary operators.

 DV-formula=
 DV-expression ;
 DV-expression= {space}, DV-nospace-expression, {space} ;
 DV-nospace-expression=
 "(", DV-expression, ")" | 
 DV-constant | 
 prefix-operator, DV-expression | 
 DV-expression, DV-infix-operator, DV-expression | 
 DV-expression, postfix-operator | 
 A1-reference |
 function-call | 
 name ;
 DV-constant=
 constant – array-constant ;
 DV-infix-operator=
 ":" | "^" | "*" | "/" | "+" | "-" | "&"| 
 "=" | "<>" | "<" | "<=" | ">" | ">=" ; 
 DV-function-call=
 DV-function-name, "(", DV-function-argument-list, ")" ;
 DV-function-name=
 predefined-function-name | 
 name ;
 DV-function-argument-list=
 [DV-expression], { comma, DV-function-argument-list } ;