Buneman, P., Ohori, A., "A Type System that Reconciles Classes and Extents", Proceedings of 3rd International Conference on Database Programming Languages, Nafplion, Greece, pp. 191-202, Morgan Kaufmann  Home/Search   Document Details and Download   Summary   Related Articles   Check

....can enjoy full advantages of polymorphism and type inference when writing objectoriented database programs. 1 Introduction Inheritance is a term that implies hierarchically organizing objects through a partial ordering on classes usually called an IS A relation. As discussed in [ABD 89, BO91, BTBO91] this concept appears to be used for two di erent purposes in object oriented databases. As Appeared in ACM Symposium on Principles of Database Systems, pp.255 266, 1994. in object oriented programming languages in Smalltalk [GR83] tradition, it is used for code sharing; by asserting ....

....enjoy full advantages of polymorphism and type inference when writing objectoriented database programs. 1 Introduction Inheritance is a term that implies hierarchically organizing objects through a partial ordering on classes usually called an IS A relation. As discussed in [ABD 89, BO91, BTBO91] this concept appears to be used for two di erent purposes in object oriented databases. As Appeared in ACM Symposium on Principles of Database Systems, pp.255 266, 1994. in object oriented programming languages in Smalltalk [GR83] tradition, it is used for code sharing; by asserting that ....

P. Buneman and A. Ohori. A type system that reconcile classes and extents. In 3rd International Workshop on Database Programming Languages, 1991.

....both values and objects as firstclass citizens and has a simpler type system. We are not aware of another model that takes this approach, nor of one that takes the clearly separated, 3 level view of an object that we do (type, semantics, and implementation; see Section 3. 1) Buneman and Ohori (see [8]) exhibits a similar philosophy, though, in its distinction between a kind and a type. C [28] has a notion of const that is similar to our notion of immutable , but in C this notion is part of the type system, and thus causes a variety of problems that motivated us to separate type and ....

Peter Buneman and Atsushi Ohori. A type system that reconciles classes and extents. In Kanellakis and Schmidt [16], pages 191--202.

....programming languages, once their particularities are understood many ideas from general purpose languages are seen to specialize profitably for query languages. This is true for concepts related to type systems, a point of view strongly advocated by Peter Buneman and his associates over the years [34, 5, 8, 4, 9, 7, 6]. According to the type orthogonality principle, the design of a language is structured around its type system. The primitives of the languages are divided in groups according to the type constructs they support. Adding new type constructs is as easy as adding a set of primitives. The expressive ....

O. P. Buneman and A. Ohori. A type system that reconciles classes and extents. In Proceedings of 3rd International Workshop on Database Programming Languages, Naphlion, Greece, pages 191--202. Morgan Kaufmann, August 1991.

....type system. We are not aware of another model that takes this approach, nor of one that takes the clearly separated, 3 level view of an object that we do (type, semantics, and implementation) Buneman and Ohori exhibit a similar philosophy, though, in their distinction between a kind and a type [Bune91]. Unlike ILOG [Hull90] and others, we avoid explicit identifiers in the model, viewing them as an implementation concern, and reflecting the distinctions between objects and values by using varying semantics. 68 It has been pointed out by Atkinson et al. [Atki91] that in object oriented systems, ....

P. Buneman and A. Ohori, "A Type System that Reconciles Classes and Extents", in Bulk Types & Persistent Data: The Third International Workshop on Database Programming Languages, ed. P. Kanellakis and J. 189 Schmidt, Nafplion, Greece, Morgan Kaufmann, August 1991.

....Such a threelevel type structure was also proposed by Cardelli et al. Card 88, CaLo 90] see [G ti 93] for a detailed discussion of differences. Research in database programming languages has also addressed the problem of achieving a precise typing for database queries (e.g. Stem 90, OBB 89, BuOh 91] A main goal is to make static type checking possible. For example, in the language Machiavelli [OBB 89] projection and join operations can be defined and the result types of operations be inferred. A general distinction between programming language type systems and the SOS framework is that ....

Buneman, P., and A. Ohori, A Type System that Reconciles Classes and Extents. Proc. 3rd Int. Workshop on Database Programming Languages (Nafplion, Greece), 1991, 191-202.

....full ODMG is not yet supported by our first prototype. For instance, our system does not yet support the concept of relationships, nor do we fully support the important notions of polymorphic sets and late binding. Embedding of these language features whose semantics is known to be difficult [13 15] in the HOL framework remains a future challenge, but is a topic of ongoing research. At present we are experimenting using disjoint sum types to represent polymorphic sets in the HOL setting. Obviously, this will further complicate the proofs as additional case splits are needed. On the other ....

