Recursively indefinite databases
| dc.contributor.author | van der Meyden R | |
| dc.date.accessioned | 2022-07-28T19:33:08Z | |
| dc.date.available | 2022-07-28T19:33:08Z | |
| dc.date.issued | 1993 | |
| dc.description | Theoretical Computer Science | |
| dc.description.abstract | We define recursively indefinite databases, a new type of logical database in which indefinite information arises from partial knowledge of the fixpoint of a Datalog program. Although, in general, query answering is undecidable, we show that queries containing only basic predicates and monadic defined predicates are decidable. The main contribution of the paper is an analysis of the complexity of query answering for this class of queries. We demonstrate a class of databases which generalizes disjunctive databases, but without increasing data complexity. We also establish connections with the theory of hypergraph edge replacement graph grammars. | |
| dc.identifier.citation | 10.1016/0304-3975(93)90223-G | |
| dc.identifier.issn | 0304-3975 | |
| dc.identifier.uri | https://nerd.ethesis.ng/handle/123456789/486 | |
| dc.language.iso | en | |
| dc.title | Recursively indefinite databases | |
| dc.type | Article |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Recursively-indefinite-databases_1993_Theoretical-Computer-Science.pdf
- Size:
- 3.05 MB
- Format:
- Adobe Portable Document Format