Revista Română de Informatică și Automatică / Vol. 2, Nr. 2, 1992

Negația în interpretarea orientată spre baza de date a programelor logice

Sabin CHIRICESCU

Rezumat:

Se prezintă o etapă în proiectarea unei baze de date deductive și anume introducerea negaţiei. În prima parte, facem o scurtă prezentare a negaţiei în PROLOG, urmată de prezentarea negaţiei în DATALOG. Aici, unde negația apare în corpul regulilor, se prezintă o clasă de programe, programele stratificate, pentru care există un model unic. În a doua parte se prezintă o discuție despre influenţa negaţiei din capul regulilor: efectele laterale de actualizare a bazei de date și împărţirea regulilor în clase de cunoștințe ce își moștenesc, anulează proprietăţi – o îmbinare a programelor logice cu programarea orientată obiect.

Cuvinte cheie:
PROLOG, DATALOG, negaţie, model.

Vizualizează articolul complet:

CITAREA ACESTUI ARTICOL SUNT URMĂTOARELE:
Sabin CHIRICESCU, „Negația în interpretarea orientată spre baza de date a programelor logice”, Revista Română de Informatică și Automatică, ISSN 1220-1758, vol. 2(2), pp. 21-28, 1992.