LEADER 05360nam 22007455 450 001 996465336103316 005 20220916212732.0 010 $a3-540-46182-5 024 7 $a10.1007/3-540-51251-9 035 $a(CKB)1000000000233400 035 $a(SSID)ssj0000324817 035 $a(PQKBManifestationID)11253449 035 $a(PQKBTitleCode)TC0000324817 035 $a(PQKBWorkID)10319559 035 $a(PQKB)11104183 035 $a(DE-He213)978-3-540-46182-1 035 $a(PPN)155225502 035 $a(EXLCZ)991000000000233400 100 $a20121227d1989 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMFDBS 89$b[electronic resource] $e2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989. Proceedings /$fedited by Janos Demetrovics, Bernhard Thalheim 205 $a1st ed. 1989. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1989. 215 $a1 online resource (VIII, 432 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v364 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-51251-9 327 $aSelective refutation of integrity constraints in deductive databases -- Approaches to updates over weak instances -- Index selection in relational databases -- Towards a schema design methodology for deductive databases -- Shared abstract data types: An algebraic methodology for their specification -- Specifying closed world assumptions for logic databases -- Interaction of authorities and acquaintances in the DORIS privacy model of data -- Logical rewritings for improving the evaluation of quantified queries -- Mathematical foundations of semantic networks theory -- Functional dependencies and the semilattice of closed classes -- An extended view on data base conceptual design -- Modeling planning problems -- On the interaction between transitive closure and functional dependencies -- A strategy for executing complex queries -- Multiple task selection protocol in a distributed problem solving network -- Equivalent schemes in semantic, nested relational, and relational database models -- Covers for functional independencies -- Restructuring and dependencies in databases -- RTL a Relation and Table Language for statistical databases -- Integration of functions in the fixpoint semantics of rule-based systems -- Locking policies and predeclared transactions -- Means for management of relational fuzzy data bases ? Way to merging of systems of data bases and knowledge bases -- A specification language for static, dynamic and deontic integrity constraints -- Blocks and projections' synthesis in relational databases -- The higher-order entity-relationship model and (DB) -- Goal-oriented concurrency control -- Transitive closure and the LOGA+-strategy for its efficient evaluation. 330 $aThis volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v364 606 $aData structures (Computer science) 606 $aApplication software 606 $aComputers 606 $aDatabase management 606 $aCombinatorics 606 $aMathematical logic 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 606 $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aData structures (Computer science). 615 0$aApplication software. 615 0$aComputers. 615 0$aDatabase management. 615 0$aCombinatorics. 615 0$aMathematical logic. 615 14$aData Structures and Information Theory. 615 24$aComputer Applications. 615 24$aModels and Principles. 615 24$aDatabase Management. 615 24$aCombinatorics. 615 24$aMathematical Logic and Formal Languages. 676 $a005.74 702 $aDemetrovics$b Janos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aThalheim$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465336103316 996 $aMFDBS 89$92831532 997 $aUNISA