LEADER 03746nam 22007335 450 001 996466016403316 005 20200630184544.0 010 $a3-540-48301-2 024 7 $a10.1007/3-540-57648-7 035 $a(CKB)1000000000234074 035 $a(SSID)ssj0000323061 035 $a(PQKBManifestationID)11937889 035 $a(PQKBTitleCode)TC0000323061 035 $a(PQKBWorkID)10296267 035 $a(PQKB)10726959 035 $a(DE-He213)978-3-540-48301-4 035 $a(PPN)155215086 035 $a(EXLCZ)991000000000234074 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 13$aAn Extended Entity-Relationship Model$b[electronic resource] $eFundamentals and Pragmatics /$fby Martin Gogolla 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (XI, 141 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v767 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57648-7 327 $aStructure of data and entities -- Extended Entity-Relationship calculus -- PROLOG implementation -- Formal semantics of SQL -- Conclusions. 330 $aThis text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematicallevel. In addition to the primitives given by the data model the text introduces a language for the formulation of constraints in order to restrict database states to consistent ones. The text explains an implementation of the approach chosen in the logic programing language PROLOG and discusses in this context the computational power of the proposedcalculus. The extended Entity-Relationship calculus is used to define the meaning of the relational query language SQL. A nice feature of the approach is that it becomes possible to prove language properties on a sound mathematical basis. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v767 606 $aComputers 606 $aOncology   606 $aProgramming languages (Electronic computers) 606 $aDatabase management 606 $aComputer logic 606 $aSoftware engineering 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aOncology$3https://scigraph.springernature.com/ontologies/product-market-codes/H33160 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 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 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aComputers. 615 0$aOncology  . 615 0$aProgramming languages (Electronic computers). 615 0$aDatabase management. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aOncology. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aDatabase Management. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 676 $a005.75 700 $aGogolla$b Martin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0753673 906 $aBOOK 912 $a996466016403316 996 $aAn Extended Entity-Relationship Model$92831650 997 $aUNISA LEADER 01097nam0 22002771i 450 001 UON00332683 005 20231205104226.746 100 $a20090922d1981 |0itac50 ba 101 $arum 102 $aRO 105 $a|||| 1|||| 200 1 $aLeul albastru$fDumitru Radu Popescu$gPrefata si tabel cronologic de Cornel Ungureanu 210 $aBucuresti$cMinerva$eBiblioteca Pentru Toti$d1981 215 $aXXX, 411 p.$d16 cm. 410 1$1001UON00326456$12001 $aBiblioteca pentru toti$v1097 620 $aRO$dBucure?ti$3UONL000071 676 $a859$cLetteratura romena e letterature ladine$v21 700 1$aPOPESCU$bDumitru Radu$3UONV185303$0634776 702 1$aUNGUREANU$bCornel$3UONV188926 712 $aEditura Minerva$3UONV275495$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00332683 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI FONDO BUONINCONTRO A 0162 $eSI EO 43297 5 0162 996 $aLeul albastru$91365984 997 $aUNIOR