Un sistema di controllo semantico per linguaggi di interrogazione di una basedati relazionale

In this paper a solution to the problem of the semantic checking of query languages for relational databases is proposed. This solution takes into account the funtional dependencies and the hierarchical structure of the different object types represented.