E. Bertino, D. Montesi, Towards a Logical-Object Oriented Programming Language for Databases, Proc. of the Third Intern. Conference for Databases, pp. 168-183, (1992).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....to previous work on inheritance in the context of (rule based) objectoriented languages as follows. Some of these approaches base inheritance on syntactic criteria, either on the class hierarchy alone [Bre87] on unification of terms denoting objects [AN86, CCCR 90] or on signatures [LO91] In [BM92] an additional labeling concept of rules affects inheritance. Other approaches consider inheritance as a model theoretic default mechanism [BL91, LV92, KLW90] The techniques we study are in some sense between these two directions. We use syntactical criteria to be able to provide rewritings of ....

E. Bertino and D. Montesi. Towards a logical-object oriented programming language for databases. In Proc. EDBT, 1992.

....F logic [19] it is proposed to use F logic [20] to model the structural aspect and Transaction Logic [8] to model the behavior aspects. Methods for updates can be supported but not the encapsulation. The reason is that there is no clear separation between the notions of schema and instance. In [7], general rule based methods that can perform deduction as well as updates and encapsulation of these methods are discussed informally. The proposal is in the spirit of Prolog [33] in which Datalog facts and rules with action predicates of LDL [34] for speci c objects are encapsulated together. ....

E. Bertino and D. Montesi. Towards a Logical Object-oriented Programming Language for Databases. In Proceedings of the International Conference on Extending Database Technology, pages 168-183, Vienna, Austria, 1992. Springer-Verlag.

....possible to capture most of the non standard object oriented notions in a meta logical way but yet simultaneously give a logical interpretation to these features. We will show that not only our semantics is richer, stronger and more intuitive than Datalog meth [1] OOLP [8] logic language in [4], NUOO Prolog [3] and similar 4 Note an important di#erence here with most of the logic based languages. Languages such as [1, 4, 9, 14, 16] insist that overriding will take place only if the execution of the method definition does not produce any value. In our case, the definition is enough for ....

....interpretation to these features. We will show that not only our semantics is richer, stronger and more intuitive than Datalog meth [1] OOLP [8] logic language in [4] NUOO Prolog [3] and similar 4 Note an important di#erence here with most of the logic based languages. Languages such as [1, 4, 9, 14, 16] insist that overriding will take place only if the execution of the method definition does not produce any value. In our case, the definition is enough for overriding to take place and the success or failure of the execution does not a#ect the overriding. This choice also has serious conceptual ....

[Article contains additional citation context not shown here]

E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In A Pirotte, C. Delobel, and G. Gottlob, editors, Proc. of the 3rd Intl. Conf. on EDBT, pages 168--183. Springer-Verlag, 1992. LNCS 580. 139

....been made to integrate deductive and object oriented databases to gain the best of the two approaches. A number of deductive object oriented database languages have been proposed, such as O logic [31] revised O logic [25] C logic [19] IQL [5] IQL2[1] F logic [24] LOGRES [16] LLO [30] LOL [14], Datalog method [6] DLT [10] Gulog [20] Coral [36] and Rock Roll [12] However, none of these proposals have achieved the objectives of providing the necessary expressive power for data and knowledge applications in a declarative fashion and providing logical semantics for ....

E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In Proc. Intl. Conf. on Extending Database Technology, pp. 168--183, Vienna, Austria. Springer-Verlag (1992).

....more expressive in terms of set representation than other deductive languages that support sets such as COL [3] LPS [25] LDL, revised O logic and F logic. Unlike most other deductive object database languages including O logic, revised O logic, C logic, IQL, IQL2, F logic, LOGRES, LLO [29] LOL [10], DLT [7] Gulog [18] and Rock Roll [9] the query language of ROL has a well defined, logic programming based declarative semantics that cleanly accounts for all of its objectoriented and value oriented features [28] Unlike deductive database languages such as Datalog, LDL and CORAL which ....

