文献类型：专利

专利类型：发明专利

是否失效：否

是否授权：否

申 请 号：CN201510232642.9

申 请 日：20150508

发 明 人：李冲 阳建逸 邓智文 黄瑞金 谭理

申 请 人：国家测绘地理信息局四川测绘产品质量监督检验站

申请人地址：610041 四川省成都市高新区九兴大道7号

公 开 日：20150722

公 开 号：CN104794240A

代 理 人：郭国中

代理机构：31236 上海汉声知识产权代理有限公司

语　　种：中文

摘　　要：本发明提供了一种面向地理空间数据库属性值约束检查的表达式解析方法，包括步骤：步骤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，判断属性值约束依据条件表达式的值和决策表达式的值判断属性值是否满足属性值约束关系表达式。

关 键 词：表达式  约束关系  属性值 地理空间数据库 解析  计算及判断  定义属性  转换属性  约束  检查  分解  

IPC专利分类号：G06F17/30(20060101)