03746nam 22007335 450 99646601640331620200630184544.03-540-48301-210.1007/3-540-57648-7(CKB)1000000000234074(SSID)ssj0000323061(PQKBManifestationID)11937889(PQKBTitleCode)TC0000323061(PQKBWorkID)10296267(PQKB)10726959(DE-He213)978-3-540-48301-4(PPN)155215086(EXLCZ)99100000000023407420121227d1994 u| 0engurnn|008mamaatxtccrAn Extended Entity-Relationship Model[electronic resource] Fundamentals and Pragmatics /by Martin Gogolla1st ed. 1994.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1994.1 online resource (XI, 141 p.) Lecture Notes in Computer Science,0302-9743 ;767Bibliographic Level Mode of Issuance: Monograph3-540-57648-7 Structure of data and entities -- Extended Entity-Relationship calculus -- PROLOG implementation -- Formal semantics of SQL -- Conclusions.This 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.Lecture Notes in Computer Science,0302-9743 ;767ComputersOncology  Programming languages (Electronic computers)Database managementComputer logicSoftware engineeringTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Oncologyhttps://scigraph.springernature.com/ontologies/product-market-codes/H33160Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computers.Oncology  .Programming languages (Electronic computers).Database management.Computer logic.Software engineering.Theory of Computation.Oncology.Programming Languages, Compilers, Interpreters.Database Management.Logics and Meanings of Programs.Software Engineering.005.75Gogolla Martinauthttp://id.loc.gov/vocabulary/relators/aut753673BOOK996466016403316An Extended Entity-Relationship Model2831650UNISA