E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In Proceedings of the International Conference on Extending Database Technology, pages 168--183, Vienna, Austria, 1992. Springer-Verlag.

....been made to integrate deductive and object oriented databases to gain the best of the two approaches. A number of deductive object oriented database languages have been proposed, such as O logic [29] revised O logic [22] C logic [17] IQL [4] IQL2[1] F logic [21] LOGRES [14] LLO [28] LOL [13], Datalog method [5] DLT [9] Gulog [19] and Rock Roll [10] Object identity is useful for supporting object sharing and update management. However, using object identifiers for every object is burdensome even in pure object oriented databases and being able to use structured values as well ....

E. Bertino and D. Montesi. Towards a logical objectoriented programming language for databases. In Proc. Intl. Conf. on Extending Database Technology, pages 168--183, Vienna, Austria, 1992. SpringerVerlag.

....classes, class hierarchy, property inheritance with overriding and schema from object oriented approach. A number of deductive object oriented database languages have been proposed, such as O logic [17] revised O logic [11] C logic [8] IQL [2] IQL2[1] Flogic [10] LOGRES [7] LLO [16] LOL [6], CORAL [19] Datalog method [3] DLT [4] Gulog [9] and Rock Roll [5] However, most of these languages stay at the theoretical level. Some of them, such as F logic, are technically too complicated and it is far from clear how they could be implemented eciently and taken as the basis of ....

E. Bertino and D. Montesi. Towards a Logical Object-oriented Programming Language for Databases. In Proceedings of the International Conference on Extending Database Technology, pages 168-183, Vienna, Austria, 1992. Springer-Verlag.

....1 ; t n ) is added to M 1 provided that p 62 fq 1 ; q k g holds. In the following we refer to the list of omitted predicates [q 1 ; q k ] as the exclusion list. Notice that more sophisticated rules for the inclusion of signatures have to be designed (see e.g. 10] and [2]) as soon as types are considered. For this purpose of this paper, however, the rather simplistic view of signature inclusion as an accumulation of export declarations is sufficient. By the include declaration include point(SELF) distFromOrigin] occurring in module circle of Figure 2, for ....

....We essentially rely on the general definition of an object data model as presented in [1] However, in this paper we do not discuss types. We consider classes as well as their instances as objects that are implemented as (a collection of) modules with globally visible invariant names. As in [2, 8, 7, 9], instance attributes and class attributes are represented by logical predicates. In this paper, we do not distingiush between the specification of an attribute value and the definition of the access method for this attribute. Though treated similarly in terms of their representation, the ....

E. Bertino and D. Montesi. Towards a logical-object oriented programming language for databases. In A. Pirotte, C. Delobel, and G. Gottlob, editors, Proc. 3rd International Conference on Extending Database Technology (EDBT'92), pages 168--183, Berlin, 1992. Springer-Verlag. 15

....procedure [24] In this paper they allow disjunctive information, which provides an alternative way of dealing with conflicts due to multiple inheritance. It is possible to say that one definition or the other is true. However the semantics of disjunctive languages are a lot more complicated. In [22], Bertino and Montesi define a logical object oriented language for databases based on LDL [87] As in L O [81] an object is a theory. The authors distinguish between classes and objects. Classes are used for object grouping and defining methods. There is little type information, and no ....

....Although this provides an evaluation procedure for deductive object oriented languages, it provides little insight into the semantics of such languages. Of the approaches where the aim is to build a system, 4] does not address inheritance, 4] and [6] do not address overriding, and [1, 4, 6] and [22] do not address multiple inheritance. 2.4 Summary In this chapter, we first describe concepts and current research in the area of deductive databases, and then we describe the key concepts of object oriented databases. Deductive databases do not significantly improve the data modeling ....

[Article contains additional citation context not shown here]

E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In A. Pirotte, C. Delobel, and G. Gottlob, editors, Proceedings of the 3rd International Conference on Database Technology, pages 168--183, Vienna, Austria, 1992.

