Calcolo simbolico e banche dati