LEADER 05074nam 22008295 450 001 9910143883303321 005 20200706003308.0 010 $a3-540-36596-6 024 7 $a10.1007/3-540-36596-6 035 $a(CKB)1000000000211916 035 $a(SSID)ssj0000326495 035 $a(PQKBManifestationID)11254441 035 $a(PQKBTitleCode)TC0000326495 035 $a(PQKBWorkID)10296884 035 $a(PQKB)10397144 035 $a(DE-He213)978-3-540-36596-9 035 $a(MiAaPQ)EBC3071625 035 $a(PPN)155165755 035 $a(EXLCZ)991000000000211916 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSemantics in Databases$b[electronic resource] $eSecond International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers /$fedited by Leopoldo Bertossi, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (X, 238 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2582 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-00957-4 320 $aIncludes bibliographical references and index. 327 $aSemantics in Databases -- Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets -- Towards Unifying Semantic Constraints and Security Constraints -- Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases -- Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling -- Characterization of Type Hierarchies with Open Specification -- Null Values in Relational Databases and Sure Information Answers -- Consistency Enforcement in Databases -- Automata- and Logic-Based Pattern Languages for Tree-Structured Data -- Cardinality Constraints in Disjunctive Deductive Databases -- Semantic Classifications of Queries to Relational Databases. 330 $a This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001. The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2582 606 $aData structures (Computer science) 606 $aDatabase management 606 $aComputer logic 606 $aComputer science?Mathematics 606 $aInformation storage and retrieval 606 $aMultimedia information systems 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 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aMultimedia Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I18059 615 0$aData structures (Computer science). 615 0$aDatabase management. 615 0$aComputer logic. 615 0$aComputer science?Mathematics. 615 0$aInformation storage and retrieval. 615 0$aMultimedia information systems. 615 14$aData Structures and Information Theory. 615 24$aDatabase Management. 615 24$aLogics and Meanings of Programs. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aInformation Storage and Retrieval. 615 24$aMultimedia Information Systems. 676 $a005.74 702 $aBertossi$b Leopoldo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKatona$b Gyula O.H$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchewe$b Klaus-Dieter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aThalheim$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143883303321 996 $aSemantics in Databases$91930096 997 $aUNINA