....been made to integrate deductive and object oriented databases to gain the best of the two approaches. A number of deductive object oriented database languages have been proposed, such as O logic [20] revised O logic [15] C logic [11] IQL [3] IQL2 [1] Flogic [14] LOGRES [9] LLO [19] LOL [8], DLT [5] Gulog [12] and Rock Roll [6] However, none of these proposals have achieved the objective of providing the necessary expressive power for data and knowledge applications in a declarative fashion with a well defined logical semantics for object oriented features. Object identity is ....

E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In Proc. Intl. Conf. on Extending Database Technology, pages 168--183, Vienna, Austria, 1992. Springer-Verlag.

....object oriented simply provide two kinds of incompatible languages: rule based declarative language for deduction and query, and imperative language for data definitions and manipulations, and complex tasks, which suffer various degree impedance mismatch and lack logic based semantics. In [8], general rule based methods that can perform deduction as well as updates and encapsulation of these methods are discussed informally. The proposal is in the spirit of Prolog [20] in which Datalog facts and rules with action predicates of LDL [21] for specific objects are encapsulated together. ....

E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In Proceedings of the International Conference on Extending Database Technology, pages 168--183, Vienna, Austria, 1992. Springer-Verlag.

....Roll offers the imperative programming language Rock and rule based language Roll. Unlike CORAL , both Rock and Roll are based on a single underlying object oriented data model. Offering two incompatible languages suffers various degrees of impedance mismatch and lacks logic based semantics. In [4], general rule based methods that can perform deduction as well as updates and encapsulation of these methods are discussed informally. The proposal is in the spirit of Prolog [22] in which Datalog facts and rules with action predicates of LDL [23] for specific objects are encapsulated together. ....

E. Bertino and D. Montesi. Towards a Logical Object-oriented Programming Language for Databases. In Proceedings of the International Conference on Extending Database Technology, pages 168--183, Vienna, Austria, 1992. Springer-Verlag.

....users view of the applications leading to the so called impedance mismatch problem. IQL [1] barely addresses the issue of inheritance. In particular, it does not cater for multiple inheritance and behavioral inheritance. In contrast to the above proposals, OOLP [25] OIL [76] Logical objects [13], and LLO [56] for example, rely on mappings to deductive systems to give a semantics to their language and for defining an implementation strategy as well. OOLP provides a mapping to Prolog but lacks a clear semantics for inheritance. Overriding seems to be a limiting factor for this language. ....

....like languages, ii) implementation based on extension to existing Datalog like languages, iii) hybrid implementation, and (iv) systems based on direct implementation. In the first category some of the systems that are known to have been implemented are OOLP [25] OIL [76] Logical objects [13], LLO [56] In the second category are the systems CORAL [71] LDL [69] Logres [23] IQL [1] among many others. ROCK ROLL [10] and ConceptBase [45] are two systems that belong to the third category. We are not aware of any deductive object oriented database systems that has been ....

[Article contains additional citation context not shown here]

E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In A Pirotte, C. Delobel, and G. Gottlob, editors, Proc. of the 3rd Intl. Conf. on EDBT, pages 168--183. Springer-Verlag, 1992. LNCS 580.

....considerable attention over the past few years. A number of deductive object oriented database languages have been reported, such as O logic [Mai86] revised O logic [KW93] C Logic [CW89] F logic [KL89, KLW90] COL [AG91] OIL [Zan89] IQL [AK89, Abi90] LOGRES [CCCR 90] LLO [LO91] LOL [BM92] L O [McC92] and Gulog [DT93] To deal with complex objects naturally and directly, proper notions are needed for sets, schema and inheritance, which normally lead to higher order logic [KL89] Unfortunately, higher order unification problem is undecidable [Gol81] Most of existing deductive ....

E. Bertino and D. Montesi. Towards a Logical Object-oriented Programming Language for Databases. In Proc. Intl. Conf. on Extending Database Technology, pages 168--183. Springer-Verlag, March 1992.

