Serge Abiteboul and Paris C. Kanellakis. Object identity as a query language primitive. SIGMOD Rec., 18(2):159--173, 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Pom Alg , to denote the restriction of Pom Alg without the operation . We next study the properties and dependencies of the different operations. We first consider the duplicate elimination operator. Note that this operator received much attention in the context of object oriented languages [AK89, BP91] It was shown in particular that it plays an important role to get complete languages. This operation is also very significant in the context of ordered types. The next propositions shows the limitations of Pom Alg ffl n . For that we introduce the notion of series parallel pomsets. ....

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

.... full spectrum of temporal constructs Employee s Name(String) s PaySlipNumber(Integer) Salary(Integer) vt Project ProjectCode(String) Manager vt TopManager AreaManager Department s InterestGroup OrganisationalUnit s d DEX Works for vt Manages Resp for s (1,n) act emp man (1,1) [1,5] prj (1,1) 1,n) prj org Fig. 1. A temporal ER diagram. cf. 26] for an extensive overview of temporally extended ER models) We refer to ER models because they are the most mature field in temporal conceptual modelling. As far as the notation for temporal constructs is concerned, we use a ....

....Depending on the application requirements, the temporal support must be decided by the designer. Furthermore, snapshot reducibility [39] of a schema says that snapshots of the database described by a temporal schema are the same as the database described by the same Orange Generate g Juice [1,1] [5,5] Fig. 2. Generation relationships. schema where all the temporal constructs are eliminated and the schema is interpreted atemporally. Temporal marks are usually added to capture the temporal behaviour of the di#erent components of a conceptual schema. In particular, entities, ....

[Article contains additional citation context not shown here]

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798--842, 1998. A first version appeared in SIGMOD'89.

....among all ID attributes. An #####(#) annotation indicates a reference, i.e. it should contain a (set of) value(s) of some ID attribute(s) present in the document. Observe that the ID IDREF mechanism is similar to both the object identity based notion of references from object oriented databases [3] and to keys foreign keys from relational databases. On the one hand, like object identifiers, ID attributes uniquely identify elements within the whole document. On the other hand, as XML has a textual format, the reference semantics is achieved with implicit constraints that must hold on ....

.... ######### ###### ###### ######## ######### ###### ### ## ######### ####### ###### ######### ######### #### ######## ######### #### ### ## ######### ####### ##### ######### ######### ###### ######### Here the original ID semantics is appropriate to capture the notion of object identifiers [3] (the ### attributes) However, references through IDREF are rather weak: as IDREF attributes are untyped , we no longer know that the ## #### attribute of a ###### element should reference a department (a #### element) In addition, as in the previous example, keys are not precisely captured ....

S. Abiteboul and P. C. Kanellakis. Object identity as a query language primitive. In Proceedings of ACM SIGMOD Conference on Management of Data, pages 159--173, Portland, Oregon, June 1989.

.... of oids we do not make any assumptions about their nature and we invent fresh new base types for them (see Doid for Dept; we abused the notation a little by choosing for the dictionary the same name as the class) This representation actually corresponds to the usual semantics of OODB constructs [AK89] Sethstringi DProjs; string MgrNamegi Proj : SethStructfstring PName; string CustName; To complete the translation of the extended ODMG schema of figure 1.5 into our logical schema representation we need to represent, in addition to the schema names, the referential integrity (RIC) inverse ....

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In Proceedings of ACM SIGMOD Conference on Management of Data, pages 159--173, Portland, Oregon, 1989.

.... do not make any assumptions about their nature and we invent fresh new base types for them (see Doid for Dept in figure 3; we abused the notation a little by choosing for the dictionary the same name as the class) This representation actually corresponds to the usual semantics of OODB constructs [1]. The syntax of queries and that of query plans are very close: for example, if d is an oid in depts the implicit dereferencing in d:DName corresponds to the dictionary lookup in Dept [ d ] DName. The relation Proj, stored as a table (a set of records) is also part of the physical schema, who ....

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In Proceedings of ACM SIGMOD Conference on Management of Data, pages 159--173, Portland, Oregon, 1989.

....schemata. The proposal is based on a formal framework which consists of an object oriented data model extended with schema versions and its encoding in a description logics which supports complex reasoning tasks. The proposed model extends the snapshot object oriented model introduced in [1] and developed in [8] which is consistent with all the static features of UML OMT and ODMG models. Moreover, it provides full support for the taxonomy of primitive schema changes usually considered in the literature [4] Formal semantics for the schema (version) and for the supported schema ....

....the semantics of the underlying data model for the single schemata. 3.1 Syntax and Semantics The object oriented model we propose allows for the representation of multiple schema versions. It is an expressive version of the snapshot i.e. single schema object oriented model introduced by [1] and further extended and elaborated in its relationships with description logics by [8, 9] in this paper we borrow the notation from [8] The language embodies the features of the static parts of UML OMT and ODMG and, therefore, it does not take into account those aspects related to the ....

[Article contains additional citation context not shown here]

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798--842, 1998. A first version appeared in SIGMOD'89.

.... paints properties) and they can be inherited (e.g. creates) while resources can be multiply classified (e.g. r1) In order to manipulate RDF (meta)data and schemas, we have to address the following issues: How can we capture the RDF typing primitives Clearly, standard object database models [3] fail to represent semistructured RDF (meta)data. On the other hand, most semistructured formalisms, such as OEM [14, 31, 30] are completely schemaless. Moreover, semistructured systems offering typing features (e.g. pattern instantiation) like YAT [17, 18] cannot exploit the semantics of data ....

