Bewertung:

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 3 Stimmen.
Logic and Relational Theory
Dieses Buch ist eine überarbeitete, aktualisierte und stark verbesserte Version eines früheren Buches mit dem Titel Logic and Databases. Obwohl es sich praktisch um ein brandneues Buch handelt, sind die folgenden Bemerkungen aus dem früheren Buch auch hier relevant.
Erstens sind Logik und Datenbanken untrennbar miteinander verwoben. Das relationale Modell selbst ist im Grunde nur elementare Logik, die auf die Bedürfnisse von Datenbanken zugeschnitten ist. Wenn Sie ein Datenbankexperte sind, wird Ihnen das nichts Neues sagen - aber vielleicht ist Ihnen immer noch nicht klar, wie sehr alles, was wir in der Welt der Datenbanken tun, von Logik beeinflusst wird (oder werden sollte).
Logik ist grundlegend und überall. Als Datenbankexperte sind Sie es sich daher schuldig, die Grundlagen der formalen Logik zu verstehen, und Sie sollten in der Lage sein, die Verbindungen zwischen formaler Logik und Datenbanktechnologie zu erklären (und vielleicht zu verteidigen).
Und genau darum geht es in diesem Buch. Es zeigt in einer Reihe von teils unabhängigen, teils zusammenhängenden Aufsätzen, wie verschiedene entscheidende Aspekte der Datenbanktechnologie - einige davon sehr bekannt, andere vielleicht weniger - in der formalen Logik verankert sind.
Insgesamt ist es das Ziel, Ihnen die Bedeutung der Logik bei allem, was Sie tun, vor Augen zu führen, und, so hoffe ich, Ihnen auch zu zeigen, dass Logik Spaß machen kann.