....been made to integrate deductive and object oriented databases to gain the best of the two approaches. A number of deductive object oriented database languages have been proposed, such as O logic [32] revised O logic [24] C logic [17] IQL [3] IQL2[1] F logic [23] LOGRES [13] LLO [31] LOL [12], Datalog method [4] DLT [8] Gulog [19] and Rock Roll [9] Object identity is useful for supporting object sharing and update management. However, using object identifiers for every object is burdensome even in pure object oriented databases and being able to use structured values as well is ....

E. Bertino and D. Montesi. Towards a Logical Object-oriented Programming Language for Databases. In Proc. Intl. Conf. on Extending Database Technology, pages 168--183. SpringerVerlag, March 1992.

....sharing, inheritance, methods and encapsulation into the declarative language. Datalog and Prolog Extensions Extension based DOODs have been derived incrementally from Datalog or Prolog by adding structural and behavioural features from the object oriented model. Theoretical languages [CG88, AK89, BM92, ACM93] were proposed to provide a foundation to the strategy, with IQL [AK89] being the first theoretical language extension proposal to support the structural complexity of the main object model features (classes, identity, complex objects and inheritance) IQL had a major impact on many later ....

....defines each object or class. Class hierarchies are represented by specialisation rules and OIDs can be supported by a user defined label attached to the theory defining an object or by a built in predicate new that generates the OIDs. The example in figure 2 specified in the syntax proposed in [BM92] shows two classes (stop, train arrival) defined as theories, with declarative database updates expressed as a side effect of the deductive process by applying the operators minus and plus to denote deletion and insertion, respectively. stop: NM,CD) name(NM) code(CD) CN:changename(N,NewN) ....

E. Bertino and M. Montesi. Towards a logical object-oriented programming language for databases. In Proc. Intl. Conference on Extending Database Technology EDBT, number 580 in LNCS, pages 168--183, 1992.

....be subclass of to(a 0 ) Though it is not required that the Arrow Isa Constraint be enforced by a data model, we feel that it imposes a discipline that protects against the declaration of erroneous information. Many object oriented data models that define their semantics based on logic, such as [26, 6, 4, 28, 16], do not consider inheritance of typing properties 6 . Yet, in many applications, reasoning on the structural definitions of the data is a necessity [29] A property inherited by a class provides information about the class that may not be obvious by just browsing through the specialization ....

E. Bertino, D. Montesi, Towards a Logical-Object Oriented Programming Language for Databases, Proc. of the Third Intern. Conference for Databases, pp. 168-183, (1992).

....enhance the relational model by complex objects, classes, abstract data types, inheritance, methods, and encapsulation. Approaches to combine these two paradigms are heavily discussed today. Besides various language proposals (e.g. Abiteboul, 1989, Kifer and Wu, 1989, Cacace et al. 1990, Bertino and Montesi, 1992, Atzeni, 1993, Barja et al. 1994) several systems have been developed as prototypes or are on the way to combine these two extensions, each including a different aspect or combination idea. Some extend deductive databases with C as object definition language like CORAL (Srivastava et al. ....

....it is possible to define logical rules over meta classes, classes, instances, attributes and properties of objects. The underlaying model of O LOLA is objects as logical theories extended by state evolution as McCabe (McCabe, 1992) defined it for the Prolog based system L O and Bertino Montesi (Bertino and Montesi, 1992) specified it as a programming language for databases. Using a preprocessor, O LOLA is completely transformed into the deductive query language LOLA, which is enriched by some additional built in predicates to the dynamic aspects of O LOLA. Thus, our approach is a bit related to some Prolog ....

[Article contains additional citation context not shown here]

Bertino, E. and D. Montesi (1992). Towards a logical - object oriented programming language for databases. Proc. of the Int. Conf. on Advances in Database Technology (EDBT) 1992, LNCS 580, Springer, pp. 168-183.

....Another approach endeavours to reuse earlier work on deductive databases by developing a mapping from a DOOD language onto an existing deductive database system which is used to provide both a semantics for the mapped language and an implementation. Examples are the Bertino Montesi proposal [10], OOLP [18] and OIL [46] This is a practical route to the development of DOOD systems, but tends to be associated with similar drawbacks to the extended Datalog approach. Of these three approaches, the work described here is most closely related to the mapping approach, in that the logic ....

E. Bertino and D. Montesi. Towards a Logical-Object Oriented Programming Language for Databases. In Alain Pirotte, Claude Delobel, and Georg Gottlob, editors, Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, LNCS 580, pp. 168--183. Springer-Verlag (1992).

....i.e. modules, can be incrementally compiled. ffl Our approach is extensible towards multi agent systems in a natural way. ffl Optimization techniques of deductive databases carry over unchanged. The representation of objects as logic theories has been proposed by several researchers, e.g. [4, 5, 17, 19, 20, 21]. However, late binding and virtual classes are not addressed. In [8] meta level rules are used to define inheritance and late binding. In [7] 2 a semantics of inheritance and late binding is defined based on composition operators. Both do not deal with virtual classes. 2] define static and ....

