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.

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.

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

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

Ask an Expert

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

Write your message here..

Related Questions

Mechanistis theory-haeckel - origin of life, MECHANISTI S THEORY-HAECKEL (... MECHANISTI S THEORY-HAECKEL (1866) - Haeckel stating that after each catalysm, some new organism suddenly forms as a chance event in one stride from inanimate matter and sub

%rowcount - implicit cursor attributes, %ROWCOUNT The %ROWCOUNT yields... %ROWCOUNT The %ROWCOUNT yields the number of rows affected by the INSERT, UPDATE, or DELETE statement, or returned by a SELECT INTO statement. The %ROWCOUNT yields zero when a

Advantages of exceptions, Advantages of Exceptions Using the exception... Advantages of Exceptions Using the exceptions for the error handling has many benefits. Without an exception handling, every time you issue a command, you should ensure for th

For-loop -iterative control, FOR-LOOP While the number of iterations thr... FOR-LOOP While the number of iterations through a WHILE loop is unknown till the loop completes, then the number of iterations through a FOR loop is known before the loop is ent

Library system, Hi,am developing a library system and relating all the tabl... Hi,am developing a library system and relating all the table is somehow complex,could you kindly assist me

produce vertical output format- oracle, Create a Oracle procedure to produ... Create a Oracle procedure to produce vertical output format when selecting rows from a database table.

Logical connectives - sql, Logical Connectives - SQL SQL's extended t... Logical Connectives - SQL SQL's extended truth tables in which the symbol, for unknown, appears along with the usual T and F. Negation (NOT, ¬) Conjunction (

Using rename in combination with join - sql, Using RENAME in combination wi... Using RENAME in combination with JOIN - SQL Example gives pairs of ids of students having the same name, by joining two renamings of IS_CALLED. Example gives an equivalent ex

Write a pl-sql program using the implicit cursor, Question: a) Given th... Question: a) Given the following relation: Location(loc_id, bldg_code, room, capacity) The underlined field is a primary key. (i) Write a PL/SQL program using the impl

Disjunction - sql, Disjunction (OR, ∨) Again we have nine rows instead... 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, t