Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data

This thesis deals with the problems of characterizing the semantics of and assuringe?cient executionfor databasequery languages, wherethedatabase contains semistructured and time-varying information. This area of techn- ogy is of much interest and signi?cance for databases and knowledge bases; it also presents many challenging research problems deserving an in-depth investigation.Thus, the topic of Elisa Quintarelli's dissertation is well chosen and totally appropriate to the current resear...