• Constraint
• DNA Sequences
• Pattern Discovery

Obiettivo della tesi è sviluppare un sistema per la scoperta di pattern da sequenze di DNA basato su vincoli definiti dall'utene. Si definisce formalmente il problema e si studiano le proprietà di alcuni vincoli interessanti. Sulla base di queste proprietà si modifica l'algoritmo Teiresias aggiungendo i vincoli. L'utilizzo dei vincoli aiuta a ridurre l'insieme dei pattern estratti, focalizzando l'attenzione su quelli di interesse e riducendo al tempo stesso lo spazio di ricerca e quindi i tempi di esecuzione. Il sistema è testato empiricamente.