Bottom-up evaluation of HiLog in the context of deductive database systems

Simple item page
dc.contributor.advisorWood, P Ten_ZA
dc.contributor.authorLuppnow, Andrew Jamesen_ZA
dc.date.accessioned2014-11-11T20:18:57Z
dc.date.available2014-11-11T20:18:57Z
dc.date.issued1998en_ZA
dc.descriptionBibliography: leaves 127-130.en_ZA
dc.description.abstractHiLog 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.en_ZA
dc.identifier.apacitationLuppnow, A. J. (1998). <i>Bottom-up evaluation of HiLog in the context of deductive database systems</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/9585en_ZA
dc.identifier.chicagocitationLuppnow, Andrew James. <i>"Bottom-up evaluation of HiLog in the context of deductive database systems."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 1998. http://hdl.handle.net/11427/9585en_ZA
dc.identifier.citationLuppnow, A. 1998. Bottom-up evaluation of HiLog in the context of deductive database systems. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Luppnow, Andrew James AB - 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. DA - 1998 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1998 T1 - Bottom-up evaluation of HiLog in the context of deductive database systems TI - Bottom-up evaluation of HiLog in the context of deductive database systems UR - http://hdl.handle.net/11427/9585 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/9585
dc.identifier.vancouvercitationLuppnow AJ. Bottom-up evaluation of HiLog in the context of deductive database systems. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 1998 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/9585en_ZA
dc.language.isoengen_ZA
dc.publisher.departmentDepartment of Computer Scienceen_ZA
dc.publisher.facultyFaculty of Scienceen_ZA
dc.publisher.institutionUniversity of Cape Town
dc.subject.otherComputer Scienceen_ZA
dc.titleBottom-up evaluation of HiLog in the context of deductive database systemsen_ZA
dc.typeMaster Thesis
dc.type.qualificationlevelMasters
dc.type.qualificationnameMScen_ZA
uct.type.filetypeText
uct.type.filetypeImage
uct.type.publicationResearchen_ZA
uct.type.resourceThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
thesis_sci_1998_luppnow_a.pdf
Size:
5.27 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Masters