Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
The efficient evaluation of visual queries within a logic-based framework
Bibliography: leaves 149-153.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Department of Computer Science
2015
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613218979971072 |
|---|---|
| access_status_str | Open Access |
| author | Maharaj, Anish |
| author2 | Wood, Peter Theodore |
| author_browse | Maharaj, Anish Wood, Peter Theodore |
| author_facet | Wood, Peter Theodore Maharaj, Anish |
| author_sort | Maharaj, Anish |
| collection | Thesis |
| description | Bibliography: leaves 149-153. |
| format | Thesis |
| id | oai:open.uct.ac.za:11427/13526 |
| institution | University of Cape Town (South Africa) |
| language | eng |
| last_indexed | 2026-06-10T12:32:39.476Z |
| license_str | Not specified — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UCTD — University of Cape Town Open Access Repository |
| publishDate | 2015 |
| publishDateRange | 2015 |
| publishDateSort | 2015 |
| 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/13526 The efficient evaluation of visual queries within a logic-based framework Maharaj, Anish Wood, Peter Theodore Computer Science Bibliography: leaves 149-153. 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. 2015-07-14T09:03:23Z 2015-07-14T09:03:23Z 1995 Master Thesis Masters MSc http://hdl.handle.net/11427/13526 eng application/pdf Department of Computer Science Faculty of Science University of Cape Town |
| spellingShingle | Computer Science Maharaj, Anish The efficient evaluation of visual queries within a logic-based framework |
| thesis_degree_str | Master's |
| title | The efficient evaluation of visual queries within a logic-based framework |
| title_full | The efficient evaluation of visual queries within a logic-based framework |
| title_fullStr | The efficient evaluation of visual queries within a logic-based framework |
| title_full_unstemmed | The efficient evaluation of visual queries within a logic-based framework |
| title_short | The efficient evaluation of visual queries within a logic-based framework |
| title_sort | efficient evaluation of visual queries within a logic based framework |
| topic | Computer Science |
| url | http://hdl.handle.net/11427/13526 |
| work_keys_str_mv | AT maharajanish theefficientevaluationofvisualquerieswithinalogicbasedframework AT maharajanish efficientevaluationofvisualquerieswithinalogicbasedframework |