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
Constants and Variables:   You can declare the constants and variables in the declarative section of any PL/SQL subprogram, block, or package. The Declarations allot the stor

Use the RETURNING Clause Frequently, the application requires information about the row affected by a SQL operation, for illustration, to produce a report or take a subsequent

Role of Abstraction in pl/sql: The abstraction is a high-level description or model of a real-world entity. The Abstractions keep our daily lives convenient. They help us ca

Parameter and Keyword Description: SQL: This SQL is the name of the implicit SQL cursor. %FOUND: This attribute results TRUE if an INSERT, DELETE, or UPDATE state

Interesting properties of CROSS JOIN - SQL Compare these with the "interesting properties of JOIN", CROSS JOIN is associative but not commutative. Unlike JOIN and NATURAL JOI

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 equiv

Semijoin and Composition - SQL For semijoin, the dyadic relational operator MATCHING, defined thus: r1 MATCHING r2, where r1 and r2 are relations such that r1 JOIN r2 is de

Question 1 . Compare SQL and PL/SQL Question 2 . Write a database trigger to implement the following check condition                          Given the following table

Using a Host Variable You can declare the cursor variable in the PL/SQL host environment like an OCI or Pro C program. To use the cursor variable, you should pass it as a host

Relational Algebra - SQL It describes some operators, that together constitute an algebra that is not only relationally complete but also irreducibly so (very nearly- apart f