Type inheritance is that phenomenon according to which we can say, for example, that every square is also a rectangle, and so properties that apply to rectangles in general apply to squares in particular. In other words, squares are a subtype of rectangles, and rectangles are a supertype of squares. Recognizing and acting upon such subtype / supertype relationships provides numerous benefits: Certainly it can help in data modeling, and it can also provide for code reuse in applications. For these reasons, many languages, including the standard database language SQL, have long supported such relationships. However, there doesn’t seem to be any consensus in the community at large on a formal, rigorous, and abstract model of inheritance. This book proposes such a model, one that enjoys several advantages over other approaches, not the least of which it is that it’s fully compatible with the well known relational model of data. Topics the model covers include: Both single and multiple inheritance Scalar, tuple, and relation inheritance Type lattices and union and intersection types Polymorphism and substitutability Compile time and run time binding All of these topics are described in detail in the book, with numerous illustrative examples, exercises, and answers. The book also discusses several alternative approaches. In particular, it includes a detailed discussion and analysis of inheritance as supported in the SQL standard.

E. F. Codd’s relational model of data has been described as one of the three greatest inventions of all time (the other two being agriculture and the scientific method), and his receipt of the 1981 ACM Turing Award, the top award in computer science, for inventing it was thoroughly deserved. The papers in which Codd first described his model were staggering in their originality; they had, and continue to have, a huge impact on just about every aspect of the way we do business in the world today. And yet few people, even in the professional database community, are truly familiar with those papers. This book—a thorough overhaul and rewrite of an earlier book by the same name—is an attempt to remedy this sorry state of affairs. In it, well known author C. J. Date provides a detailed examination of all of Codd’s major database publications, explaining the nature of his contribution in depth, and in particular highlighting not only the many things he got right but also some of the things he got wrong. Database theory and practice have evolved considerably since Codd first defined his relational model, back in 1969. This book draws on decades of experience to present the most up to date treatment of the material possible. Anyone with a professional interest in databases can benefit from the insights it contains. The book is product independent.

E. F. Codd's relational model of data has been described as one of the three greatest inventions of all time (the other two being agriculture and the scientific method), and his receipt of the 1981 ACM Turing Award-the top award in computer science-for inventing it was thoroughly deserved. The papers in which Codd first described his model were staggering in their originality; they had, and continue to have, a huge impact on just about every aspect of the way we do business in the world today. And yet few people, even in the professional database community, are truly familiar with those papers. This book is an attempt to remedy this sorry state of affairs. In it, well known author C. J. Date provides a detailed examination of all of Codd's major technical publications, explaining the nature of his contribution in depth, and in particular highlighting not only the many things he got right but also some of the things he got wrong.

This book is a revised, upgraded, and hugely improved version of an earlier one called Logic and Databases. Although it’s effectively a brand new book, therefore, the following remarks from that earlier book are still relevant here. First, logic and databases are inextricably intertwined. The relational model itself is essentially just elementary logic, tailored to database needs. Now, if you’re a database professional, this won’t be 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 logic. Logic is fundamental, and everywhere. As a database professional, therefore, you owe it to yourself to understand the basics of formal logic, and you ought to be able to explain (and perhaps defend) the connections between formal logic and database technology. And that’s what this book is about. What it does is show, through a series of partly independent, partly interrelated essays, just how various crucial aspects of database technology—some of them very familiar, others maybe less so—are solidly grounded in formal logic. Overall, the 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.

Create database designs that scale, meet business requirements, and inherently work toward keeping your data structured and usable in the face of changing business models and software systems. This book is about database design theory. Design theory is the scientific foundation for database design, just as the relational model is the scientific foundation for database technology in general. Databases lie at the heart of so much of what we do in the computing world that negative impacts of poor design can be extraordinarily widespread. This second edition includes greatly expanded coverage of exotic and little understood normal forms such as: essential tuple normal form (ETNF), redundancy free normal form (RFNF), superkey normal form (SKNF), sixth normal form (6NF), and domain key normal form (DKNF). Also included are new appendixes, including one that provides an in-depth look into the crucial notion of data consistency. Sequencing of topics has been improved, and many explanations and examples have been rewritten and clarified based upon the author’s teaching of the content in instructor-led courses. This book aims to be different from other books on design by bridging the gap between the theory of design and the practice of design. The book explains theory in a way that practitioners should be able to understand, and it explains why that theory is of considerable practical importance. Reading this book provides you with an important theoretical grounding on which to do the practical work of database design. Reading the book also helps you in going to and understanding the more academic texts as you build your base of knowledge and expertise. Anyone with a professional interest in database design can benefit from using this book as a stepping-stone toward a more rigorous design approach and more lasting database models. What You Will LearnUnderstand what design theory is and is notBe aware of the two different goals of normalizationKnow which normal forms are truly significant Apply design theory in practice Be familiar with techniques for dealing with redundancy Understand what consistency is and why it is crucially important Who This Book Is For Those having a professional interest in database design, including data and database administrators; educators and students specializing in database matters; information modelers and database designers; DBMS designers, implementers, and other database vendor personnel; and database consultants. The book is product independent.

Understanding SQL's underlying theory is the best way to guarantee that your SQL code is correct and your database schema is robust and maintainable. On the other hand, if you're not well versed in the theory, you can fall into several traps. In SQL and Relational Theory, author C.J. Date demonstrates how you can apply relational theory directly to your use of SQL. With numerous examples and clear explanations of the reasoning behind them, you'll learn how to deal with common SQL dilemmas, such as: Should database access granted be through views instead of base tables? Nulls in your database are causing you to get wrong answers. Why? What can you do about it? Could you write an SQL query to find employees who have never been in the same department for more than six months at a time? SQL supports "quantified comparisons," but they're better avoided. Why? How do you avoid them? Constraints are crucially important, but most SQL products don't support them properly. What can you do to resolve this situation? Database theory and practice have evolved since Edgar Codd originally defined the relational model back in 1969. Independent of any SQL products, SQL and Relational Theory draws on decades of research to present the most up-to-date treatment of the material available anywhere. Anyone with a modest to advanced background in SQL will benefit from the many insights in this book.

Fifty years of relational. It’s hard to believe the relational model has been around now for over half a century! But it has—it was born on August 19th, 1969, when Codd’s first database paper was published. And Chris Date has been involved with it for almost the whole of that time, working closely with Codd for many years and publishing the very first, and definitive, book on the subject in 1975. In this book’s title essay, Chris offers his own unique perspective (two chapters) on those fifty years. No database professional can afford to miss this one of a kind history. But there’s more to this book than just a little personal history. Another unique feature is an extensive and in depth discussion (nine chapters) of a variety of frequently asked questions on relational matters, covering such topics as mathematics and the relational model; relational algebra; predicates; relation valued attributes; keys and normalization; missing information; and the SQL language. Another part of the book offers detailed responses to critics (four chapters). Finally, the book also contains the text of several recent interviews with Chris Date, covering such matters as RM/V2, XML, NoSQL, The Third Manifesto, and how SQL came to dominate the database landscape.