Abstract
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Datalog equipped with complex objects, object identities, and multiple inheritance based on Cardelli type theory. The language also incorporates a very general notion of sets as first-class objects. The paper offers a formal description of DTL, as well as a denotational semantics for DTL programs.
| Original language | English |
|---|---|
| Title of host publication | Deductive and Object-Oriented Databases |
| Subtitle of host publication | Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6–8, 1993. Proceedings |
| Place of Publication | Berlin, Heidelberg |
| Publisher | Springer |
| Pages | 340-359 |
| Number of pages | 20 |
| ISBN (Electronic) | 978-3-540-48212-3 |
| ISBN (Print) | 978-3-540-57530-6 |
| DOIs | |
| Publication status | Published - 1993 |
| Event | 3rd International Conference on Deductive and Object-Oriented Databases, DOOD 1993 - Phoenix, United States Duration: 6 Dec 1993 → 8 Dec 1993 Conference number: 3 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 760 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 3rd International Conference on Deductive and Object-Oriented Databases, DOOD 1993 |
|---|---|
| Abbreviated title | DOOD |
| Country/Territory | United States |
| City | Phoenix |
| Period | 6/12/93 → 8/12/93 |
Keywords
- DB-OODB: OBJECT-ORIENTED DATABASES
- DB-PRJTM: TWENTE-MILANO
- Query languages
- Object-oriented databases
- Inheritance
- Type theory
- Resolution
- Denotational semantics