Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Bottom-up evaluation of HiLog in the context of deductive database systems
Bibliography: leaves 127-130.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Department of Computer Science
2014
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613282526822400 |
|---|---|
| access_status_str | Open Access |
| author | Luppnow, Andrew James |
| author2 | Wood, P T |
| author_browse | Luppnow, Andrew James Wood, P T |
| author_facet | Wood, P T Luppnow, Andrew James |
| author_sort | Luppnow, Andrew James |
| collection | Thesis |
| description | Bibliography: leaves 127-130. |
| format | Thesis |
| id | oai:open.uct.ac.za:11427/9585 |
| institution | University of Cape Town (South Africa) |
| language | eng |
| last_indexed | 2026-06-10T12:33:40.116Z |
| license_str | Not specified — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UCTD — University of Cape Town Open Access Repository |
| publishDate | 2014 |
| publishDateRange | 2014 |
| publishDateSort | 2014 |
| publisher | Department of Computer Science |
| publisherStr | Department of Computer Science |
| record_format | dspace |
| source_str | UCTD — University of Cape Town Open Access Repository |
| spelling | oai:open.uct.ac.za:11427/9585 Bottom-up evaluation of HiLog in the context of deductive database systems Luppnow, Andrew James Wood, P T Computer Science Bibliography: leaves 127-130. HiLog is a logic-based language which boasts the expressiveness of a higher-order syntax while retaining the simplicity of a first-order semantics. This work examines the suitability of Horn-clause HiLog as a query language for deductive databases by investigating the feasibility of adapting well-established Datalog evaluation algorithms for the evaluation of HiLog programs. Each of the evaluation algorithms examined in the work is formally described and verified in terms of completeness and correctness. Furthermore, a practical HiLog evaluator based on each algorithm verifies the feasibility of its implementation in a real-world context. It is demonstrated that the Datalog evaluation algorithms do indeed have realistic HiLog analogs. The work also compares the performance of these analogs. 2014-11-11T20:18:57Z 2014-11-11T20:18:57Z 1998 Master Thesis Masters MSc http://hdl.handle.net/11427/9585 eng application/pdf Department of Computer Science Faculty of Science University of Cape Town |
| spellingShingle | Computer Science Luppnow, Andrew James Bottom-up evaluation of HiLog in the context of deductive database systems |
| thesis_degree_str | Master's |
| title | Bottom-up evaluation of HiLog in the context of deductive database systems |
| title_full | Bottom-up evaluation of HiLog in the context of deductive database systems |
| title_fullStr | Bottom-up evaluation of HiLog in the context of deductive database systems |
| title_full_unstemmed | Bottom-up evaluation of HiLog in the context of deductive database systems |
| title_short | Bottom-up evaluation of HiLog in the context of deductive database systems |
| title_sort | bottom up evaluation of hilog in the context of deductive database systems |
| topic | Computer Science |
| url | http://hdl.handle.net/11427/9585 |
| work_keys_str_mv | AT luppnowandrewjames bottomupevaluationofhiloginthecontextofdeductivedatabasesystems |