Logica e teoria relazionale

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 3 voti.

Titolo originale:

Logic and Relational Theory

Contenuto del libro:

Questo libro è una versione riveduta, aggiornata ed enormemente migliorata di un precedente libro intitolato Logica e basi di dati. Sebbene si tratti di un libro completamente nuovo, le osservazioni che seguono, tratte da quel libro precedente, sono ancora pertinenti.

In primo luogo, logica e basi di dati sono inestricabilmente intrecciate. Il modello relazionale stesso è essenzialmente una logica elementare, adattata alle esigenze dei database. Se siete professionisti dei database, questa non sarà una novità per voi, ma forse non vi rendete conto di quanto tutto ciò che facciamo nel mondo dei database sia (o debba essere) influenzato dalla logica.

La logica è fondamentale, e ovunque. Come professionisti dei database, quindi, avete il dovere di comprendere le basi della logica formale e dovreste essere in grado di spiegare (e forse difendere) le connessioni tra la logica formale e la tecnologia dei database.

Questo è l'obiettivo di questo libro. Attraverso una serie di saggi, in parte indipendenti e in parte interrelati, mostra come vari aspetti cruciali della tecnologia dei database - alcuni molto familiari, altri forse meno - siano solidamente fondati sulla logica formale.

Nel complesso, l'obiettivo è quello di aiutarvi a capire l'importanza della logica in tutto ciò che fate e anche, spero, a farvi capire che la logica può essere divertente.