Semantic optimisation in datalog programs

 

Show simple item record

dc.contributor.advisor Wood, Peter Theodore en_ZA
dc.contributor.author Wassell, Mark P en_ZA
dc.date.accessioned 2015-07-17T10:03:21Z
dc.date.available 2015-07-17T10:03:21Z
dc.date.issued 1990 en_ZA
dc.identifier.citation Wassell, M. 1990. Semantic optimisation in datalog programs. University of Cape Town. en_ZA
dc.identifier.uri http://hdl.handle.net/11427/13556
dc.description Bibliography: leaves 138-142. en_ZA
dc.description.abstract 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. en_ZA
dc.language.iso eng en_ZA
dc.subject.other Computer Science en_ZA
dc.title Semantic optimisation in datalog programs en_ZA
dc.type Master Thesis
uct.type.publication Research en_ZA
uct.type.resource Thesis en_ZA
dc.publisher.institution University of Cape Town
dc.publisher.faculty Faculty of Science en_ZA
dc.publisher.department Department of Computer Science en_ZA
dc.type.qualificationlevel Masters
dc.type.qualificationname MSc en_ZA
uct.type.filetype Text
uct.type.filetype Image
dc.identifier.apacitation Wassell, 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/13556 en_ZA
dc.identifier.chicagocitation Wassell, 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/13556 en_ZA
dc.identifier.vancouvercitation Wassell 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/13556 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


Files in this item

This item appears in the following Collection(s)

Show simple item record