LEADER 05030nam 22007935 450 001 996465902503316 005 20200706111307.0 010 $a1-280-30686-6 010 $a9786610306862 010 $a3-540-24603-7 024 7 $a10.1007/b94902 035 $a(CKB)1000000000212285 035 $a(DE-He213)978-3-540-24603-9 035 $a(SSID)ssj0000203931 035 $a(PQKBManifestationID)11181378 035 $a(PQKBTitleCode)TC0000203931 035 $a(PQKBWorkID)10174067 035 $a(PQKB)11150550 035 $a(MiAaPQ)EBC3087737 035 $a(PPN)155189573 035 $a(EXLCZ)991000000000212285 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel-Checking Based Data Retrieval$b[electronic resource] $eAn Application to Semistructured and Temporal Data /$fby Elisa Quintarelli 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XVII, 135 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2917 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20971-9 320 $aIncludes bibliographical references. 327 $a1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion. 330 $aThis thesis deals with the problems of characterizing the semantics of and assuring efficient execution for database query languages, where the database contains semistructured and time-varying information. This area of technology is of much interest and significance 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 first is the definition of an effective 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 searching 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 biosimulation. This approach is used to de?ne the semantics of several languages, including graphical languages, such as G-Log and GraphLog, semistructured information languages, such as Lorel, and temporal languages, such as TSS-QL. Both graph-based approaches and biosimulation had been used by previous authors for defining query languages and their semantics; however, this work goes well beyond previous approaches by integrating and refining these techniques into a flexible and powerful paradigm that Elisa demonstrates to be effective on a spectrum of languages and a suite of alt- native semantics. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2917 606 $aData structures (Computer science) 606 $aDatabase management 606 $aInformation storage and retrieval 606 $aApplication software 606 $aInformation technology 606 $aBusiness?Data processing 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aIT in Business$3https://scigraph.springernature.com/ontologies/product-market-codes/522000 615 0$aData structures (Computer science). 615 0$aDatabase management. 615 0$aInformation storage and retrieval. 615 0$aApplication software. 615 0$aInformation technology. 615 0$aBusiness?Data processing. 615 14$aData Structures and Information Theory. 615 24$aDatabase Management. 615 24$aInformation Storage and Retrieval. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aIT in Business. 676 $a025.04 700 $aQuintarelli$b Elisa$4aut$4http://id.loc.gov/vocabulary/relators/aut$0597777 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465902503316 996 $aModel-Checking Based Data Retrieval$91026858 997 $aUNISA LEADER 00915nam0-2200289 --450 001 9910684801403321 005 20230420094006.0 010 $a978-88-7187-474-6 100 $a20230420d2022----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $aCodice dell'ambiente$ecommentato$e[aggiornato alla L. 27 aprile 2022, n. 34]$fDavid Alexander Röttgen, Andrea Farì$gprefazione di Alessandro Bratti 205 $a2. ed. 210 $aMilano$cGruppo 24 ore$d2022 215 $aXXXIV, 1068 p.$d24 cm 676 $a344.4504602632$v23$zita 700 1$aRottgen,$bDavid Alexander$c$01348560 701 1$aFarì,$bAndrea$0522402 702 1$aBratti,$bAlessandro 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910684801403321 952 $aXVIII 331$b2023/462$fFGBC 959 $aFGBC 996 $aCodice dell'ambiente$93086076 997 $aUNINA LEADER 01083nam a2200265 i 4500 001 991001578649707536 005 20020502190408.0 008 940421s1980 ||| ||| | ||| 035 $ab10872498-39ule_inst 035 $aLE02372152$9ExL 040 $aDip.to Studi Storici$bita 082 0 $a750.74 100 1 $aBrejon de Lavergnée, Arnauld$0537491 245 10$aDijon, musée Magnin :$bcatalogue des tableaux et dessin italiens (XV-XIX siècles) /$cArnauld Brejon de Lavergnèe 260 $aParis :$bEditions de la Rèunion des muséees nationaux,$c1980 300 $a197 p. :$bill. ;$c24 cm. 490 0 $aInventaire des collections publiques francaises ;$v24 650 4$aMuseo Magnin$zFrancia - Collezione$xPittura 650 4$aPittura- Italia$zFrancia 907 $a.b10872498$b23-02-17$c28-06-02 912 $a991001578649707536 945 $aLE023 750.74 DIJ 1 1$g1$i2023000017760$lle023$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10980817$z28-06-02 996 $aDijon, musée Magnin$9917957 997 $aUNISALENTO 998 $ale023$b01-01-94$cm$da $e-$feng$gxx $h0$i1 LEADER 01182nam0 22002891i 450 001 UON00504659 005 20231205105430.240 010 $a978-27-00-72826-2 100 $a20210118d1990 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aIllusion et réalité$ela signification de l'anxiété$fDavid Smail 210 $aParis$cAubier$d1990 215 $a250 p.$d23 cm. 606 $aCOMPORTAMENTO$xPsicologia$3UONC049769$2FI 606 $aUOMO$xPsicologia$3UONC082023$2FI 620 $aFR$dParis$3UONL002984 700 1$aSMAIL$bDavid$3UONV284624$0790820 712 $aAubier$3UONV258174$4650 801 $aIT$bSOL$c20250613$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00504659 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI FS 07677 $eSI 36320 5 $sBuono 951 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$bSI2021480 1J 20210118 996 $aIllusion et réalité$91766641 997 $aUNIOR