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
Scope Rules You cannot declare an exception twice in the similar block. Though, you can, declare the similar exception in 2 different blocks. The Exceptions declared in a bloc

Keyword &Parameter Description: index_name: This is an undeclared identifier which can be referenced only within the FORALL statement and only as the collection subscript

Need for Dynamic SQL: You need dynamic SQL in the situations as follows: 1) You would like to execute a SQL data definition statement (like CREATE), a data control statemen

Dynamic SQL: The Most PL/SQL programs do a predictable, specific job. For illustration, a stored procedure may accept an employee number and salary increase, and then update t

Fetching with a Cursor The FETCH statements retrieve the rows in the result set one at a time. After each and every fetch, the cursor advance to the next row in the result set

Subprograms The PL/SQL has two types of subprograms known as the procedures and functions that can take parameters and be invoked. As the following example represents, a subp

%ISOPEN The %ISOPEN yields TRUE if its cursor or cursor variable is open; or else, the %ISOPEN yields FALSE. In the illustration, you use the %ISOPEN to select an action:

IN OUT Mode An IN OUT parameter passes initial values to the subprogram being called and return efficient values to the caller. Within the subprogram, an IN OUT parameter acts

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

Packaging Cursors   You can split a cursor specification from its body for placement in a package. In that way, you can change the cursor body without changing the cursor spec