# Re: A good book

Date: Mon, 10 Jul 2006 09:16:08 -0600

Message-ID: <MPG.1f1c1d181c00905e989772_at_news.altopia.net>

Cimode <cimode_at_hotmail.com> wrote:

> If you look for a math book about databases you won't find it...If you

*> look for a computing science book about mathematics you won't find:
**> they are interdependent but separate domains.
*

Are you sure I won't find it? I can find rigorous mathematical treatments of most fields of computer science. For example, there are certainly rigorous treatments of compilers, automata and formal languages, decidability, type theory, algorithms (asymptotics and methods of termination proofs and the like, plus certain subfields such as graph algorithms that are developed in the context of deeper mathematical structures), programming language semantics, etc. etc. By "rigorous", I mean that the book actually proves its subject matter using an axiomatic method and a formal model, rather than merely speculating about things that it claims are true. I would assume that databases and the relational model fit in this category, as well.

-- Chris Smith - Lead Software Developer / Technical Trainer MindIQ CorporationReceived on Mon Jul 10 2006 - 17:16:08 CEST