Processing deductive databases under the disjunctive stable model semantics

• Autorzy: Johnson C.A.
• Języki publikacji: EN

Abstrakty

EN

Cyclic covers are shown to characterise disjunctive stable models of unstratified deductive databases, and to facilitate top-down query processing, query compilation and view updating under the disjunctive stable model semantics. Such processing is shown to be more complex than comparable processing of stratified databases.

Słowa kluczowe

EN

disjunctive deductive databases; disjunctive stable models; cyclic covers; query processing; query compilation; view updates

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 40, Nr 1
• Strony: 31--51
• Opis fizyczny: bibliogr. 25 poz.

Twórcy

autor

Johnson C.A.

• Department of Computer Science, University of Keele, Staffordshire, England,