Substitution and instantiation - sql, PL-SQL Programming

Substitution and Instantiation - SQL

It shows how NULL might appear in substitution for a parameter of a predicate and how it might thus participate in instantiation of that predicate to yield a proposition. Now consider instantiations of the dyadic predicate a < b. As well as instantiations such as 5 < 10 (a true one) and 9 < 6 (a false one), we now have to entertain the possibility of instantiations such as 5 < NULL, NULL < 6, and NULL < NULL.

In SQL these comparisons evaluate to that intrusive truth value, unknown. It goes on to explain that the extension of a predicate consists exactly of those instantiations of it that evaluate to true, from which we can conclude, of every instantiation that does not appear in the extension, that it is false, in which case it must appear instead in the extension of the negation of that predicate. In SQL, then, the instantiation 5 < NULL, for example, cannot be considered to appear in either the extension of a < b or NOT (a < b). Or so it would appear.

Posted Date: 1/18/2013 3:08:44 AM | Location : United States

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

Write discussion on Substitution and instantiation - sql
Your posts are moderated
Related Questions
Parameter and Keyword Description: label_name: This is an undeclared identifier which optionally labels a loop. When used, the label_name should be enclosed by double ang

EXIT Statement   You can use the EXIT statement to exit a loop. The EXIT statement has 2 forms: the conditional EXIT WHEN and the unconditional EXIT. With the either form, you

What are the rates for help in writing PL/SQL procedures and functions?

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

Bitmap Join Indexes - This feature will increase the performance and detains the size and format of your databases in data Character Semantics and Globalization -This featur

THEORY OF BIOGENESIS - This theory explains that the existing living organisms originated from pre-existing living beings not from non living entities. This concept of or

Parameter and Keyword Description: select_item: This select_item is a value returned by the SELECT statement, and then assigned to the equivalent variable or field in the

Create a view named CustomerAddresses that shows the shipping and billing addresses for each customer in the MyGuitarShop database. This view should return these columns from the

Effects of NULL for union - SQL The treatment of NULL in invocations of EXCEPT is as for UNION. This is different from its treatment in those of NOT IN and quantified compari

Example of Shorthand for a row constraint Example: Shorthand for a row constraint ALTER TABLE EXAM_MARK ADD CONSTRAINT Mark_in_range CHECK (Mark BETWEEN 0 AND 100);