https://1library.org/document/ye9pp70q-catalogo-transformacao-automatica-esquemas-relacional-restricoes-estruturais-triviais.html