<インデックス検索条件>::=インデックス単一条件| 論理演算子(<インデックス検索条件>,<インデックス検索条件>)| compress(Attr_name,<インデックス検索条件>)
インデックス単一条件::=範囲検索|Attr_name 比較演算子 Attr_name|
Attr_name= concat(文字列,*)|
not_exist(Attr_name)| is_null(Attr_value)
文字列::= STRING
Attr_name::= ATOM
比較演算子::= =<|<|>|>=|=
論理演算子::= and| or| dif
範囲検索::= range(Attr_name,Attr_value1,Attr_value2)|etc.
Attr_value::= INTEGER| STRING