Disjunction - sql, PL-SQL Programming

Disjunction (OR, ∨)

Again we have nine rows instead of just four and again, when unknown is not involved, the rows are as for 2VL. Also, when anything is paired with true, the result is true, as in 2VL. Our intuition, that "p or q" is true exactly when at least one operand is true, is preserved.

526_Disjunction (OR, ∨).png

Figure: The SQL Truth Table for Disjunction

Now, in the theory book it is noted that disjunction could equally well be defined in terms of conjunction and negation, as

p ∨ q ≡ ¬ (¬ p ∧ ¬ q)

and the truth table in Figure is given as proof of that equivalence. The question arises, does the same equivalence hold in SQL? To answer that we need to look at the revised Figure.

1667_Disjunction 2.png

Figure: SQL Disjunction in Terms of SQL Negation and SQL Conjunction

Posted Date: 1/18/2013 4:12:59 AM | Location : United States







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

Write discussion on Disjunction - sql
Your posts are moderated
Related Questions
Use Serially Reusable Packages To help you to manage the use of memory, the PL/SQL gives the pragma SERIALLY_ REUSABLE that mark some packages as serially reusable . So mark

SQL outer join SELECT * FROM IS_CALLED NATURAL LEFT JOIN IS_ENROLLED_ON Note that adding LEFT to an invocation of CROSS JOIN has no effect unless the right-hand operand

Wrapping and unwrapping in SQL Operators WRAP and UNWRAP in connection with attributes whose declared types are tuple types. Example shows how extension and projection can be

The accuracy of product table data is critical and the Brwebean's. owner wants to have an audit file that contains information regarding all DML activity on the BB_PRODUCT table. T

Procedural Constraint Enforcement (Triggers) SQL has an alternative method of addressing database integrity, involving event-driven procedural code. The special procedures th

Package STANDARD package named STANDARD defines the PL/SQL atmosphere. The package specification globally declares the exceptions, types, and subprograms that are available a

Closest Approximation to Relational Union - SQL Actually, just as SQL has several varieties of JOIN, it also has several varieties of UNION, none of which is equivalent to th

Operator Precedence The operations within an expression are completed in a particular order depending on their precedence (priority). The table shows the default order of the op

In Packages The Forward declarations also group logically related subprograms in the package. The subprogram specifications go in the package specification, & the subprogram b

Example of ADD CONSTRAINT in SQL Example: Alternative formulation for MAX_ENROLMENTS ALTER TABLE IS_ENROLLED_ON ADD CONSTRAINT MAX_ENROLMENTS CHECK ((SELECT COUNT (*)