Peter Buneman & Atsushi Ohori, "A Type System that Reconciles Classes and Extents," in The Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data (DBPL--3), Aug. 27--30, 1991, Nafplion, Greece, Paris Kanellakis & Joachim W. Schmidt, eds., Morgan Kaufmann Publishers, San Mateo, CA, 1991, 191--202.

....programming languages, once their particularities are understood many ideas from general purpose languages specialize profitably for query languages. This is true for concepts related to type systems, a point of view strongly advocated by Peter Buneman and his associates over the years [41, 9, 13, 8, 12, 11, 10]. According to the type orthogonality principle, the design of a language is structured around its type system. The primitives of the languages are divided in groups according to the type constructs they support. Adding 4 Davidson et al. new type constructs is as easy as adding a set of ....

O. P. Buneman and A. Ohori. A type system that reconciles classes and extents. In Proceedings of 3rd International Workshop on Database Programming Languages, Naphlion, Greece, pages 191--202. Morgan Kaufmann, August 1991. BioKleisli: A Digital Library for Biomedical Researchers 17

....where, for example, projection and join operations can be defined and the result types of operations be inferred. A key idea to achieve this is a generalization of the relational model by a partial order on tuple (or record) types [Oh88, OhB88] Recently, the notion of kinds has also been used in [BuO91] to model subtyping; a kind describes all record types which have a given set of components (labels) this is related to the POWER[A] kind of [Ca88] There is also some work related to SOS on the algebraic specification side. In [LeW91] higher order signatures are mentioned and it is observed ....

Buneman, P., and A. Ohori, A Type System that Reconciles Classes and Extents. Proc. 3rd Int. Workshop on Database Programming Languages (Nafplion, Greece), 1991, 191-202.

....values and objects as first class citizens and has a simpler type system. We are not aware of another model that takes this approach, nor of one that takes the clearly separated, 3 level view of an object that we do (type, semantics, and implementation; see Section 3. 1) Buneman and Ohori (see [8]) exhibit a similar philosophy, though, in their distinction between a kind and a type. C [30] has a notion of const that is similar to our notion of immutable , but in C this notion is part of the type system, and thus causes a variety of problems that motivated us to separate type and ....

Peter Buneman and Atsushi Ohori. A type system that reconciles classes and extents. In Kanellakis and Schmidt [18], pages 191--202.

....information is not recoverable; in others it can only be recovered in a rather dangerous fashion by asking the programmer to maintain information about the type of an object and to re cast those objects on the basis of this information. A solution to this problem was described by the authors in [BO91] The approach decribed here fits uniformly with the techniques developed in the preceding sections. 5.1 Dynamic and partial values Before proceeding further, it is important to make a distinction concerning type systems which is, roughly, the distinction between statically and dynamically ....

P. Buneman and A. Ohori. A Type System that Reconciles Classes and Extents. In Proc. 3 rd International Workshop on Database Programming Languages, pages 191--202, Nafplion, Greece, August 1991. Morgan Kaufmann Publishers.

....can enjoy full advantages of polymorphism and type inference when writing objectoriented database programs. 1 Introduction Inheritance is a term that implies hierarchically organizing objects through a partial ordering on classes usually called an IS A relation. As discussed in [ABD 89, BO91, BTBO91] this concept appears to be used for two different purposes in object oriented databases. As in object oriented programming languages in Smalltalk Published in Proc. of PODS 94, Mar. 1994, Minneapolis, MN. Copyright c fl 1994 by the Association for Computing Machinery, Inc. Permission to ....

....enjoy full advantages of polymorphism and type inference when writing objectoriented database programs. 1 Introduction Inheritance is a term that implies hierarchically organizing objects through a partial ordering on classes usually called an IS A relation. As discussed in [ABD 89, BO91, BTBO91] this concept appears to be used for two different purposes in object oriented databases. As in object oriented programming languages in Smalltalk Published in Proc. of PODS 94, Mar. 1994, Minneapolis, MN. Copyright c fl 1994 by the Association for Computing Machinery, Inc. Permission to make ....

P. Buneman and A. Ohori. A type system that reconcile classes and extents. In 3rd International Workshop on Database Programming Languages, 1991.

No context found.

Buneman, P., Ohori, A., "A Type System that Reconciles Classes and Extents", Proceedings of 3rd International Conference on Database Programming Languages, Nafplion, Greece, pp. 191-202, Morgan Kaufmann

No context found.

O. P. Buneman and A. Ohori. A type system that reconciles classes and extents. In Proceedings of 3rd International Workshop on Database Programming Languages, Naphlion, Greece, pages 191#202. Morgan Kaufmann, August 1991. BioKleisli: A Digital Library for Biomedical Researchers 17

No context found.

Buneman, P., Ohori, A., "A Type System that Reconciles Classes and Extents", Proceedings of 3rd International Conference on Database Programming Languages, Nafplion, Greece, pp. 191-202, Morgan Kaufmann

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