fişa disciplinei
1. Date despre program
1.1 Instituţia de învăţământ superior	Universitatea Babes-Bolyai Cluj-Napoca	
1.2 Facultatea	Facultatea de Matematica si Informatica	
1.3 Departamentul	Departamentul de Informatica	
1.4 Domeniul de studii	Informatica	
1.5 Ciclul de studii	Master	
1.6 Programul de studiu / Calificarea	Baze de date - romana	

2. Date despre disciplină
2.1 Denumirea disciplinei	Baze de date deductive	
2.2 Titularul activităţilor de curs	Lect. Dr. Anca Andreica	
2.3 Titularul activităţilor de seminar	Lect. Dr. Anca Andreica	
2.4 Anul de studiu	2	2.5 Semestrul	4	2.6. Tipul de evaluare	E	2.7 Regimul disciplinei	Obligatorie	

3. Timpul total estimat (ore pe semestru al activităţilor didactice)
3.1 Număr de ore pe săptămână	4	Din care: 3.2 curs	2	3.3 seminar/laborator	1 sem + 1 proiect	
3.4 Total ore din planul de învăţământ	56	Din care: 3.5 curs	28	3.6 seminar/laborator	28	
Distribuţia fondului de timp:	ore	
Studiul după manual, suport de curs, bibliografie şi notiţe	40	
Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate şi pe teren	40	
Pregătire seminarii/laboratoare, teme, referate, portofolii şi eseuri	40	
Tutoriat	10	
Examinări 	14	
Alte activităţi: ..................		
3.7 Total ore studiu individual	144	
3.8 Total ore pe semestru	200	
3.9 Numărul de credite	8	

4. Precondiţii (acolo unde este cazul)
4.1 de curriculum	•	Baze de date	
4.2 de competenţe	•	Cunosterea concepetelor fundamentale de baze de date	

5. Condiţii (acolo unde este cazul)
5.1 De desfăşurare a cursului	•		
5.2  De desfăşurare a seminarului/laboratorului	•	Laborator cu calculatoare	

6. Competenţele specifice acumulate
Competenţe profesionale	
•	Cunoasterea si folosirea sistemelor de management al bazelor de date
•	Managementul bazelor de date deductive
•	Procesare speciala a datelor	
Competenţe transversale	•	intelegerea importantei sistemelor de baze de date deductive;
•	familiarizarea cu cele mai specifice domenii de aplicabilitate ale sistemelor de baze de date deductive;
•	aprofundarea unuia dintre sistemele cunoscute de baze de date deductive precum si notiuni introductive legate the modele de integrare a informatiei si de schimburi de date.	

7. Obiectivele disciplinei (reieşind din grila competenţelor acumulate)
7.1 Obiectivul general al disciplinei	•	Cunoasterea conceptelor principale ale bazelor de date deductive	
7.2 Obiectivele specifice

	•	familiarizarea cu cele mai specifice domenii de aplicabilitate ale sistemelor de baze de date deductive;
•	aprofundarea unuia dintre sistemele cunoscute de baze de date deductive precum si notiuni introductive legate the modele de integrare a informatiei si de schimburi de date.Constientizarea impactului arhitectural asupra tehnicilor de proiectare si implementare a limbajelor de programare de nivel înalt.	

8. Conţinuturi
8.1 Curs	Metode de predare	Observaţii	
1. Notiuni introductive (I) : baze de date relationale. Revizuirea notiunilor deja cunoscute de algebra relationala, calcul relational, Datalog nerecursiv si SQL.
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
2. Notiuni introductive (II) : concepte de logica matematica (logica predicatelor, logica propozitiilor, abordarea model-teoretica)	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
3. Modelul Datalog: Sintaxa Datalog, Modelul Herbrand minimal
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
4. Modelul Datalog (II): Semantica model-teoretica, semantica bazata pe teoria demonstratiei si semantica punctului fix
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
5. Strategii de evaluare a interogarilor bazelor de date deductive:  evaluarea bottom-up (naiva si semi-naiva) si evaluarea top-down (rezolutia SLD)
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
6. Optimizarea sintactica a interogarilor (multimi magice)
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
7. Optimizarea sintactica a interogarilor: metoda Kifer-Lozinski si alte metode de evaluare a interogarilor (Henschen-Naqvi, Interogare/Subinterogare)
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
8. Optimizarea semantica a interogarilor
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
9. Negatia in baze de date deductive
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
10. Integrarea Informatiei (prezentarea problemei, solutii de rezolvare a problemei in cazul CQ)
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
11. Integrarea Informatiei (solutii de rezolvare a problemei in cazul UCQN)
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
12. Prezentarea problemei schimbului de date. Sinteza si probleme recapitulative
	
