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

By Elisa Quintarelli

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 description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540209719
• ISBN13: 9783540209713
• Release Date: February 2004
• Publisher: Springer
• Length: 135 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"