S. Abiteboul and P.C. Kanellakis. Object identity as a query language. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 159-- 173, 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....databases by using concepts such as object identity, complex objects, classes, and inheritance. The integration of deductive and object oriented databases has received considerable attention over the past few years and several deductive object oriented database languages have been proposed [1, 2, 3, 4, 5, 6]. The theory of deductive databases without updates is well established and a declarative semantics is characterized as one of its most important features. Similar declarative semantics have also been given to object oriented database languages without updates. Updates are important database ....

....0 ) In the language described in [19] it is possible to write such update rules directly in the language. The following interpretation M broken into the sequence of point interpretations M [0] M [6] can be verified as a model of the example program in the last section. M [0] fg M [1] = f henry : empl(sal 2800; works in toy) henry : empl(sal 2800; works in toy) toy : dept(manager henry) toy : dept(manager henry)g M [2] f henry : empl(sal 2800; works in toy) toy : dept(manager henry)g M [3] f henry : empl(sal 2800; works in toy) tom : ....

S. Abiteboul and P.C. Kanellakis. Object identity as a query language. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 159-- 173, 1989.

....adds constructs to relational query languages, such as SQL to deal with the added data types. In the past decade, a lot of e ort has been made to integrate deductive and object oriented databases to gain the best of the two approaches, such as O logic [22] revised O logic [11] F logic [10] IQL [2], LOGRES [4] ROL [15] Datalog [9] and DO2 [14] As surveyed in [24] many of DOOD models are developed by extending and or integrating the already existed deductive or objectoriented data models and they either are limited in object oriented features or lack logical semantics. Few of them ....

....database management systems. The objective of the OLOG system is to develop techniques for advanced intelligent information systems that directly support e ective storage, ecient access and inference of large amount of data with complex structures. The OLOG language [18] is based on IQL [2] and O2 [7] It overcomes the problem associated with IQL. It e ectively integrates useful features in other deductive languages with a well de ned logical semantics. The OLOG system has been developed in C mainly on a SUN SPARCstation running Solaris 2.5. It is implemented as a persistent ....

S. Abiteboul and P. C. Kanellakis. Object Identity as a Query Language. Journal of ACM, 45(5):798-842, 1998.

....that property put DL based data model in the position of potentially being an unifying view on different approaches. On [CLN98] the attention is focused on databases related semantic data models. The considered models are an extended ER, and an object oriented model close to the one described in [AK89a] Example 16 For example the class definition Class GradStudent is a Student type is Record degree : Set of String End corresponds the DL terminology AbstractClass v = 1 VALUE RecType v 8VALUE: SetType v 8VALUE: u :RecType GradStudent v AbstractClass u Studentu 8VALUE: RecTypeu = 1 ....

S. Abiteboul and P. Kanellakis. Object identity as a query language. In sigmod, pages 159--173, New York, 1989.

....and object oriented database systems has received 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 ....

S. Abiteboul and P.C. Kanellakis. Object Identity as a Query Language. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 159-- 173, 1989.

....is partitioned into two levels, called the instance level and the class level. The basic elements of the instance level are objects, i.e. atomic things that can be identified through a unique symbol. Such a symbol plays the role of object identifier, like in many recent object oriented data models [1]. As we shall see later, objects are grouped into classes, and the objects belonging to a class C are called the instances of C. In order to reflect relevant associations, objects can be aggregated into tuples. The number of objects which are components of a tuple is called the arity of the ....

S. Abiteboul, P. C. Kanellakis. "Object identity as a query language." Proceedings of the 1989 ACM SIGMOD International Conference on Man26 agement of Data, 1989.

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