Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


case1056399733.pdf (5.1 MB)

ETD Abstract Container

Abstract Header

On integration of object-oriented features with deductive data language

Lou, Yanjun
http://rave.ohiolink.edu/etdc/view?acc_num=case1056399733

Abstract Details

1992, Doctor of Philosophy, Case Western Reserve University, Computer Engineering.
Integrating value-oriented and object-oriented data models is one of the active research directions in database field. In this thesis, we first discuss the properties of an object-oriented data model that combines the simplicity of relational data model and features of object-oriented data models. Meta variables are introduced for information hiding, data abstraction, and type inheritance. Partial order is defined on classes as well as on types to describe inheritance relationship. The concept of named values bridges the concepts of values in logical models and objects in object-oriented models. With union values, values can be formed from its subset values. Semantics and key features of the model are also discussed. Next, we consider Horn clause programs from an object-oriented perspective. Current Horn clause languages (Prolog/Datalog) do not have the concept of methods and there is no polymorphism. However, their declarative paradigm and formal theory have won enormous popularity. Our observation is that Horn clause languages can be extended and object-oriented features can be integrated with the support of our data model. Based on this observation, we present a rule-based deductive data language, LLO, which has object-oriented features such as object identities, polymorphism and encapsulation. Methods are defined by rules and method inhe ritance is achieved through typing and unification mechanisms. Datalog and nested relational models are shown to be subsets of LLO. Semantics of the language is analyzed and LLO as a full-fledged programming language are addressed. A formalization of the subset semantics is given and some results of fixpoint semantics of LLO programs are presented.
Z. Ozsoyoglu (Advisor)
166 p.
Computer Science
integration object-oriented features deductive data language

Recommended Citations

Citations

  • Lou, Y. (1992). On integration of object-oriented features with deductive data language [Doctoral dissertation, Case Western Reserve University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=case1056399733

    APA Style (7th edition)

  • Lou, Yanjun. On integration of object-oriented features with deductive data language. 1992. Case Western Reserve University, Doctoral dissertation. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=case1056399733.

    MLA Style (8th edition)

  • Lou, Yanjun. "On integration of object-oriented features with deductive data language." Doctoral dissertation, Case Western Reserve University, 1992. http://rave.ohiolink.edu/etdc/view?acc_num=case1056399733

    Chicago Manual of Style (17th edition)

case1056399733
527
© 1992, all rights reserved.
This open access ETD is published by Case Western Reserve University School of Graduate Studies and OhioLINK.