It was quite a trudge through this book.
(As a disclaimer on this review, I should mention I only have a basic familiarity of SQL and this book assumes a more thorough knowledge of it from the outset. I doubt I'm qualified to have a strong an opinion on the book.)
One of the more compelling aspects of this book was that is seemed to target an approach of "theory in use." Since that's an expression that as far as I know I just made up, I'll define it quickly. Many technical books either fall loosely into the practical programming category, often as programming "cookbooks" (do X rather than the typical solution Y when solving problem Z -- here are some common-sense, rather than heavily theory-bound, examples showing why X is better), or they fall more into the theory and algorithm category as closer to textbooks (here's the math to solve a problem Z and one possible implementation X of solving it). SQL and Relational Theory seems to fall in the middle somewhere: it presumes you know, in general, how to solve a problem Z along with a typical solution X then dives into describing how the theory actually demands an alternate solution of Y.
That approach makes it pretty interesting and unique. It's refreshing and reassuring to see the author cares about and knows the math behind his arguments; yet my previous use of the word "demands" is intended to also highlight a peculilarity of this book.
I carefully chose the word "demands" to describe how this book describes its solutions. Lurking between the lines seems to be the sentiment, "Sure you could do it other ways, but obviously you'd be wrong..." It's truly surprising how fervently the author feels about the theory behind what's "correct." I myself tend to like to know and pursue the theory behind code (more than most, I believe) - but at times the author's fervency about correctness seemed - well, in many senses of the word, academic. In the real world, people don't model systems perfectly and if they tried to, nothing would ever get finished. A perfect language and a perfect model aren't going to exist in practice; yet, it seemed from the tone of the book, the author is desperately frustrated that the mathematically ideal database query language is not being used and people are doing things that are just flat out incorrect!
I see a huge number of flaws in the SQL language after having read this, but at the same time had to disagree with the author's seeming rejection of anything that is not emergent from theory alone...and just practical. The author strikes me as right in the majority of his cases, but not all. I think I'd rather the author's own Tutorial D were the predominant database language, rather than SQL (it seems a much cleaner and better designed language); yet at the same time, there was a bit too much certainty about what "is" correct in this book itself.
To give one example, I had wonder about his insistence that the specification of the MIN/MAX functions of an empty relvar should be correspondingly the maximum and minimum values for the scalar type in question. Why are those better? That doesn't seem any more theoretically correct than the SQL specification that they be null values. In fact, it seems to me, that the MIN and MAX of an empty set are undefined, and thus NULL is a far more appropriate value. Yet, it seems the author's incredulity that SQL is not modeled using pure binary logical (i.e. TRUE/FALSE, no NULL) carries over and forces him to reject the SQL specification as clearly incorrect. Perhaps it is incorrect -- but I'm not convinced it is (as posited by the text) self-evidently incorrect.
Taking Javascript as extreme counter-example to the author's theory-modeled Tutorial D language, the flexibility (nulls, undefined, virtually no typing, no constraints, etc.) and how incredibly useful Javascript can be, made me a bit frustrated with the author's seeming insistence on "obvious" correctness due to initial premises that might not be best in practice.
Considering the above as a non-expert with regards to SQL, I'll conjecture that SQL and Relational Theory is likely a great perspective on the topic, but impractical if it were treated as the complete picture.