Biconditional - sql, PL-SQL Programming

Biconditional - SQL

The biconditional p ↔ q can be expressed in Tutorial D by p = q and the same is true of SQL. The question then arises as to whether, in SQL, p = q is equivalent to (¬p ∨ q) ∧ (¬q ∨ p). This matter is investigated in the truth table of Figure.

1394_biconditional.png

Figure: SQL p = q ≡ (¬p ∨ q) ∧ (¬q ∨ p)

As you can see, the equivalence does hold in SQL, but only because SQL treats unknown as not equal to-i.e., not the same truth value as-itself ! This treatment of p = q is consistent with the general rule that applies when NULL is an operand of a comparison in SQL.

Posted Date: 1/18/2013 4:19:28 AM | Location : United States







Related Discussions:- Biconditional - sql, Assignment Help, Ask Question on Biconditional - sql, Get Answer, Expert's Help, Biconditional - sql Discussions

Write discussion on Biconditional - sql
Your posts are moderated
Related Questions
Example of WRAP Operator - SQL The effect of Example can be obtained in SQL but note that one needs to write down not only the names of the columns being wrapped but also the

I have a Pascal Source file that needs to be compiled into a Service. In addition, there are various functions (Pascal Procedures I guess) that need to be created to Read and Write

Deriving Predicates from Predicates in SQL The corresponding section in the theory book describes how predicates can be derived from predicates using (a) the logical connectiv

SQL Database: So, an SQL database is one whose symbols are organized into a collection of tables. Now, shows an SQL table as the current value of an SQL variable, ENROLMENT, b

I want someone to write a TSQL function that returns the name of the ODBC DSN. I will use the queries below, to get information about the connection, but none of these return th

Opening a Cursor Opening the cursor executes the query & identifies the result set that consists of all rows that meet the query search criteria. For the cursors declared usin

Mutual Recursion The Subprograms are mutually recursive if they directly or indirectly call each other. In the illustration below, the Boolean functions odd & even, that dete

Query: SELECT * FROM EMPLOYEE1; Select 5 columns and all rows from one table Query: SELECT C_ID, COMPANY, BUILDING, DEPARTMENT, BRANCH FROM CONTRACT;

Overloading: Similar to packaged subprograms, methods of the same type can be overloaded. That is, you can use similar name for various methods if their formal parameters diff

Providing Results of Queries Expressing queries in SQL is the (big) subject. Here I present just a simple example to give you the flavour of things to come in those chapters.