Revista Română de Informatică și Automatică – ICI București
Mat. Cserveny Cristian
Institutul de Cercetări în Informatică
Rezumat: Articolul de față se înscrie într-o serie dedicată bazelor de date deductive. În capitolul 1, sînt prezentate cerinţele generale, pe care un limbaj de definire a unor astfel de baze de date trebuie să le îndeplinească. Limbajul ales aici este DATALOG, un limbaj bazat pe clauze Horn, asemănător cu PROLOG-ul, dar avînd avantajul de a nu cere programatorului urmărirea ordinii de evaluare a clauzelor şi scopurilor. În capitolul 2, sînt prezentate formal sintaxa şi semantica limbajului DATALOG, noţiunile de program DATALOG, interpretare şi model pentru un program. Capitolul 3 prezintă extensiile cele mai uzuale ale DATALOG-ului, apărute din necesitatea de a îmbogăţi limbajul cu noi instrumente de lucru/funcţii, negaţii, mulțimi, actualizări, formule non-Horn). Sînt discutate avantajele folosirii unor astfel de extensii, cît și dificultățile legate de definirea semanticii noilor limbaje construite (şi deci, dificultăţile legate de evaluare și implementare).
Cuvinte cheie: DATALOG, extensii DATALOG, algebra relațională cel mai mic model, clauze Horn.
Vizualizează articolul complet
COORDONATELE PENTRU CITAREA ACESTUI ARTICOL SUNT URMĂTOARELE:
Cserveny Cristian, Limbaje pentru definirea bazelor de date deductive, Revista Română de Informatică şi Automatică (Romanian Journal of Information Technology and Automatic Control), ISSN 1220-1758, vol. 2(2), pp. 15-20, 1992.