Model-Checking Based Data Retrieval
Eliza Quintarelli
€ 67.33
FREE Delivery in Ireland
Description for Model-Checking Based Data Retrieval
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 152 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 233 x 155 x 8. Weight in Grams: 229.
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 research trends. In her thesis, Elisa addresses a number of related problems. However, her work and contributions concentrate on two main problems. The ?rst is the de?nition of an e?ective graph-based approach to the formalization of query ... Read more
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 research trends. In her thesis, Elisa addresses a number of related problems. However, her work and contributions concentrate on two main problems. The ?rst is the de?nition of an e?ective graph-based approach to the formalization of query ... Read more
Product Details
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
152
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
135
Place of Publication
Berlin, Germany
ISBN
9783540209713
SKU
V9783540209713
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Model-Checking Based Data Retrieval
From the reviews of the first edition: "The volume contains the results of the research covered by the Ph.D. dissertation of Elisa Quintarelli at the Politecnico di Milano. Two specific problems in the area of representation of semistructured data and queries are addressed … . The thesis presents research containing novel contributions and an in-depth ... Read more