| Author | Nguyen Duc Quang |
| Call Number | AIT Thesis no. CS-92-17 |
| Subject(s) | Information storage and retrieval systems
|
| Note | A thesis submitted in partial fulfillment of the requirements for degree of Master of
Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | A spatial database contains objects of different shapes and are normally retrievable
by range queries. However, to provide a query language suitable for human beings one
tends to allow the users to specify the queries in form as closest to the problem domain
as possible, so the gap between the query language and the low level range searching is
very wide. Helm, Marriott and Odersky have presented an query optimization technique to
bridge this gap. In their technique, they introduced a novel idea of using Boolean algebra
in constraint-based query for spatial database application. With their system, one needs to
know all constraints before processing the query. In other word, all queries must be present
before the optimization to take place.
In this thesis, an incremental algorithm is proposed. We define an alternative approach to find the non-recursive form of Helm's et a l. algorithm. Then, we develop three
new incremental algorithms on this non-recursive form. In addition, we found an algorithm
to transform any system of Boolean constraints in to normal form. We have also implemented both Helm's et al. and our algorithms successfully using Mathematica programming
language. An incremental algorithm allows cases where not all constraints are present. As
such it could perhaps be used as constraint solver for a constraint logic programming with
Boolean algebra. |
| Year | 1992 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Kanchana Kanchanasut; |
| Examination Committee(s) | Huynh Ngoc Phien ;Sadananda, Ramakoti; |
| Scholarship Donor(s) | Government of Australia; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1992 |