Model-Checking Based Data Retrieval O.P 7Systemfunktionen und [¿]

7Systemfunktionen und [¿]

Beispielweise ist es den jeweiligen Personen überlassen

maskuline Schreibweise verwendet

oder wird eine Integration verweigert

Beiträge zur Kenntniss des Landes und seiner Geschichte

Model-Checking Based Data Retrieval O.P 7Systemfunktionen und [¿]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 Quintarellis dissertation is well chosen and