M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In G. Gottlob and M. Y. Vardi, editors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222-237, Prague, Czech Republic, 1995. Springer-Verlag. LNCS 893.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....that is, methods. We think that this is an important issue because it overcomes the dichotomy between data and operations of the relational model. Few proposals moreover, deal with behavioral inheritance and overriding. In addition to [ALUW93,LO91,McC88] these topics have been addressed in [BJ95,DT95,JL95] All these proposals extend F logic [KL90] or F logic variations) with behavioral inheritance. In F logic, indeed, only structural inheritance is directly captured. For behavioral inheritance, the non monotonic aspects introduced by the combination of overriding and dynamic binding ....

....properties are supported. Withdrawal is used to prevent the inheritance of some properties in subclasses. It can thus result in non monotonic inheritance of signatures. A reasonable use of that mechanism is for preference specification for conflict resolution in case of multiple inheritance. In [BJ95] Bugliesi and Jamil also deal with the behavioral aspects of deductive object languages. Their language, moreover, also allows dynamic subclassing, that is, the definition of 24 E. Bertino, G. Guerrini, D. Montesi inheritance relationships through rules on schemas (which are not allowed in GuLog ....

M. Bugliesi and H. M. Jamil. A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. In Proc. Fifth Int'l Conf. on Database Theory, pages 222--237, 1995.

....between the two objects. This simple transformation extends naturally to the general case as suggested in the following definition. Definition2 (i completion) Let P be a set of clauses and let [P ] be the ground closure of P . The i completion of P , denoted by C(P ) is the minimal set 1 In [4], we present an alternative semantics based on complex interpretation structures, called fi structures. Using these structures, we are able to capture the functionalities of behavioral inheritance and overriding directly within the definition of satisfaction, without resorting to the notion of ....

....an alternative semantics based on complex interpretation structures, called fi structures. Using these structures, we are able to capture the functionalities of behavioral inheritance and overriding directly within the definition of satisfaction, without resorting to the notion of i completion. In [4] we also show the equivalence of the notion of model that results in that framework and the definition of stable model we present in this paper. of clauses satisfying the following conditions: 1. P ] C(P ) 2. o]c B: c : d B: 2 [C(P ) o]d o]c; c : d: 2 [C(P ) 3. c[p] B: o]c ....

[Article contains additional citation context not shown here]

M. Bugliesi and M. H. Jamil. A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. Technical Report 6, Dip. di Matematica Pura ed Applicata, Univ. di Padova, 1994.

....is given indirectly by translating L O programs to logic programs and, hence, it provides little insight into the relationship between inheritance, overriding and deduction. Query processing is also 88 M. Ashrafuzzaman provided using a translation to Prolog. In a recently proposed language [8], the notion of inheritance by completion (i completion) is introduced in order to account for inheritance in stratification. Reasoning on the i completion of programs in the proposed language, the authors show that i stratification a certain syntactic condition is sufficient to guarantee the ....

Bugliesi, M., and Jamil, M. H. A stable model semantics for behavioral inheritance in deductive object oriented languages. In Proceedings of the 5th Int. Conf. on Database Theory (ICDT) (Prague, Czech Republic, January 1995), G. Gottlob and M. Y. Vardi, Eds., LNCS 893, Springer-Verlag, pp. 222--237.

....and completeness of our proof theory. We discuss related research in section 7 and finally conclude in section 8 discussing topics of future research. 3 We do not consider the issue of inheritance in this paper. For a discussion on inheritance in our language, interested readers are referred to [6]. 2 Overview of the Language The syntax of the language is defined along the guidelines of F Logic. We fix ahead the alphabet: it is a quadruple A = hV ; F; T ; Pii where V is a set of variables, F is the set of constant and function symbols, T is the set of type designators and Pi is the set ....

M. Bugliesi and H. M. Jamil. A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. (Manuscript).

....semantics for the higher order features of ORLog, not including inheritance. In a preliminary version of this paper [13] we presented a declarative characterization of behavioral inheritance in ORLog and showed that con ict resolution in ORLog is possible in a relatively simple way. In [6], a stable model semantics for behavioral inheritance was proposed using notions of locality and inheritability similar to those proposed in [12] By contrast, in the present discussion, we account for behavioral inheritance within the logic, by capturing it within a sound and complete proof ....

....theory. We also develop a model theoretic and xpoint semantics and establish the equivalence of all three semantics. Before closing this section, we note that a majority of the works on inheritance rely on a form of non monotonic reasoning. Of these, 8, 9, 16] capture value inheritance while [4, 6, 17] handle a form of behavioral inheritance. While a non monotonic account of inheritance is natural and interesting, it relies on extra logical features to capture inheritance. In addition, most of these proposals incur a high cost for query processing, which can be signi cant for database ....

[Article contains additional citation context not shown here]

M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In G. Gottlob and M. Y. Vardi, editors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222-237, Prague, Czech Republic, 1995. Springer-Verlag. LNCS 893.

