|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 5 van 6 gevonden artikelen
| Titel: |
Processing Indefinite Deductive Databases under the Possible Model Semantics |
| Auteur: |
C.A. Johnson |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 49 (2003) nr. 4 pagina's 325-347 |
| Jaar: |
2003-08-19 |
| Inhoud: |
The relationship between possible and supported models of unstratified indefinite deductive databases is studied, when disjunction is interpreted inclusively. Possible and supported models are shown to coincide under a suitable definition of supportedness, and the concept of a supported cover is introduced and shown to characterise possible models and facilitate top-down query processing and compilation under the possible model semantics. The properties and query processing of deductive databases under the possible model semantics is compared and contrasted with the perfect model semantics. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 5 van 6 gevonden artikelen
| << vorige | volgende >> |