Views are virtual tables. That means they should be updatable, just as "real" or base tables are. In fact, view updatability isn’t just desirable, it’s crucial, for practical reasons as well as theoretical ones. But view updating has always been a controversial topic. Ever since the relational model first appeared, there has been widespread skepticism as to whether (in general) view updating is even possible. In stark contrast to this conventional wisdom, this book shows how views, just like base tables, can always be updated (so long as the updates don’t violate any integrity constraints). More generally, it shows how updating always ought to work, regardless of whether the target is a base table or a view. The proposed scheme is 100% consistent with the relational model, but rather different from the way updating works in SQL products today. This book can: Help database products improve in the future Help with a "roll your own" implementation, absent such product improvements Make you aware of the crucial role of predicates and constraints Show you how relational products are really supposed to behave Anyone with a professional interest in the relational model, relational technology, or database systems in general can benefit from this book.

Annotation C.J. Date, one of the key researchers in the field of relational databases, explains in this book the best practices of database coding, with clear explanations of the reasoning behind them. Common advice (such as avoiding NULLs) and not-so-common advices (such as avoiding duplicate records) are laid out in a clear manner.

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.