View Updating and Relational Theory

Errata for View Updating and Relational Theory

Submit your own errata for this product.


The errata list is a list of errors and their corrections that were found after the product was released. If the error was corrected in a later version or reprint the date of the correction will be displayed in the column titled "Date Corrected".

The following errata were submitted by our customers and approved as valid errors by the author or editor.

Color Key: Serious Technical Mistake Minor Technical Mistake Language or formatting error Typo Question Note Update



Version Location Description Submitted By Date Submitted Date Corrected
Other Digital Version
xvi
Kindle location

"As this latter view is a projection of a restriction, we can infer the effects of updates on it by invoking Dateís rules for updating through projection to determine the effects on the underlying restriction, then invoke the rules for updating though restriction to determine the effects on the underlying base relvar S. Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations xvi). O'Reilly Media. Kindle Edition. though s/b through

Kevin Davis  Feb 13, 2013 
Other Digital Version
Kindle Locations 1014-1016
Kindle Locations 1014-1016

The Lisp hacker in me sensed mismatched brackets: SPDB := TUPLE { S ( ( S FROM SPDB ) WHERE NOT ( SNO = 'S1' ) , P ( P FROM SPDB ) , SP ( ( SP FROM SPDB ) WHERE NOT ( SNO = 'S1' ) ) } ; Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 1014-1016). O'Reilly Media. Kindle Edition. Rt. paren needed before first comma

Kevin Davis  Feb 14, 2013 
Other Digital Version
Kindle Locations 1110-1111
Ch 2, end note 30

In a sense, therefore, NOT MATCHIG is actually more fundamental than MINUS is. Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 1110-1111). O'Reilly Media. Kindle Edition. s/b NOT MATCHING

Kevin Davis  Feb 15, 2013 
Other Digital Version
Kindle Locations 1232-1233
Ch 3, last paragraph before section: Views Serve a Variety of Purposes

"It follows that we must solve this problem, for otherwise we have to give up on the goal of data independence. (Logical ... Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 1232-1233). O'Reilly Media. Kindle Edition. The "mus" in must is italicized but the "t" is not.

Kevin Davis  Feb 15, 2013 
Other Digital Version
Kindle Locations 1447-1457
Kindle Locations 1447-1457

S is equal to the (disjoint) union of LS and NLS:FORALL x ∈ S ( UNIQUE y ∈ LS ( x = y ) OR UNIQUE y ∈ NLS ( x = y ) ) AND FORALL y ∈ LS ( UNIQUE x ∈ S ( x = y ) AND FORALL y ∈ NLS ( UNIQUE x ∈ S ( x = y ) Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 1447-1457). O'Reilly Media. Kindle Edition. unbal. parens

Note from the Author or Editor:
Page 45 of the printed book, 4th bullet, 2nd and 3rd lines of the code both need an additional closing paren following the sole closing paren already present.

Kevin Davis  Feb 21, 2013 
Other Digital Version
Kindle Locations 1801-1806
Kindle Locations 1801-1806 [ Section: More on Compensatory Actions ]

It will often be the case that the compensatory actions can be stated in a variety of syntactically distinct but semantically equivalent forms. For example, the delete rule from S to LS and NLS ó ON DELETE d FROM S : DELETE ( d WHERE CITY = 'London' ) FROM LS , DELETE ( d WHERE CITY ⊆ 'London' ) FROM NLS ; Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 1801-1806). O'Reilly Media. Kindle Edition. subset? I.e. this part is, only, a reference to the prior: ON DELETE d FROM S : DELETE ( d WHERE CITY = 'London' ) FROM LS , DELETE ( d WHERE CITY ≠ 'London' ) FROM NLS ; Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 1780-1783). O'Reilly Media. Kindle Edition. P.S. I did notice that two of my posts have been removed (disjoint union cf. math disjoint union; seeming conflict with views and security). With all due humility, what's with that? This O'Reilly errata page led me to believe that "Question or Request for Clarification" was a reasonable submission. And elsewhere the author has solicited ideas on this topic so I trust that, although I may at times be, a wee bit, strident, I am not out of bounds.

