The efficient evaluation of visual queries within a logic-based framework

dc.contributor.advisorWood, Peter Theodoreen_ZA
dc.contributor.authorMaharaj, Anishen_ZA
dc.date.accessioned2015-07-14T09:03:23Z
dc.date.available2015-07-14T09:03:23Z
dc.date.issued1995en_ZA
dc.descriptionBibliography: leaves 149-153.en_ZA
dc.description.abstractThere has been much research in the area of visual query systems in recent years. This has stemmed from the need for a more powerful database visualization and querying ability. In addition, there has been a pressing need for a more intuitive interface for the non-expert user. Systems such as Hy+, developed at the University of Toronto, provide environments that satisfy a wide range of database interaction and querying, with the advantage of maintaining a visual interface abstraction throughout. This thesis explores issues related to the translation and evaluation of visual queries, including semantic and optimization possibilities. The primary focus will be on the GraphLog query language, defined in the context of the Hy+ visualization system. GraphLog is translated to the deductive database language Datalog, which is subsequently evaluated by the CORAL logic database system. We propose graph semantics, which define the meaning of visual queries in terms of paths in a graph, for monotone GraphLog. This provides a more intuitive meaning which is not linked to any particular translation. Therefore, Datalog generated by a translation may be compared to well-defined semantics to ensure that the translation preserves the intended meaning. By examining various queries in terms of the graph semantics, we uncover a shortcoming in the existing GraphLog translation. In addition, an alternative translation to Datalog, based on the construction of a nondeterministic finite state automaton, is described for GraphLog queries. The translation has the property that visual queries containing constants are optimized using a technique known as factoring. In addition, the translation performs an optimization on queries with multiple edges that contain no constants, referred to here as variable constraining.en_ZA
dc.identifier.apacitationMaharaj, A. (1995). <i>The efficient evaluation of visual queries within a logic-based framework</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/13526en_ZA
dc.identifier.chicagocitationMaharaj, Anish. <i>"The efficient evaluation of visual queries within a logic-based framework."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 1995. http://hdl.handle.net/11427/13526en_ZA
dc.identifier.citationMaharaj, A. 1995. The efficient evaluation of visual queries within a logic-based framework. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Maharaj, Anish AB - There has been much research in the area of visual query systems in recent years. This has stemmed from the need for a more powerful database visualization and querying ability. In addition, there has been a pressing need for a more intuitive interface for the non-expert user. Systems such as Hy+, developed at the University of Toronto, provide environments that satisfy a wide range of database interaction and querying, with the advantage of maintaining a visual interface abstraction throughout. This thesis explores issues related to the translation and evaluation of visual queries, including semantic and optimization possibilities. The primary focus will be on the GraphLog query language, defined in the context of the Hy+ visualization system. GraphLog is translated to the deductive database language Datalog, which is subsequently evaluated by the CORAL logic database system. We propose graph semantics, which define the meaning of visual queries in terms of paths in a graph, for monotone GraphLog. This provides a more intuitive meaning which is not linked to any particular translation. Therefore, Datalog generated by a translation may be compared to well-defined semantics to ensure that the translation preserves the intended meaning. By examining various queries in terms of the graph semantics, we uncover a shortcoming in the existing GraphLog translation. In addition, an alternative translation to Datalog, based on the construction of a nondeterministic finite state automaton, is described for GraphLog queries. The translation has the property that visual queries containing constants are optimized using a technique known as factoring. In addition, the translation performs an optimization on queries with multiple edges that contain no constants, referred to here as variable constraining. DA - 1995 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1995 T1 - The efficient evaluation of visual queries within a logic-based framework TI - The efficient evaluation of visual queries within a logic-based framework UR - http://hdl.handle.net/11427/13526 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/13526
dc.identifier.vancouvercitationMaharaj A. The efficient evaluation of visual queries within a logic-based framework. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 1995 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/13526en_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.titleThe efficient evaluation of visual queries within a logic-based frameworken_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
Loading...
Thumbnail Image
Name:
thesis_sci_1995_maharaj_a.pdf
Size:
5.32 MB
Format:
Adobe Portable Document Format
Description:
Collections