Model-Checking Based Data Retrieval - Quintarelli, Elisa
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre81,76 €
Produit Neuf
Ou 20,44 € /mois
- Livraison : 25,00 €
- Livré entre le 7 et le 12 mai
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Model - Checking Based Data Retrieval Format Broché - Livre Littérature Générale
0 avis sur Model - Checking Based Data Retrieval Format Broché - Livre Littérature Générale
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Antecume Ou Une Autre Vie
Occasion dès 75,63 €
-
Peter Doig
1 avis
Neuf dès 74,71 €
Occasion dès 134,83 €
-
Classic Beauty
Neuf dès 51,80 €
-
Bazi Hour Pillar Useful Gods -- Metal
Neuf dès 60,62 €
-
Guitar World S 50 Greatest Rock Songs Of All Time Guitar Recorded Versions Note-For-Note Transcriptions Of Iconic Rock Hits
Neuf dès 65,38 €
Occasion dès 78,99 €
-
Historic Sugar Mills In Santo Domingo ¿ Case Studies In Adaptive Reuse
Neuf dès 48,32 €
-
Moschino
Occasion dès 57,99 €
-
A Hebrew And English Lexicon Of The Old Testament
Occasion dès 49,30 €
-
Handbag Book
Neuf dès 79,61 €
Occasion dès 146,34 €
-
Starting Data Analytics With Generative Ai And Python
Neuf dès 66,47 €
-
View From A Hill
1 avis
Neuf dès 43,73 €
-
The Etchings Of James Mcneill Whistler
Occasion dès 44,98 €
-
Serge Anton - Portraits Et Paysages Du Monde
Neuf dès 49,95 €
-
Caractère Chinois Étymologie Graphies Lexiques Wieger
Occasion dès 120,00 €
-
Stand Der Dinge
Occasion dès 48,00 €
-
The Art Of Dreamworks The Wild Robot
1 avis
Neuf dès 44,66 €
Occasion dès 84,84 €
-
Athenaze, Book I
Neuf dès 110,94 €
-
The Art Of Dishonored 2
2 avis
Neuf dès 57,38 €
-
500 Animals In Clay : Contemporary Expressions Of The Animal Form A Lark Ceramics Book
Occasion dès 45,00 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
Produits similaires
Présentation Model - Checking Based Data Retrieval Format Broché
- Livre Littérature Générale
Résumé :
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.
Sommaire:
1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion....
Détails de conformité du produit
Personne responsable dans l'UE