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 01145nam a2200289 i 4500
001 991001663689707536
005 20020502194714.0
008 941130s1993    it            ||| | ita  
020   $a8822041445
035   $ab10887398-39ule_inst
035   $aLE02374039$9ExL
040   $aDip.to Studi Storici$bita
082 0 $a945.7
100 1 $aMusca, Giosuč$0343164
245 10$aItinerari e centri urbani nel Mezzogiorno normanno-svevo :$batti delle decime giornate normanno-sveve, Bari, 21-24 ottobre 1991 /$ca cura di G. Musca
260   $aBari :$bDedalo,$c1993
300   $a496 p. :$bill. ;$c24 cm.
490 0 $aCentro di studi normanno-svevi. Atti ;$v10
650  4$aCittą$zItalia meridionale$yMedioevo
650  4$aItinerari$yMedioevo
650  4$aMezzogiorno$zItalia- Storia
907   $a.b10887398$b23-02-17$c28-06-02
912   $a991001663689707536
945   $aLE023 945.7 MUS 1 2$g1$i2023000027592$lle023$o-$pE0.00$q-$rl$s-  $t0$u12$v2$w12$x0$y.i1099449x$z28-06-02
996   $aItinerari e centri urbani nel Mezzogiorno normanno-svevo$9917516
997   $aUNISALENTO
998   $ale023$b01-01-94$cm$da  $e-$fita$git $h0$i1