Semantic optimisation in datalog programs

Simple item page
dc.contributor.advisorWood, Peter Theodoreen_ZA
dc.contributor.authorWassell, Mark Pen_ZA
dc.date.accessioned2015-07-17T10:03:21Z
dc.date.available2015-07-17T10:03:21Z
dc.date.issued1990en_ZA
dc.descriptionBibliography: leaves 138-142.en_ZA
dc.description.abstractDatalog is the fusion of Prolog and Database technologies aimed at producing an efficient, logic-based, declarative language for databases. This fusion takes the best of logic programming for the syntax of Datalog, and the best of database systems for the operational part of Datalog. As is the case with all declarative languages, optimisation is necessary to improve the efficiency of programs. Semantic optimisation uses meta-knowledge describing the data in the database to optimise queries and rules, aiming to reduce the resources required to answer queries. In this thesis, I analyse prior work that has been done on semantic optimisation and then propose an optimisation system for Datalog that includes optimisation of recursive programs and a semantic knowledge management module. A language, DatalogiC, which is an extension of Datalog that allows semantic knowledge to be expressed, has also been devised as an implementation vehicle. Finally, empirical results concerning the benefits of semantic optimisation are reported.en_ZA
dc.identifier.apacitationWassell, M. P. (1990). <i>Semantic optimisation in datalog programs</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/13556en_ZA
dc.identifier.chicagocitationWassell, Mark P. <i>"Semantic optimisation in datalog programs."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 1990. http://hdl.handle.net/11427/13556en_ZA
dc.identifier.citationWassell, M. 1990. Semantic optimisation in datalog programs. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Wassell, Mark P AB - Datalog is the fusion of Prolog and Database technologies aimed at producing an efficient, logic-based, declarative language for databases. This fusion takes the best of logic programming for the syntax of Datalog, and the best of database systems for the operational part of Datalog. As is the case with all declarative languages, optimisation is necessary to improve the efficiency of programs. Semantic optimisation uses meta-knowledge describing the data in the database to optimise queries and rules, aiming to reduce the resources required to answer queries. In this thesis, I analyse prior work that has been done on semantic optimisation and then propose an optimisation system for Datalog that includes optimisation of recursive programs and a semantic knowledge management module. A language, DatalogiC, which is an extension of Datalog that allows semantic knowledge to be expressed, has also been devised as an implementation vehicle. Finally, empirical results concerning the benefits of semantic optimisation are reported. DA - 1990 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1990 T1 - Semantic optimisation in datalog programs TI - Semantic optimisation in datalog programs UR - http://hdl.handle.net/11427/13556 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/13556
dc.identifier.vancouvercitationWassell MP. Semantic optimisation in datalog programs. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 1990 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/13556en_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.titleSemantic optimisation in datalog programsen_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_1990_wassell_mp.pdf
Size:
3.73 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Masters