....: p l ] and [q 1 ; q k ] as the inclusion list and exclusion list, respectively. If the inclusion list is omitted every predicate exported by Mref potentially qualifies for inclusion. Notice that more sophisticated rules for the inclusion of signatures have to be designed (see e.g. [5, 24]) as soon as types are considered. In the context of this paper, however, the rather simplistic view of signature inclusion as an accumulation of export declarations is sufficient. Sample modules representing the classes shape 5 and circle, and the object c0 can be found in Figures 5,6, and 7, ....

E. Bertino and D. Montesi. Towards a logical-object oriented programming language for databases. In A. Pirotte, C. Delobel, and G. Gottlob, editors, Proc. 3rd International Conference on Extending Database Technology (EDBT'92), volume 580 of LNCS, pages 168--183, Berlin, 1992. Springer-Verlag.

....must consider elso stete evolution end efficient query eveluetion. In eddition we elm et expressing updetes in rules, in such e wey thet our methods ere not only used for deriving informerion, but elso for modifying extensionel informerion. The epproech to deductive object detebeses presented in [19] models objects with e theory grenulerity, clesses end stete evolution. However, it hes no formel sementics. In [13] we heve cerried on this epproech, relying on the sementics defined for U Detelog. However, the sementics for the lenguege hes been defined indirectly, besed on the sementics of ....

E. Bertino and D. Montesi. Towards a Logical-Object Oriented Programming Language for Databases. In M. L. Brodie and S. Ceri, editors, Proc. Third Lnt'l Conf. on Ez'tending Database Technology, 1992.

....Moreover many of the considered approaches do not consider the behavioral component of objects (i.e. the methods) We think that this is an important issue because it overcomes the dichotomy between data and opera tions of the relational model. The approach to deductive object databases of [11] models objects with a theory granularity, classes and state evolution has no formal semantics. This is related to control constructs in rules bodies extending Datalog language with updates. The result of this paper is a clear, formal semantics of cooperating objects expressed as deductive ....

E. Bertino and D. Montesi. Towards a Logical-Object Oriented Programming Language for Databases. In A. Pirotte, C. Delobel, and G. Gottlob, editors, Proc. Third Int'l Conf. on Extending Database Technology, pages 168--183, 1992.

No context found.

E. Bertino, D. Montesi, Towards a Logical-Object Oriented Programming Language for Databases, Proc. of the Third Intern. Conference for Databases, pp. 168-183, (1992).

No context found.

E. Bertino and D. Montesi. Towards a Logical Object-oriented Programming Language for Databases. In Proceedings of EDBT 92, pages 168-183, Springer-Verlag.

No context found.

E. Bertino D. Montesi. Toward a logical-object oriented programming language for databases. In edbt, pages 168--183, 1992. 13

First 50 documents

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