Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9783540209713: Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data (Lecture Notes in Computer Science)

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 languages for semistructured and temporal information. In her approach, query execution is viewed as the process of matching the query graph with the database instance graph; therefore, query execution reduces to sear- ing the database for subgraphs that are similar to the given query graph. The search for such matches can be supported through the computational process of bisimulation. This approach is used to de?ne the semantics of s- eral languages, including graphical languages, such as G-Log and GraphLog, semistructuredinformationlanguages,suchasLorel,andtemporallanguages, such as TSS-QL. Both graph-based approaches and bisimulation had been used by previous authors for de?ning query languages and their semantics; however, this work goes well beyond previous approaches by integrating and re?ning these techniques into a ?exible and powerful paradigm that Elisa demonstrates to be e?ective on a spectrum of languages and a suite of alt- native semantics.

"synopsis" may belong to another edition of this title.

Review:

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 expertise on several topics. It represents a valuable source of information." (Antonín Ríha, Zentralblatt MATH, Vol. 1069, 2005)

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Quintarelli, Elisa
Published by Springer (2017)
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Paperback Quantity Available: 2
Print on Demand
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Springer, 2017. Paperback. Book Condition: New. Never used! This item is printed on demand. Bookseller Inventory # P113540209719

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 53.76
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

2.

Elisa Quintarelli
Published by Springer (2004)
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Paperback Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2004. Paperback. Book Condition: New. book. Bookseller Inventory # M3540209719

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 67.05
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Eliza Quintarelli
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783540209713

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 83.71
Convert Currency

Add to Basket

Shipping: US$ 12.07
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Quintarelli, Elisa
Published by Springer (2016)
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783540209713_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 90.64
Convert Currency

Add to Basket

Shipping: US$ 5.20
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

ELISA QUINTARELLI
Published by Springer (2004)
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2004. Paperback. Book Condition: NEW. 9783540209713 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Bookseller Inventory # HTANDREE0329897

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 87.01
Convert Currency

Add to Basket

Shipping: US$ 10.73
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Eliza Quintarelli
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9783540209713

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 96.11
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

7.

Elisa Quintarelli
Published by Springer (2008)
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 2008. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # LP9783540209713

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 99.71
Convert Currency

Add to Basket

Shipping: US$ 3.54
From Germany to U.S.A.
Destination, Rates & Speeds

8.

Quintarelli, Elisa
Published by Springer (2004)
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Paperback Quantity Available: 10
Print on Demand
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2004. Paperback. Book Condition: New. This item is printed on demand. Bookseller Inventory # INGM9783540209713

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 125.07
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

9.

Elisa Quintarelli
Published by Springer
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Book Condition: New. 135 pages. Dimensions: 9.1in. x 6.1in. x 0.3in.This thesis deals with the problems of characterizing the semantics of and assuringecient executionfor databasequery languages, wherethedatabase contains semistructured and time-varying information. This area of techn- ogy is of much interest and signicance 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 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 denition of an eective graph-based approach to the formalization of query languages for semistructured and temporal information. In her approach, query execution is viewed as the process of matching the query graph with the database instance graph; therefore, query execution reduces to sear- ing the database for subgraphs that are similar to the given query graph. The search for such matches can be supported through the computational process of bisimulation. This approach is used to dene the semantics of s- eral languages, including graphical languages, such as G-Log and GraphLog, semistructuredinformationlanguages, suchasLorel, andtemporallanguages, such as TSS-QL. Both graph-based approaches and bisimulation had been used by previous authors for dening query languages and their semantics; however, this work goes well beyond previous approaches by integrating and rening these techniques into a exible and powerful paradigm that Elisa demonstrates to be eective on a spectrum of languages and a suite of alt- native semantics. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9783540209713

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 131.96
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

10.

Eliza Quintarelli
Published by Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (2004)
ISBN 10: 3540209719 ISBN 13: 9783540209713
New Paperback Quantity Available: > 20
Print on Demand
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, 2004. Paperback. Book Condition: New. 2004 ed.. Language: English . Brand New Book ***** Print on Demand *****.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 languages for semistructured and temporal information. In her approach, query execution is viewed as the process of matching the query graph with the database instance graph; therefore, query execution reduces to sear- ing the database for subgraphs that are similar to the given query graph. The search for such matches can be supported through the computational process of bisimulation. This approach is used to de?ne the semantics of s- eral languages, including graphical languages, such as G-Log and GraphLog, semistructuredinformationlanguages,suchasLorel,andtemporallanguages, such as TSS-QL. Both graph-based approaches and bisimulation had been used by previous authors for de?ning query languages and their semantics; however, this work goes well beyond previous approaches by integrating and re?ning these techniques into a ?exible and powerful paradigm that Elisa demonstrates to be e?ective on a spectrum of languages and a suite of alt- native semantics. Bookseller Inventory # AAV9783540209713

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 139.83
Convert Currency

Add to Basket

Shipping: US$ 4.02
From United Kingdom to U.S.A.
Destination, Rates & Speeds