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
Create a Oracle procedure to produce vertical output format when selecting rows from a database table.

Project Description: This is stage 1 of a larger conversion project. We are converting a traditional Server/Client application written in Access 2007 into a web interface with S

Fetching from a Cursor Variable The FETCH statement retrieve rows one at a time from the product set of a multi-row query. The syntax for the same is as shown: FETCH {curso

Declaring a Cursor The Forward references are not allowed in the PL/SQL. Therefore, you must declare a cursor before referencing it in other statements. Whenever you declare a

Creating and Destroying Base Tables: Example shows an SQL command to create the base table counterpart of the ENROLMENT variable Example  Creating a base table. CREATE T

Difference between 9i & 10G When Oracle releases any new databases then it are having some discrepancy with them. But 10G is having much difference than oracle 9i has. Oracle

LEVEL You use the LEVEL with the SELECT CONNECT BY statement to categorize rows from a database table into a tree structure. The LEVEL returns the level number of a node in a

Calling Constructors: The Calls to a constructor are allowed wherever the function calls are allowed. Similarly to the functions, a constructor is called as a section of an ex

Passing Cursor Parameters You use the OPEN statement to pass the parameters to a cursor. Unless you want to accept the default values, each proper parameter in the cursor decl

1. Create a procedure called TAX_COST_SP to accomplish the tax calculation task. Keep in mind that the state and subtotal values are inputs into the procedure and the procedure is