Note from the Author or Editor:
In the 3rd bullet point, the Kindle version shows: DELETE ( d WHERE CITY ⊆ 'London' ) FROM NLS ; Instead of: DELETE ( d WHERE CITY ≠ 'London' ) FROM NLS ;

Kevin Davis  Feb 26, 2013 
Other Digital Version
Kindle Locations 1930-1932
Kindle Locations 1930-1932

S := ( S WHERE CITY ≠ 'Paris' OR STATUS = 30 ) UNION ( EXTEND S WHERE CITY = 'Paris' AND STATUS ≠ 30 ) : { STATUS := 30 } ) ; Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 1930-1932). O'Reilly Media. Kindle Edition. unbal. parens. L-paren needed following union

Note from the Author or Editor:
There's a bug here but the suggested fix is wrong. The correct fix is: Delete the closing parenthesis before the colon at the end of line 3.

Kevin Davis  Feb 27, 2013 
Other Digital Version
Kindle Locations 1942-1945
Kindle Locations 1942-1945

nit ".Note" in: The existing tuple for supplier S2 is deleted from relvar NLS and a new tuple for that supplier, with CITY value Oslo, is inserted into that same relvar. .Note: I assume for simplicity here (and in examples throughout the book, wherever itís helpful to do so) that we can talk in terms of deleting and inserting individual tuples as such, rather than relations. Technically, however, you should understand such talk as referring to sets of tuples, where the sets in question just happen to have cardinality one. Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 1942-1945). O'Reilly Media. Kindle Edition.

Kevin Davis  Feb 27, 2013 
Other Digital Version
Kindle Locations 1961-1964
Kindle Locations 1961-1964

An attempt is made to insert a new tuple for supplier S2, with CITY value London, into relvar NLS. That attempt fails, however, because it violates the constraint on relvar NLS that the CITY value in that relvar can never be London. So the update fails overall; the previous step (viz., deleting the original tple for supplier S2 from NLS) is undone, and the net effect is that the database remains unchanged. Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 1961-1964). O'Reilly Media. Kindle Edition. tple s/b tuple

Kevin Davis  Feb 27, 2013 
Other Digital Version
Kindle Locations 3612-3613
Kindle Locations 3612-3613 [ Ch 8 Ex 1, turning to updates ... ]

2. Suppose we delete all tuples for supplier S1 from relvar SP. The effect will be to delete all tuples for supplier S1 from relvar SSP and also to delete the tuple (S1,20) from relvar S. Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 3612-3613). O'Reilly Media. Kindle Edition. 20 s/b London

Kevin Davis  Mar 08, 2013 
Other Digital Version
Kindle Locations 3617-3619
Kindle Locations 3617-3619

6. Suppose we delete the tuple (S1,20) from relvar S. The effect will be to delete all tuples for supplier S1 from relvar SSP. Of course, the rule governing deletes on SSP will now come into play, which will (not unreasonably) have the effect of deleting all tuples for supplier S1 from relvar SP as well. Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 3617-3619). O'Reilly Media. Kindle Edition. 20 s/b London

Kevin Davis  Mar 08, 2013 
Printed
Page 66
3rd block of code (of 4), 3rd line

Delete closing parenthesis before the colon at the end of the line.

C.J. Date
C.J. Date
O'Reilly Author 
Feb 27, 2013 
Printed
Page 138
Paragraph beginning "Explanation:"

In line 2 of the paragraph, replace "that SP tuple" by "that SP tuple (except that the SNO attribute is projected away)".

C.J. Date
C.J. Date
O'Reilly Author 
Sep 29, 2013 
Printed
Page 236
Final para., line 2

Delete closing parenthesis following the word ďtypeĒ.

C.J. Date
C.J. Date
O'Reilly Author 
Feb 13, 2013 
Other Digital Version
729
Kindle location

"For reasons of simplicity and familiarity, however, Iíll stay with the conventional DELETE and INSERT operators throughout the remainder of this book, and Iíll assume throughout the texty Date, C. J. (2012-12-20). View Updating and Relational Theory (Kindle Locations 729-730). O'Reilly Media. Kindle Edition.

Note from the Author or Editor:
This error shows up in the mobi and epub versions, but not in print or pdf.

Kevin Davis  Feb 13, 2013