LEADER 01208cam a2200301 i 4500 001 991002973309707536 005 199912171024BL20 UCAMI 008 071026s1999 it 000 0 ita d 020 $a9788833911618 035 $ab13610363-39ule_inst 040 $aDip.to Scienze pedagogiche$bita 082 0 $a338.9 100 1 $aMarazzi, Christian$0121329 245 13$aIl posto dei calzini :$bla svolta linguistica dell'economia e i suoi effetti sulla politica /$cChristian Marazzi 260 $aTorino :$bBollati Boringhieri,$c1999 300 $a133 p. ;$c20 cm 490 0 $aTemi ;$v87. 650 04$aEconomia$xStudi 650 04$aPolitica e economia 650 04$aComunicazione$xAspetti economici 650 04$aProduzione$xStudio sociologico 907 $a.b13610363$b28-01-14$c26-10-07 912 $a991002973309707536 945 $aLE022 338 MAR01.01$g1$i2022000124546$lle022$nLE022/NESTORE/2007$op$pE12.39$q-$rl$s- $t0$u2$v0$w2$x0$y.i14594055$z05-11-07 945 $aLE021 SOC26F12$g1$i2021000167386$lle021$o-$pE10.41$q-$rl$s- $t0$u0$v0$w0$x0$y.i15364252$z11-01-12 996 $aPosto dei calzini$9500084 997 $aUNISALENTO 998 $a(2)le022$ale021$b26-10-07$cm$da $e-$fita$git $h3$i0 LEADER 01496nam 2200397 a 450 001 9910698289203321 005 20060418143351.0 035 $a(CKB)4920000000503624 035 $a(OCoLC)66910080 035 $a(EXLCZ)994920000000503624 100 $a20060418d2006 ua 0 101 0 $aeng 135 $aurmn|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEnvironmental Protection Agency$b[electronic resource] $enational primary drinking water regulations : stage 2 disinfectants and disinfection byproducts rule 210 1$aWashington, DC :$cU.S. Government Accountability Office,$d[2006] 215 $a4 unnumbered pages $cdigital, PDF file 300 $aTitle from title screen (viewed on Mar. 29, 2006). 300 $aAuthor: Kathleen E. Wannisky. 300 $a"January 13, 2006." 300 $aPaper version available from: U.S. Government Accountability Office, 441 G St., NW, Rm. LM, Washington, D.C. 20548. 300 $a"GAO-06-350R." 300 $a"B-297817." 517 $aEnvironmental Protection Agency 606 $aDrinking water$xLaw and legislation$zUnited States 615 0$aDrinking water$xLaw and legislation 700 $aWannisky$b Kathleen E$01380733 712 02$aUnited States.$bGovernment Accountability Office. 801 0$bGPO 801 1$bGPO 906 $aDOCUMENT 912 $a9910698289203321 996 $aEnvironmental Protection Agency$93426279 997 $aUNINA LEADER 05004nam 22007935 450 001 9910144209503321 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 $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 $a9910144209503321 996 $aModel-Checking Based Data Retrieval$91026858 997 $aUNINA