[发明专利]面向地理空间数据库属性值约束检查的表达式解析方法

摘要

本发明提供了一种面向地理空间数据库属性值约束检查的表达式解析方法，包括步骤：步骤1，定义属性值约束关系表达式；步骤2，分解与转换属性值约束关系表达式；步骤3，解析表达式；步骤4，判断属性值约束。本发明以地理空间数据库属性值约束关系检查为目的，提供一种利用逻辑蕴含表达式进行地理空间数据库属性值约束关系的标准化定义、解析、计算及判断方法，实现地理空间数据库属性值约束关系的标准化表达、解析与判断。

主权项

1.一种面向地理空间数据库属性值约束检查的表达式解析方法，其特征在于，包括如下步骤：步骤1，定义属性值约束关系表达式属性值约束关系表达式的定义方式为：IF<exp1>Then<exp2>其中，符号IF<exp1>表示括号内的表达式exp1为条件表达式，符号Then<exp2>表示括号内的表达式exp2为决策表达式；条件表达式和决策表达式的计算结果只能为真或者假，且均采用如下定义方式：exp＝(V,A,M,R,L,F)其中，exp表示定义的表达式；(V,A,M,R,L,F)表示表达式exp所包含的全部元素集合；V为自定义值，为数值或者字符串；A为属性名；M为算术运算符，算术运算符包括加法运算符+、减法运算符‑、乘法运算符×、除法运算符/；R为关系运算符，关系运算符包括大于运算符>、大于等于运算符≥、小于运算符＜、小于等于运算符≤、等于运算符＝、不等于运算符<>；L为逻辑运算符，逻辑运算符包括并运算符And、或运算符Or、非运算符Not；F为函数运算符；其中，V、A均称为操作数元素，M、R、L、F均称为操作符元素；步骤2，分解与转换属性值约束关系表达式依据属性值约束关系表达式的定义方式，将属性值约束关系表达式分解为条件表达式exp1与决策表达式exp2，并且将条件表达式、决策表达式分别转换为一个符号顺序表形式进行表达；步骤3，解析表达式根据符号顺序表分别解析计算条件表达式的值、决策表达式的值；步骤4，判断属性值约束依据条件表达式的值和决策表达式的值判断属性值是否满足属性值约束关系表达式；地理空间数据库属性值约束关系是地理空间数据库中一个数据表属性取值之间存在的一种相互限制的关系；所述地理空间数据库中的一个数据表即是一类地理空间要素的集合，称为一个要素集；数据表中的一条记录表示一个地理空间要素，一个数据列表示地理空间要素的一个属性。