....For simplicity of presentation, we have assumed that our databases are simple, and have essentially made them free from b atoms while we still allowed b atoms in the queries. This restriction can be removed by considering a more elaborate model theoretic treatment similar to strati cation [1], or by taking an approach similar to the overriding concept developed in [7] Our recent work on parametric inheritance [5] also provides additional formal basis for the belief function we have introduced in [4] and used in this paper. Intuitively, the rules containing b atoms should be placed ....

M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In Proc ICDT, pages 222-237, 1995.

....the user views of the MLS databases at different security levels is mimetic of the notion of inheritance in object oriented systems in a slightly elaborate fashion. In both our attempts, we utilized this connection and exploited our experience in dealing with inheritance in logic based systems [5, 15, 13]. The belief function presented in section 3.2 incorporates the results from our work in [15, 13] and extends the idea here further to cater to parametric inheritance. Our contributions in this paper may be summarized as follows: i) we propose a F logic like query language (unlike most others) ....

M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In G. Gottlob and M. Y. Vardi, editors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222--237, Prague, Czech Republic, 1995. Springer-Verlag. LNCS 893.

....critical observation that user views of the MLS databases at di erent security levels are mimetic of the notion of inheritance in object oriented systems albeit in a slightly elaborate fashion. We utilize this connection and exploit our experience in dealing with inheritance in logic based systems [3, 12, 9]. The so called belief function introduced in [13] which we adapt in this paper for de ning the notion of belief in Herbrand sets, is an extension of the inheritability function discussed in [12, 9] The belief function we use captures the idea of the so called parametric inheritance. The ....

....For simplicity of presentation, we have assumed that our databases are simple, and have essentially made the databases free from b atoms while we still allowed b atoms in the queries. This restriction can be removed by considering a more elaborate model theoretic treatment similar to strati cation [3], or by taking an approach similar to the overriding concept developed in [12] Our recent work on parametric inheritance [11] also provides additional formal basis for the belief function we have introduced in [13] and used in this paper. Intuitively, the rules containing b atoms should be ....

M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In G. Gottlob and M. Y. Vardi, editors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222-237, Prague, Czech Republic, 1995. Springer-Verlag. LNCS 893.

....case, logic did very little in capturing the spirit of overriding and thus, was error prone. Currently, there are varied frameworks for computing declarative overriding. Among these, inheritance in object oriented logic is of very recent interest in the area of object oriented knowledge bases [34, 40, 1, 21, 12, 7, 10, 25, 19] (comprehensive surveys may be found in [9, 21] This interest has been sparked primarily by the need to model new generation knowledge applications such as bio informatics, GIS, CAD CAM, office automation, web databases, time series expert systems, etc. that require complex abstractions and ....

....re use, but not value inheritance. Although F logic takes a value inheritance approach, code re use can be simulated using the higher order features of the language in a limited way, which appears to be unnatural and nonintuitive. Consider the following program P 2 = h 2 ; Pi 2 ; i adapted from [7, 21], where Sigma 2 = By declaring it meaningless, the stable semantics in [7] assigns no meaning to this program. F logic assigns the only minimal model I = I(o) I(c) I(d) I(o ) such that I(o) fp(a)g, I(c) fp(b)g, I(d) fp(a)g and I(o ) fo 2 c; o 2 d; c : dg. In contrast, ....

[Article contains additional citation context not shown here]

M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In G. Gottlob and M. Y. Vardi, editors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222--237, Prague, Czech Republic, 1995. Springer-Verlag. LNCS 893.

....inheritance. We are then required to deal with inheritance conflicts and as a consequence may have to settle for multiple minimal models at the declarative level, e.g. as in [47] Current solutions that are proposed in the literature are based on non monotonic reasoning [74] stratification [22], program composition [20, 61, 62] etc. These proposals have been criticized due to the skepticism about their feasibility as an efficient computational platform. Behavioral inheritance has been studied in deductive formalisms like the Ordered Theories of [50] in modular languages such as ....

....the higherorder features of ORLog, not including inheritance. In a preliminary version of the work contained in this chapter [42] we presented a declarative characterization of behavioral inheritance in ORLog and showed that conflict resolution in ORLog is possible in a relatively simple way. In [22], a stable model semantics for behavioral inheritance was proposed using notions of locality and inheritability similar to those proposed in [40] By contrast, in the present discussion, we account for behavioral inheritance within the logic, by capturing it within a sound and complete proof ....

[Article contains additional citation context not shown here]

M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In G. Gottlob and M. Y. Vardi, editors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222--237, Prague, Czech Republic, 1995. Springer-Verlag. LNCS 893.

....to influence the logic s inheritance mechanism to suit her prefered needs. The above features were first introduced in the context of ORLog (for Object Relationship Logic) 9] In [9] we developed a declarative semantics for the higherorder features of ORLog, not including inheritance. In [4], a stable model semantics for behavioral inheritance was proposed using notions of locality and inheritability similar to those proposed in [9] By contrast, in the present paper, we account for behavioral inheritance within the logic, by capturing it within a sound and complete proof theory. We ....

M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In G. Gottlob and M. Y. Vardi, editors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222--237, Prague, Czech Republic, 1995. Springer-Verlag. LNCS 893.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC