Inside Microsoft® SQL Server® 2008: T-SQL Querying

Conclusion

This chapter contained a brief introduction to two foundations of modern mathematics and computer science: set theory and predicate logic. Set theory and logic are particularly important to understanding SQL and relational databases. Along the way, you learned some specific techniques, such as how to negate quantified predicates, and some alternate ways to characterize sets and express logical propositions. One particular tool, the characteristic function of a set, provided a valuable and flexible key programming technique.