Teoria e metodi per la progettazione e l'uso di basi di dati relazionali