| Presentation | 1997/3/19 A Type Theory of an OODB Based On a typed higher-order logic Ichirou EBIHARA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In order to establish flexible database systems they have been widely trying to unify the deductive database and the object oriented database. But the database systems which have been established are verbose and they are not materialized accurately according to the concept of object oriented paradigm. A model which has a possibility to establish more flexible database systems was proposed in [12]. The model propagates the identity among object_IDs into methods and clases. But the model was a still prototype then, it had just a type called "object type". Both of the inheritance and the polymorphism are essential functions to object oriented databases and in order to use the functions it was needed to materialize subtypes which can be specified by users in the model. This paper shows a model in which the kind of subtypes can be materialized. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Deductive object-oriented database / Typed higherorder logic / Polymorphism / Inheritance |
| Paper # | SS96-65 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 1997/3/19(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Type Theory of an OODB Based On a typed higher-order logic |
| Sub Title (in English) | |
| Keyword(1) | Deductive object-oriented database |
| Keyword(2) | Typed higherorder logic |
| Keyword(3) | Polymorphism |
| Keyword(4) | Inheritance |
| 1st Author's Name | Ichirou EBIHARA |
| 1st Author's Affiliation | Computer Science Division, Electrotechnical Laboratory() |
| Date | 1997/3/19 |
| Paper # | SS96-65 |
| Volume (vol) | vol.96 |
| Number (no) | 601 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |