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