Applied Mathematics for Database Professionals phần 1 pot

... goal were performed by Bertrand Russell and Alfred North Whitehead (18 61 19 47), David Hilbert (18 62 19 43), John von Neumann (19 03 19 57), Kurt Gödel (19 06 19 78), and Alfred Tarski (19 02 19 83), just ... 367 v 7451FM.qxd 5 /17 /07 10 : 41 AM Page v The Mathematics Everything should be made as simple as possible, but not simpler. Albert Einstein (18 79 19 55) PART 1 7451CH 01. qxd...

Ngày tải lên: 08/08/2014, 18:21

... before and after statement update triggers will only fire once each in this case. CHAPTER 11 ■ IMPLEMENTING DATABASE DESIGNS IN ORACLE 249 7451CH 11. qxd 5 /15 /07 2:26 PM Page 249 7451CH 11. qxd 5 /15 /07 ... 11 -10 . Create Table for DEPT Table Structure create table dept ( deptno number(2,0) not null , dname varchar (12 ) not null , loc varchar (14 ) not null , mgr number(4,0) not nu...

Ngày tải lên: 08/08/2014, 18:21

... inclusive or. Table 1- 7. Truth Table for IF . . .THEN (Implication) PQP ⇒ Q TTT TFF F T T FFT CHAPTER 1 ■ LOGIC: INTRODUCTION 13 7451CH 01. qxd 5/4/07 1: 38 PM Page 13 Table 1- 14. Proving Rewrite ... check out for yourself t hat they are all T RUE . L isting 2-6. E xamples of Subset Propositions That Are True {1, 2} ⊆ {1, 2,3} {1, 2} ⊂ {1, 2,3} {1, 2,3} ⊄ {1, 2,3} {1, 2,...

Ngày tải lên: 08/08/2014, 18:21

... over all elements in P: 2> ;12 ∨ 3> ;12 ∨ 5> ;12 ∨ 7> ;12 ∨ 11 > ;12 ∨ 13 > ;12 Iterate y over all elements in P: 2>3 ∧ 3>3 ∧ 5>3 ∧ 7>3 ∧ 11 >3 ∧ 13 >3 You could now manually ... Listing 3 -19 . Listing 3 -19 . Disjunctive Normal Form (DNF) P-DNF := (SP 11 ∧ SP 12 ∧ SP 13 ∧ ∧ SP 1a ) ∨ (SP 2 1 ∧ SP 2 2 ∧ SP 2 3 ∧ ∧ SP 2 b ) ∨ (SP 31 ∧ SP 32 ∧ SP 3...

Ngày tải lên: 08/08/2014, 18:21

... (Y;2), (Z ;1) } , { (X ;1) , (Y;0), (Z; -1) }, { (X ;1) , (Y;0), (Z;0) }, { (X ;1) , (Y;0), (Z ;1) } , { (X ;1) , (Y ;1) , (Z; -1) }, { (X ;1) , (Y ;1) , (Z;0) }, { (X ;1) , (Y ;1) , (Z ;1) } , { (X ;1) , (Y;2), (Z; -1) }, ... Two Example Table Predicates P 11( T) := ¬( ∃d1,d2∈T: d1≠d2 ∧d1(deptno)=d2(deptno) ) P12(T) := ( ∀d1,d2∈T: d1≠d2 ⇒ d1↓{dname,loc}≠d2↓{dname,loc} ) Table predicate P 11...

Ngày tải lên: 08/08/2014, 18:21

... TABLE, AND DATABASE PREDICATES136 7451CH06.qxd 5 /14 /07 10 :37 AM Page 13 6 Exercises 1. Evaluate the truth value of the following propositions (PAR1 was introduced in Figure 6 -1) : a. ( ∀p∈PAR1: mod(p(partno),2)=0 ... follo w , y ou ’ ll find the formal specification for each of these named constraints. CHAPTER 7 ■ SPECIFYING DATABASE DESIGNS 17 1 7451CH07.qxd 5 /15 /07 9:43 AM...

Ngày tải lên: 08/08/2014, 18:21

... rid of PTIJ13. Do y ou see ho w to change PTIJ15? CHAPTER 7 ■ SPECIFYING DATABASE DESIGNS184 7451CH07.qxd 5 /15 /07 9:43 AM Page 18 4 7451CH08.qxd 5/7/07 11 :22 AM Page 19 8 Listing 8-5 shows a set-theory way ... constraints. 18 5 CHAPTER 8 7451CH08.qxd 5/7/07 11 : 21 AM Page 18 5 (∃e2∈dbs(EMP): e2(EMPNO)=m(MGR) ∧ e1(MSAL) > 0.9*e2(MSAL) )) } SEI: select e1.EMPNO, e1.ENAME from E...

Ngày tải lên: 08/08/2014, 18:21

... e2 CHAPTER 11 ■ IMPLEMENTING DATABASE DESIGNS IN ORACLE 283 7451CH 11. qxd 5 /15 /07 2:26 PM Page 283 Listing 11 -32. DI Code for DEPT_TAB 01 in Case of Updates create trigger DEPT_AUS_TAB 01 after update ... Here is the formal specification of this table constraint: CHAPTER 11 ■ IMPLEMENTING DATABASE DESIGNS IN ORACLE268 7451CH 11. qxd 5 /15 /07 2:26 PM Page 268 Listing 11 -25. T...

Ngày tải lên: 08/08/2014, 18:21

... an attendee for one course offering. Figure A -1. Pictur e of e xample database APPENDIX A ■ FORMAL DEFINITION OF EXAMPLE DATABASE3 12 7451AppA.qxd 5 /15 /07 9:45 AM Page 312 Table 11 -6. Re-Executing ... ■ FORMAL DEFINITION OF EXAMPLE DATABASE3 14 7451AppA.qxd 5 /15 /07 9:45 AM Page 314 Formal Definition of Example Database In this appendix, we deliver the formal specificatio...

Ngày tải lên: 08/08/2014, 18:21

... EXERCISES352 7451AppE.qxd 5 /15 /07 1: 43 PM Page 352 database management system (DBMS), 93. See also SQL DBMS database predicates, 11 7 13 6, 306 patterns of, 12 7 13 6 sample database design and, 17 0, 17 5 18 1 database ... and, 19 9–2 01 specifying formally, 98 top-down view of, 14 1 transactions and, 2 21 233 database universe, 36, 77, 13 9, 306 defined, 92 queries an...

Ngày tải lên: 08/08/2014, 18:21