O objetivo geral deste estudo consiste na proposta de um algoritmo que possibilite a validação e geração automática de código SQL a partir de uma restrição OCL (Object Constraint Language). Além disso, tem como objetivo mostrar que a expressão OCL estendida com construtores geográficos podem auxiliar na modelagem conceitual de dados geográficos utilizando o UML-GeoFrame. Na metodologia se fez necessária a proposta de uma verificação de expressões OCL fornecidas como entrada para geração de código de bancos de dados relacional. Para isso foi proposto um pseudocódigo a ser implementado como trabalho futuro na ferramenta ArgoCASEGEO, que seja capaz de analisar uma expressão OCL estendida fornecida pelo projetista para modelagem de Banco de Dados Geográficos. Para validar a expressão OCL foi utilizado um autômato pertencente à família das Linguagens Regulares, conhecido como Autômato Finito Deterministico (AFD). O AFD foi utilizado como auxilio na produção do pseudocódigo capaz de validar a expressão OCL. O pseudocódigo gerado possui a estrutura IF-THEN-ELSE, que analisa um estado e o que está sendo lido naquele determinado instante. Se o dado que está sendo lido for o mesmo encontrado na expressão informada retorna verdadeiro e passa para um próximo estado, caso contrário à expressão é considerada inválida. A expressão só é considerada válida pelo autômato e pelo pseudocódigo quando tiver alcançado o último estado. Uma vez validada a expressão OCL, esta torna-se entrada para a geração de um pseucódigo que seja capaz de gerar de forma automática um comando PL/SQL baseado em gatilhos. Esse gatilho será utilizado para verificar a consistência dos dados antes deles serem inseridos no banco de dados, dessa forma verificando se os dados não violam as restrições topológicas estabelecidas inicialmente pelo projetista. Para avaliar o trabalho foi utilizado um estudo de caso adaptado do modelo de transporte público e trânsito da cidade de Belo Horizonte encontrado na literatura. Com base nos resultados, pode-se perceber a importância do uso da OCL durante a especificação de restrições de integridade topológicas entre os elementos geográficos presentes nos diagramas elaborados a partir dos construtores do modelo UML-GeoFrame. Aliada a validação de expressões OCL e a proposta inicial de suas implementações dentro do banco de dados relacional, foi possível também se permitir a eliminação dos erros já na fase inicial da modelagem conceitual de dados, permitindo ao projetista obter um modelo preciso, sem ambiguidades e de acordo com as especificações da UML.