Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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.
Wydawca
Czasopismo
Rocznik
Tom
Strony
31--51
Opis fizyczny
bibliogr. 25 poz.
Twórcy
autor
- Department of Computer Science, University of Keele, Staffordshire, England, chrisj@cs.keele.ac.uk
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0007-0068