Logic and Databases: The Roots of Relational Theory
暫譯: 邏輯與資料庫:關聯理論的根源

C. J. Date

  • 出版商: Trafford
  • 出版日期: 2007-06-18
  • 售價: $1,600
  • 貴賓價: 9.5$1,520
  • 語言: 英文
  • 頁數: 460
  • 裝訂: Paperback
  • ISBN: 1425122906
  • ISBN-13: 9781425122904
  • 相關分類: 資料庫SQL
  • 海外代購書籍(需單獨結帳)

買這商品的人也買了...

相關主題

商品描述

Description

Logic and databases are inextricably intertwined. The relational model in particular is essentially just elementary predicate logic, tailored to fit the needs of database management. Now, if you're a database professional, I'm sure this isn't news to you; but you still might not realize just how much everything we do in the database world is - or should be! - affected by predicate logic. Logic is everywhere.

So if you're a database professional you really owe it to yourself to understand the basics of formal logic, and you really ought to be able to explain (and perhaps defend) the connections between formal logic and database management. And that's what this book is about. What it does is show, through a series of partly independent and partly interrelate essays, just how various crucial aspects of database technology-some of them very familiar, others maybe less so- are solidly grounded in formal logic. It is divided into five parts:
*Basic Logic
*Logic and Database Management
*Logic and Database Design
*Logic and Algebra
*Logic and the Third Manifesto

There's also a lengthy appendix, containing a collection of frequently asked questions (and some answers) on various aspects of logic and database management. Overall, my goal is to help you realize the importance of logic in everything you do, and also- I hope- to help you see that logic can be fun.

商品描述(中文翻譯)

**描述**

邏輯與資料庫密不可分。特別是關聯模型,本質上只是基本的謂詞邏輯,經過調整以符合資料庫管理的需求。如果你是一位資料庫專業人士,我相信這對你來說並不陌生;但你可能仍然沒有意識到我們在資料庫世界中所做的一切 - 或者應該做的! - 都受到謂詞邏輯的影響。邏輯無處不在。

因此,如果你是一位資料庫專業人士,你真的應該了解正式邏輯的基本概念,並且應該能夠解釋(甚至辯護)正式邏輯與資料庫管理之間的聯繫。這就是本書的主題。本書通過一系列部分獨立且部分相互關聯的文章,展示了資料庫技術的各個關鍵方面 - 有些非常熟悉,有些可能不那麼熟悉 - 是如何堅實地根植於正式邏輯中。它分為五個部分:
* 基本邏輯
* 邏輯與資料庫管理
* 邏輯與資料庫設計
* 邏輯與代數
* 邏輯與第三宣言

此外,還有一個長篇附錄,包含有關邏輯和資料庫管理各個方面的常見問題(及一些答案)集合。總體而言,我的目標是幫助你意識到邏輯在你所做的一切中的重要性,並且 - 我希望 - 幫助你看到邏輯也可以是有趣的。