Help versão 1.0

## Descrição:

#### Este algoritmo provê uma interface de modo que o usuário consiga verificar se uma coleção de camadas respeita um conjunto de regras espaciais.

## Parâmetros:

• Nome da regra → Descrição da regra a ser aplicada ao atributo. • Camada A → Camada referência sob a qual será aplicado predicado espacial selecionado. • Filtro A → Filtro de feições aplicado na camada A, de modo a restringir as feições que serão utilizadas na regra espacial. • Predicado → Coluna que apresenta um nome amigável que representa a regra espacial aplicada. • Camada B → Camada que será relacionada à camada referência quando aplicado o predicado espacial selecionado (pode ser a mesma camada que A). • Filtro B → Filtro de feições aplicado na camada B, de modo a restringir as feições que serão utilizadas na regra espacial. • Cardinalidade → Representa a multiplicade dos eventos observados ao se utilizar o predicado selecionado entre feições de A e B. Segue o padrão "Nmin..Nmax", onde "Nmin" é o número de mínimo de feições de B que se relacionam com uma feição de A, e "Nmax", o máximo de feições de B. Por default, é "1..*", em que "*" indica "qualquer valor" (leia-se 1 ou mais, neste caso).

## Exemplo de uso:

#### Modelagem EDGV3.0 na escala de 1:25.000 (EPSG):4674

• Nome da regra → Regra 1 • Camada A → cbge_deposito_geral_p • Filtro A → opcional • Predicado → Toca • Camada B → hid_massa_dagua_a • Filtro B → opcional • Cardinalidade → opcional

## Exemplo de Flag:

cbge_deposito_geral_p está tocando a classe hid_massa_dagua_a.