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.
Incidentally, I'm going to stop responding in this thread until I manage
to actually read some of the sources suggested thus far. I hope no one
thinks I'm ignoring them.
--
Chris Smith - Lead Software Developer / Technical Trainer
MindIQ Corporation
Received on Mon Jul 10 2006 - 17:16:08 CEST