04362cas|a2200421 i 4500 20260817170953.0 170699s1997 th uzm rtt 00| a1eng d .b11696436 AIT Diss. no. CS-97-7 Ekawit Nantajeewarawat An axiomatic framework for deductive object-oriented representation systems based-on declarative program theory Bangkok : Asian Institute of Technology, 1997 1 online resource (135 p.) Dissertation ; no. CS-97-7 A dissertation submitted in a partial fulfillment of the requirements for the degree of Doctor of Engineering Thesis (Ph.D.) - Asian Institute of Technology, 1997 This dissertation provides an abstract framework which accounts for the static aspect of deductive object-oriented representation paradigm, including deduction, in- heritance, implicit information, structured objects and complex object descriptions. For the sake of generality and simplicity, it uses Akama{u2019}s abstract theory of declara- tive programs as its primary logical basis. Interaction of deduction and nonmonotonic inheritance captured via specialization operation is discussed based on Dung's theory of argumentation. An appropriate semantics for declarative programs with nonmono- tonic inheritance is presented Relationship between this semantics and Dobbie and Topor{u2018}s perfect model (with overriding) semantics is investigated. It is shown that for inheritance-strati{uFB01}ed programs, the two kinds of semantics coincide. However, the proposed semantics also provides correct skeptical meanings for the programs which are not inheritance-strati{uFB01}ed. Interaction of deduction and implicit implication on an interpretation domain clue to taxonomic information is studied. Under the assumption that the implicit implica- tion can be determined in advance and represented by a preorder on the domain, an appropriate model-theoretic semantics for declarative programs along with its {uFB01}xpoint characterization is described. Based on Kostler et.a1.{u2018}s foundation of {uFB01}xpoint with subsumption, it is shown that, if the implicit-implication relation is further assumed to be a partial order, then the meaning of a program can be obtained more elegantly by computation over reduced subsets of the interpretation domain. Moreover, implicit implication that cannot be determined beforehand but varies with interpretations is also investigated. Structural interrelationships among composite objects and object descriptions are studied based on Aczel's theory of structured objects. In order to specify the forms of required objects more precisely and concisely, Aczel{u2019}s theory is extended under the aSSumption that a structured object may belong to a sort and that these object sorts are partially ordered. The extension provides a general principle for the construction of order-sorted universes of structured objects. In addition, semantic interdependency between compound atoms (molecules) and constituent atoms is discussed. Declarative programming Object-oriented databases Vilas Wuwongse, Chairperson Phan, Minh Dung, Examination Committee Batanov, Dentcho N., Examination Committee The Royal Thai Government, Scholarship Donor Asian Institute of Technology. Dissertation ; no. CS-97-7 Full-Text http://203.159.5.9/ait-thesis/detail.php?q=B00313 .b11696436 mnait y 240520 0 980306 m a y 3 mnait mnait mnarc 20 40 Barcode : 30050003887717 CREATED : 1998-06-03 RECORD # : i12054550 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 1 TOT CHKOUT : 0 TOT RENEW : 0 Barcode : 30050120871594 CREATED : 1998-06-03 RECORD # : i12054562 LPATRON : 1015151 LCHKIN : 2019-02-04 # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 2 TOT CHKOUT : 8 TOT RENEW : 4 Barcode : 30050160037502 CREATED : 2016-01-25 RECORD # : i12873202 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 10419 10419 0 0 0 0 MAIN MAIN mnait 2026-08-17 0 AIT Diss. no. CS-97-7 30050003887717 2026-08-17 17:09:53 1 2026-08-17 20 0 0 0 0 MAIN MAIN mnait 2026-08-17 0 AIT Diss. no. CS-97-7 30050120871594 2026-08-17 17:09:53 2 2026-08-17 20 0 0 0 0 MAIN MAIN mnarc 2026-08-17 0 AIT Diss. no. CS-97-7 30050160037502 2026-08-17 17:09:53 2026-08-17 40