begin
    if v_ch is null or v_from is null then
        return 'error';
    end if;
   
     if instr(v_ch,':') = 0 or instr(v_from,':')= 0 then
         return 'error';
     end if;
   
    temp_v := v_ch;
     loop
         fenhao_address := instr(temp_v,';');
         if fenhao_address=0 then
              --没有找到分号,则为最后一组属性名：属性值
              v_pv := temp_v;
              --检查属性是否是要替换的属性
              if v_pv != v_from then
                     result_v := result_v||';'||v_pv ;
              else
                    if v_to is not null then
                       result_v := result_v||';'||v_to;
                    end if;
              end if;
              --跳出循环
              exit;
          else
             --取出属性对
             v_pv := substr(temp_v,1,instr(temp_v,';')-1);
              --检查属性是否是要替换的属性
              if v_pv != v_from then
                  result_v := result_v||';'||v_pv ;
              else
                 if v_to is not null then
                       result_v := result_v||';'||v_to;
                 end if;
              end if;
             --得到剩余的属性对
             temp_v := substr(temp_v,instr(temp_v,';')+1);
          end if;        
     end loop;
    
     --对结果进行处理,去掉最左侧的分号
     if substr(result_v,1,1)=';' then
          result_v := substr(result_v,2);
     end if;
     --返回结果
     return result_v;
end sp_replace_property_value;

begin
    if (v_strpv is null) or (v_pv is null) then
        return -1;
     end if;
    
     if instr(v_strpv,':')=0 or instr(v_pv,':')=0 then
         return -2;
     end if;
    
    
     --分解v_strpv
     last_pvs := v_strpv;
     loop
         fenhao_address := instr(last_pvs,';');
         if fenhao_address=0 then
              --没有找到分号,则为最后一组属性名：属性值;取出属性对
              temp_pv := last_pvs;
              v_pvs.extend;
              v_pvs(v_pvs.last) := temp_pv;
              --跳出循环
              exit;
          else
             --取出属性对
             temp_pv := substr(last_pvs,1,instr(last_pvs,';')-1);
             --写入数组
             v_pvs.extend;
              v_pvs(v_pvs.last) := temp_pv;
             --得到剩余的属性对
             last_pvs := substr(last_pvs,instr(last_pvs,';')+1);
          end if;        
     end loop;
    
    
     --分解v_pv
     last_pvs := v_pv;
     loop
         fenhao_address := instr(last_pvs,';');
         if fenhao_address=0 then
              --没有找到分号,则为最后一组属性名：属性值;取出属性对
              temp_pv := last_pvs;
              s_pvs.extend;
              s_pvs(s_pvs.last) := temp_pv;
              --跳出循环
              exit;
          else
             --取出属性对
             temp_pv := substr(last_pvs,1,instr(last_pvs,';')-1);
             --写入数组
             s_pvs.extend;
              s_pvs(s_pvs.last) := temp_pv;
             --得到剩余的属性对
             last_pvs := substr(last_pvs,instr(last_pvs,';')+1);
          end if;        
     end loop;
    
     --检查是否存在
     for i in 1..s_pvs.count loop
           v_check := 0;
           for j in 1..v_pvs.count loop
               if v_pvs(j)=s_pvs(i) then
                  v_check := 1;
                  exit;
               end if;
           end loop;
           --如果在本轮循环中，没有一次为真，则返回,不用再继续比较
           if v_check=0 then
              v_result := 0;
              exit;
           end if;
     end loop;
    
     --如果循环执行完
     if v_check=1 then
        v_result := 1;
     end if;
    
     --返回结果
     return v_result;
end sp_exist_property;