{"product_id":"9783540576488","title":"Lecture Notes in Computer Science: Fundamentals and Pragmatics","description":"\u003ch1\u003eLecture Notes in Computer Science: Fundamentals and Pragmatics\u003c\/h1\u003e \u003ch2\u003eGogolla, Martin\u003c\/h2\u003e \u003cp\u003eThis text presents a comprehensive introduction to an\nextended              Entity-Relationship model both on a conceptual and\non a formal, mathematicallevel. In addition to the\nprimitives given by the data model the text       introduces a\nlanguage for the formulation of constraints in order           to\nrestrict database states to consistent ones. The text\nexplains an    implementation of the approach chosen in the\nlogic programing language      PROLOG and discusses in this\ncontext the computational power of the proposedcalculus.\nThe extended Entity-Relationship calculus is used to              define\nthe meaning of the relational query language SQL. A nice\nfeature of the approach is that it becomes possible to prove\nlanguage properties on a sound mathematical basis.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1994-01-28\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540576488\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-57648-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 141\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370086883468,"sku":"9783540576488","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540576488.jpg?v=1773970289","url":"https:\/\/lateknightbooks.com\/products\/9783540576488","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}