Predicate Logic

Predicate logic is a mathematical framework for representing and manipulating expressions that are true or false: facts and falsehoods.

Logic-Like Features of Programming Languages

T-SQL, like many programming languages, incorporates true-false expressions and logical operators in several places, not all of which are, strictly speaking, related to predicate logic.



A true-false expression is called a Boolean expression (after the logician George Boole). Boolean logic begins with the study of Boolean expressions.

The Keyword IF in Control-of-Flow Statements

Although the focus of this book is on T-SQL’s query language, and SQL’s central ...

Get Inside Microsoft® SQL Server® 2008: T-SQL Querying now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.