| Author | Natthawit Dejdumronge |
| Call Number | AIT Thesis no.CS-94-23 |
| Note | A thesis submitted in partial fulfillment of the requirement for the degree of Master of Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | Query processing in the framework of deductive object-oriented databases is investigated in
three aspects: syntactic, semantic and approximate query processing. Following F-logic, a formal
object data model is formulated and used as a basis upon which a query system has been built.
Two formal query languages are adopted: a declarative object calculus and a procedural
object algebra. Complete algorithms to translate from object calculus to object algebra, as well as
syntactic and semantic transformation rules are developed. Syntactic transformation rules for the
equivalence preserving transformation of algebraic expressions and semantic transformation rules
to preserve the equivalence of calculus expressions are introduced to be used in syntactic and
semantic query optimization. Due to the lack of firm theoretical foundations for semantic query
processing, a formalization of semantic query processing is given in the present work as semantic
query optimization theory and its proof.
In this study, the approximate query processing is introduced in the point of view of object
mentation. The work provides the definition of approximate relation, their partial order,
approximate object operations and their monotonicity. |
| Year | 1994 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Other Field of Studies (No Department) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Vilas Wuwongse |
| Examination Committee(s) | Phan Minh Dung ;Batanov, Dentcho N.
|
| Scholarship Donor(s) | The Royal Thai Government (RTG) |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1994 |