Applied Mathematics for Database Professionals phần 5 pps

... ) PTIJ10(EMP,REG,OFFR,CRS) := CHAPTER 7 ■ SPECIFYING DATABASE DESIGNS 1 75 7 451 CH07.qxd 5/ 15/ 07 9:43 AM Page 1 75 Set function DBCHR is called a database characterization. It characterizes a database in that it introduces ... 7 ■ SPECIFYING DATABASE DESIGNS 152 7 451 CH07.qxd 5/ 15/ 07 9:43 AM Page 152 We’ll often specify the database constraints in a slightly different ma...

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

... 99 #varchar(10) = 52 10 + 52 9 + 52 8 + + 52 1 = 751 68 655 09 350 9 652 46 #date = 3442447 #{'CLERK','SALESMAN','TRAINER','MANAGER','PRESIDENT'} = 5 #[1000 ... a structured way (that is, conforming to the database design). Abstractly, a database is the cur- rent value of the database variable; it is the informal term for da...

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

... such tables. Defin- ition 5- 4 for mally defines this operator. CHAPTER 5 ■ TABLES AND DATABASE STATES 107 7 451 CH 05. qxd 5/ 4/07 3 :57 PM Page 107 7 451 CH 05. qxd 5/ 4/07 3 :57 PM Page 116 Shorthand Notation Writing ... and one for departments. Take a look at tables EMP1 and DEP1, which are displayed in Figures 5- 2 and 5- 3. CHAPTER 5 ■ TABLES AND DATABASE STATES98 7 45...

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

... y ou see ho w to change PTIJ 15? CHAPTER 7 ■ SPECIFYING DATABASE DESIGNS184 7 451 CH07.qxd 5/ 15/ 07 9:43 AM Page 184 7 451 CH08.qxd 5/ 7/07 11:22 AM Page 198 Listing 8 -5 shows a set-theory way to specify ... set of database states called the database universe. It holds the admissible database states for the database being specified. You can con- struct a database universe...

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

... excellent performance given the optimizer technology available in Oracle’s current SQL DBMS. CHAPTER 11 ■ IMPLEMENTING DATABASE DESIGNS IN ORACLE 255 7 451 CH11.qxd 5/ 15/ 07 2:26 PM Page 255 ■Note If ... IMPLEMENTING DATABASE DESIGNS IN ORACLE 253 7 451 CH11.qxd 5/ 15/ 07 2:26 PM Page 253 ■Note If you’re familiar with Oracle, you’ll know that Oracle’s SQL DBMS can perform this serv...

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

... Here is the formal specification of this table constraint: CHAPTER 11 ■ IMPLEMENTING DATABASE DESIGNS IN ORACLE268 7 451 CH11.qxd 5/ 15/ 07 2:26 PM Page 268 Listing 11- 25. Tuple Constraints for GRD Table ... D r epr esents a department table). CHAPTER 11 ■ IMPLEMENTING DATABASE DESIGNS IN ORACLE 2 65 7 451 CH11.qxd 5/ 15/ 07 2:26 PM Page 2 65 where not exists(select m.DEPTNO from...

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

... ■ FORMAL DEFINITION OF EXAMPLE DATABASE 3 25 7 451 AppA.qxd 5/ 15/ 07 9: 45 AM Page 3 25 Database Skeleton DB_S I n this section, you’ll find a specification of the skeleton D B_S f or the sample database. A ... ■ FORMAL DEFINITION OF EXAMPLE DATABASE3 14 7 451 AppA.qxd 5/ 15/ 07 9: 45 AM Page 314 Formal Definition of Example Database In this appendix, we deliver the formal sp...

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

... rules, 10 predicates, 5, 51 58 , 59 , 3 05 compound, 9, 53 , 60 data integrity, 117–138 external, 79 instantiating, 7 nesting quantifiers and, 55 normal forms and, 59 –63 simple, 9, 59 , 61 special categories ... empty sets, 54 syntax for, 51 quantifiers, 8, 51 59 distributiv e properties of, 57 negation of, 57 nesting, 55 queries, 199–220, 306 business logic code and, 2...

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