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
Controlling Autonomous Transactions The first SQL statement in an autonomous routine starts a transaction. Whenever one transaction ends, the next SQL statement starts the oth

Table Comparison - SQL The following definitions for relation comparisons: Let r1 and r2 be relations having the same heading. Then: r1 ⊆ r2 is true if every tuple of r1

Oracle 10G new features:- Automatic Database Diagnostic Monitor System Advancements - these methods will provides several methods for extracting reports through the Automatic

Need Azure CRM Web Application with two-factor authentication We presently have a CRM-like database stored on MS Azure that we presently access over an MS Access application. It

Declaring Cursor Variables Once a REF CURSOR type is define by you, and then you can declare the cursor variables of that type in any PL/SQL block or subprogram. In the exampl

Package Specification The package specifications contain the public declarations. The scopes of these declarations are local to your database representation and global to the

Entering and Exiting If you enter the executable part of an autonomous routine, the major transaction suspends. When you exit the routine, the major transaction resumes. To ex

Project Description: I am looking to change FullCalendar to add/delete sql server data when events are removed or dropped from Calendar. Events should only be included by dra

Left and Right Joins LEFT OUTER JOIN can be used when you want to retrieve the data from the main table (table1) even if there is no match in other tables (table_2, table_3...

%ISOPEN The %ISOPEN yields TRUE if its cursor or cursor variable is open; or else, the %ISOPEN yields FALSE. In the illustration, you use the %ISOPEN to select an action: