Uma ferramenta para a definição e verificação de regras de integridade em banco de dados.

Abstract

This work is the description of a tool developed with the objective of automatically generating critical programs. The system, developed by us, allows the definition of Integrity Rules (Ris), using a language in two versions, a Portuguese version and a logical version, allowing the definition of new data items (Definitions), starting from of actual data items from the Database.