Expunerea, conversaţia, dezbaterea, problematizarea,
descoperirea		
13-14. Prezentarile rapoartelor teoretice

Bibliografie:

[1] S. Ceri, G. Gottlob, L. Tanca, Logic Programming and Databases, Springer-Verlag, Berlin Heidelberg, 1990;
[2] J. Chomiki, R. van der Meyden, G. Saake (eds.), Logics for Emerging Applications of Databases, Springer, 2003.
[3] C. J. Date, Introduction to Database Systems, Editia a opta, Addison-Wesley, 2003;
[4] C.J. Date, Database in Depth: Relational Theory for Practitioners, O'Reilly Media, Inc., 2005
[5] Alon Y. Levy, Logic-based techniques in data integration, Kluwer Academic Publishers, Norwell, MA, USA, 2002 (pp. 575-595)
[6] Jeffrey D. Ullman, Information integration using logical views, Theor. Comput. Sci. 239(2), 2000, (pp 189-210)
[7] Phokion Kolaitis, Renee J. Miller, Lucian Popa, Data exchange: Semantics and query answering, Theoretical Computer Science 336, 2005, (pp. 89-124)
	
8.2 Seminar / laborator	Metode de predare	Observaţii	
			
1. Baze de date relationale. Interogari SQL.
	
Dialogul, dezbaterea, studiul de caz, exemple, demonstratii		
2-3. Datalog
	
Dialogul, dezbaterea, studiul de caz, exemple, demonstratii		
4-5. Interogari recursive
	
Dialogul, dezbaterea, studiul de caz, exemple, demonstratii		
6-7. Prezentarile proiectelor

Bibliografie:	

[1] S. Ceri, G. Gottlob, L. Tanca, Logic Programming and Databases, Springer-Verlag, Berlin Heidelberg, 1990;
[2] J. Chomiki, R. van der Meyden, G. Saake (eds.), Logics for Emerging Applications of Databases, Springer, 2003.
[3] C. J. Date, Introduction to Database Systems, Editia a opta, Addison-Wesley, 2003;
[4] C.J. Date, Database in Depth: Relational Theory for Practitioners, O'Reilly Media, Inc., 2005
[5] Alon Y. Levy, Logic-based techniques in data integration, Kluwer Academic Publishers, Norwell, MA, USA, 2002 (pp. 575-595)
[6] Jeffrey D. Ullman, Information integration using logical views, Theor. Comput. Sci. 239(2), 2000, (pp 189-210)
[7] Phokion Kolaitis, Renee J. Miller, Lucian Popa, Data exchange: Semantics and query answering, Theoretical Computer Science 336, 2005, (pp. 89-124)

9. Coroborarea conţinuturilor disciplinei cu aşteptările reprezentanţilor comunităţii epistemice, asociaţiilor profesionale şi angajatori reprezentativi din domeniul aferent programului

•	Acest curs exista in programul de studiu al tuturor universitatilor importante din Romania si strainatate
•	Acest curs asigura cunostintele de baza pe care orice programator trebuie sa la aiba

	

10. Evaluare
Tip activitate	10.1 Criterii de evaluare	10.2 metode de evaluare	10.3 Pondere din nota finală	
10.4 Curs	- cunoasterea principiilor de baza ale domeniului
	Examen scris	50%	
10.5 Seminar/laborator	- aplicarea conceptelor bazelor de date deductive in rezolvarea de probleme
	Teme laborator
	50%	
10.6 Standard minim de performanţă	
•	 Pentru promovare este necesara obtinerea notei minim 5 la examenul scris si la temele de laborator

Data completării		  Titular de curs		               Titular de seminar
24.09.2012			Lect. Dr. Anca Andreica		Lect. Dr. Anca Andreica

Data avizării în departament			                          Director de departament	
...........................................					   …............................	......