Documente Academic
Documente Profesional
Documente Cultură
CURSUL
8
TEST DE AUTOEVALUARE 9
REZUMAT 10
Termeni eseniali 11
Bibliografie 12
TEST DE EVALUARE 13
Pagina 1
C8.BD
Baze de Date
INTRODUCERE
Obiective
Obiectivele acestui curs sunt:
Specificarea formal a operatorilor n modelul relaional
Specificarea formal a interogrilor unei baze de date
Specificarea formal a tranzaciilor
Pagina 2
C8.BD
Baze de Date
Pagina 3
C8.BD
Baze de Date
t(salariu) q(salariu) )
P2 (ANG_I, ANG_F) :=
( tANG_I, qANG_F:
( t(id_angajat) = q(id_angajat) t(funcie) = muncitor ) q(funcie)
director )
Deci, pentru a cuprinde specificarea formal a regulilor de afaceri enunate,
universul tranziiilor de stare se va defini astfel:
ST_DB_U := { (dbs_i;dbs_f) | dbs_iDB_U dbs_fDB_U
P1 ( dbs_i(ANG), dbs_i(ANG_PERM), dbs_f(ANG) )
P2 ( dbs_i(ANG), dbs_f(ANG) ) }.
Pagina 5
C8.BD
Baze de Date
Pagina 6
C8.BD
Baze de Date
Pagina 8
C8.BD
Baze de Date
TEST DE AUTOEVALUARE
Pagina 9
C8.BD
Baze de Date
REZUMAT
Pagina 10
C8.BD
Baze de Date
Pagina 11
C8.BD
Baze de Date
BIBLIOGRAFIE
1. Date, C. J. An Introduction to Database Systems (8th edition). s.l. : Addison-Wesley, 2003.
2. Haan, Lex de and Koppelaars, Toon. Applied Mathemathics for Database Professionals.
s.l. : Apress, 2007. ISBN: 978-1-59059-745-3.
4. Date, C. J. What Not How: The Business Rules Approach to Application Development. s.l. :
Addison-Wesley, 2000.
6. Date, C. J. Logic and Databases: The Roots of Relational Theory. s.l. : Trafford Publishing,
2007.
7. Date, C. J. and Darwen, Hugh. Foundation for Future Database Systems: The Third
Manifesto (2nd Edition). s.l. : Addison-Wesley, 2000.
10. Hay, David C. Different Kinds of Data Models: History and a Suggestion. The Data
Administration Newsletter - TDAN.com. October 1, 2010.
11. Date, C. J. Edgar F. Codd: a tribute and personal memoir. ACM SIGMOD Record.
December 2003, Vol. 32, 4, pp. 4-13.
Pagina 12
C8.BD
Baze de Date
TEST DE EVALUARE
Pagina 13
C8.BD