期刊名称：Annals of the University of Oradea : Economic Science
印刷版ISSN：1222-569X
电子版ISSN：1582-5450
出版年度：2003
卷号：XII
出版社：University of Oradea
摘要：ConfluenŃa dintre programarea logică si bazele de date face parte dintr-un curent
general în informatică, curent în care domenii diferite sunt studiate pentru găsirea si
utilizarea conceptelor lor comune. Un studiu comparativ privind programarea logică si
administrarea bazelor de date pune în evidenŃă următoarele aspecte:
1. Bazele de date. Sistemele de programare logică administrează baze de date aflate
în memoria internă si care se compun din reguli de deducŃie si fapte. Sistemele de baze de
date, lucrează cu baze de date mari, distribuite, aflate în memoria externă si furnizează
tehnologia pentru recuperarea eficientă si sigură a datelor persistente.
2. Interogările. O interogare este procesul prin care informaŃia relevantă este
extrasă din baza de date. In programarea logică, răspunsul la o interogare (sau scop) se
obŃine printr-un proces de deducŃie, care combină regulile si faptele pentru a demonstra, sau
infirma, validitatea unei declaraŃii iniŃiale. În sistemele bazelor de date o interogare
(exprimată într-un limbaj de interogare a datelor) este procesată prin determinarea celei mai
eficiente căi de acces la memoria unde se află bazele de date, pentru a putea extrage
informaŃiile relevante.
3. RestricŃiile. RestricŃiile specifică condiŃiile de corectitudine pentru bazele de
date. Validarea restricŃiilor este procesul prin care se previne stocarea datelor incorecte. În
programarea logică, restricŃiile sunt exprimate prin reguli cu scop general, care sunt activate
atunci c`nd baza de date este modificată. În sistemele de baze de date, doar câteva restricŃii
sunt exprimate folosind limbajul de definire a datelor.
