Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Model-Checking Based Data Retrieval. An Application to Semistructured and Temporal Data
Автор: Quintarelli E.
Аннотация:
This thesis deals with the problems of characterizing the semantics of and assuring efficient execution for database query languages, where the database contains semistructured and time-varying information. This area of technology is of much interest and significance 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 research trends.