.... we make the following contributions: ffl We introduce a graph data model bridging and reconciling RDF Model Syntax with Schema specifications [26, 10] The originality of our model relies on the distinction between classes and relationship types (e.g. properties) in the style of ODMG [3], as well as the introduction of a data graph instantiation mechanism inspired by GRAM [6, 7] ffl We propose a declarative language, called RQL, to query semistructured RDF (meta)data and related schemas. RQL adopts the syntax and functional approach of OQL [12] while it features generalized ....

[Article contains additional citation context not shown here]

S. Abiteboul and P. Kanellakis. Object Identity as a Query Language Primitive. In SIGMOD'89, pages 159--173, Portland Oregon, USA, June 1989.

....model [16, 17] In this paper, we deal with the introduction of temporal schema versioning in an object oriented database, also taking into account formal aspects. Within the object oriented framework, theoretical work has been done in the field of programming languages [18, 19] and databases [20, 21, 22], also including temporal ones [11] whereas thorough studies concerning schema versioning are still lacking. To this purpose, we will define (Object Oriented Data Model contextualized to chema ersions) that is a formal model for the management of temporal schema versioning in ....

....works and to the discussion of the approach in such a context. Conclusions can finally be found in Sec. 7. 2 Basic Definitions: Schema Versions and Database Instance is a temporal schema versioning model based on a generic object oriented data model, first introduced in [20], which is general enough to represent the static parts of UML and ODMG . In the following, starting from the definition proposed in [20, 24] we formally define the basic elements of . 2.1 Types, Subtyping, and Schema Versions In a database represents the structural ....

[Article contains additional citation context not shown here]

S. Abiteboul, P. Kanellakis, Object Identity as a Query Language Primitive, Journal of the ACM 45 (5) (1998) 798--842, a first version appeared in SIGMOD'89 Proceedings.

....However, the update itself may be defined by rules. Update programs have fixpoint semantics; the fixpoint can be computed by a bottomup evaluation according to a certain stratification. 1 Introduction databases has been discussed and investigated for a certain time now [Ban86, KNN89, Abi90, AK89, KL89, KLW90, DKM91] Various approaches to incorporate updates into deduction have been proposed. However, only a few of these take object orientation Fakultat fur Informatik, TU Braunschweig, W 3300 Braunschweig, Germany Permission to copy without fee all or part of this material is ....

....an employee in a managerial position (isa empl=pos mgr) who had not yet been updated ( E ) and initiates a modify of his salary method ( mod[E] sal (S ;S ) The second rule modifies the salary of all employees who are no managers. Assume in our to be updated object base a manager phil who makes 4000 and has no superior, and an employee bob who makes 4200 and phil being one of his superiors. Surely we expect that the update (as a whole) leaves phil in the class hpe with a salary of 4600 and bob fired (i.e. no more an employee) This is indeed the case (cf. figure 2) The first rule ....

[Article contains additional citation context not shown here]

Serge Abiteboul and Paris C. Kanellakis. Object identity as a query language primitive. In Clifford et al. [CLM89], pages 159 -- 173.

No context found.

S. Abiteboul and P . C. Kanellakis. Object identity as a query language primitive. In Proc.ofACM SIGMOD, 1989.

No context found.

S. Abiteboul and P . C. Kanellakis. Object identity as a query language primitive. In Proc. of ACM SIGMOD, 1989.

....as the natural next step to overcome these shortcomings (see for instance the proceedings of the DOOD conferences) We consider an extension of datalog with classes, methods, inheritance and a view mechanism and study method resolution for this language. The contribution is in the spirit of [AK89, KL89] a new (we believe important) step towards flexible and formal languages for databases. A major issue in object oriented languages is that of INRIA, 78153 Le Chesnay, France, Serge.Abiteboul inria.fr, Emmanuel.Waller inria.fr. Work partially supported by Esprit BRA Project Fide2. ....

....body. Second we restrict the way classes are populated. In the following, we assume that for each oid o in Delta, there is exactly one ground fact c(o) in Delta. The class c is called the base class of an object o, if fact c(o) is in Delta. This is in the spirit of the oid assignment of IQL [AK89] The following notions to deal with the class hierarchy will be used. Let the transitive reflexive closure of . The set of all super and subclasses of a given class name c is defined as c j c c g, and c j c cg, respectively. Let D C be a set of class names. The subset of ....

S. Abiteboul and P. C. Kanellakis, Object Identity as a Query Language Primitive", Proc. SIGMOD, 1989, to appear in J. ACM.

No context found.

Serge Abiteboul and Paris C. Kanellakis. Object identity as a query language primitive. SIGMOD Rec., 18(2):159--173, 1989.

No context found.

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798--842, 1998. A first version appeared in SIGMOD'89.

No context found.

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798--842, 1998. A first version appeared in SIGMOD'89.

No context found.

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798--842, 1998. A first version appeared in SIGMOD'89.

No context found.

S. Abiteboul, P. Kanellakis. Object identity as a query language primitive. J. ACM 45 (1998), 798--842.

No context found.

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798--842, 1998. A first version appeared in SIGMOD'89.

No context found.

Serge Abiteboul and Paris Kanellakis. Object identity as a query language primitive. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 159--173, 1989.

No context found.

Serge Abiteboul and Paris Kanellakis. Object identity as a query language primitive. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 159-173, 1989.

No context found.

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM 45(5), pages 798--842, 1998.

No context found.

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM 45(5), pages 798--842, 1998.

No context found.

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798--842, 1999.

No context found.

S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798--842, 1998. A first version appeared in SIGMOD'89.

No context found.

: S. Abiteboul, P. Kanellakis, Object identity as a query language primitive, SIGMOD Record (ACM Special Interest Group on Management of Data), n 18(2), pp. 159-173, Juin 1989.

First 50 documents  Next 50

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