EVENTO

SEMINARIO

Temporal logics as database query languages

Ionel Eduard Stan

Università di Udine

Abstract
L’approfondimento introduce due logiche temporali proposte come linguaggi d'interrogazione per basi di basi, accennando anche alla loro espressività. Sarà inoltre presentata una codifica intervallare concreta dei modelli astratti e sarà fatto un confronto con le funzionalità temporali introdotte dallo standard SQL:2011.