Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 3 głosach.
Logic and Relational Theory
Niniejsza książka jest poprawioną, zaktualizowaną i znacznie ulepszoną wersją wcześniejszej książki zatytułowanej Logic and Databases. Chociaż jest to w rzeczywistości zupełnie nowa książka, poniższe uwagi z poprzedniej książki są nadal aktualne.
Po pierwsze, logika i bazy danych są ze sobą nierozerwalnie związane. Sam model relacyjny jest zasadniczo tylko elementarną logiką, dostosowaną do potrzeb baz danych. Teraz, jeśli jesteś profesjonalistą w dziedzinie baz danych, nie będzie to dla ciebie nowością - ale nadal możesz nie zdawać sobie sprawy z tego, jak bardzo logika wpływa (lub powinna wpływać) na wszystko, co robimy w świecie baz danych.
Logika jest fundamentalna i wszechobecna. Jako profesjonalista zajmujący się bazami danych jesteś zatem winien sobie zrozumienie podstaw logiki formalnej i powinieneś być w stanie wyjaśnić (i być może bronić) powiązań między logiką formalną a technologią baz danych.
I o tym właśnie jest ta książka. Pokazuje ona, poprzez serię częściowo niezależnych, częściowo powiązanych ze sobą esejów, jak różne kluczowe aspekty technologii baz danych - niektóre z nich są bardzo znane, inne może mniej - są solidnie ugruntowane w logice formalnej.
Ogólnie rzecz biorąc, celem jest pomóc ci uświadomić sobie znaczenie logiki we wszystkim, co robisz, a także, mam nadzieję, pomóc ci zobaczyć, że logika może być zabawna.
