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
Case Sensitivity Similar to all the identifiers, the variables, the names of constants, and parameters are not case sensitive. For illustration, PL/SQL considers the following n

Benefit of the dynamic SQL: This part shows you how to take full benefit of the dynamic SQL and how to keep away from some of the common pitfalls. Passing the Names of Sc

Using Subqueries A subquery is a query (typically enclosed by parentheses) that appears within another SQL data manipulation statement. If evaluated, the subquery gives a va

Main features of PL/SQL A good way to get familiar with PL/SQL is to look at a sample program. The below program processes an order for tennis rackets. At first, it declares a

Keyword and Parameter Description: table_reference: This specifies a table or view that should be accessible when you execute the DELETE statement, and for that you must

User-Defined Exceptions The PL/SQL defines the exceptions of your own. Dissimilar to the predefined exceptions, the user-defined exceptions should be declared and should be rai

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

Ensuring Backward Compatibility   The PL/SQL Version 2 permits some abnormal behavior which Version 8 disallows. Particularly, Version 2 permits you to (i) Make the forw

DBMS_OUTPUT: The Package DBMS_OUTPUT enables you to display output from the PL/SQL subprograms and blocks, that makes it easier to test and debug them. The procedure put_ line

How Exceptions Are Raised By the run-time system, the internal exceptions are raised implicitly as are user-defined exceptions that you have related with an Oracle error number