ERA

Download the full-sized PDF of Type System for an Object-Oriented Database Programming LanguageDownload the full-sized PDF

Analytics

Share

Permanent link (DOI): https://doi.org/10.7939/R3NC5SK12

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Computing Science, Department of

Collections

This file is in the following collections:

Technical Reports (Computing Science)

Type System for an Object-Oriented Database Programming Language Open Access

Descriptions

Author or creator
Leontiev, Yuri
Additional contributors
Subject/Keyword
OODBPL
object-oriented database programming language
Type of item
Computing Science Technical Report
Computing science technical report ID
TR99-02
Language
English
Place
Time
Description
Technical report TR99-02. The concept of an object-oriented database programming language (OODBPL) is appealing because it has the potential of combining the advantages of object orientation and database programming to yield a powerful and universal programming language design. A uniform and consistent combination of object orientation and database programming, however, is not straightforward. Since one of the main components of an object-oriented programming language is its type system, one of the first problems that arise during an OODBPL design is related to the development of a uniform, consistent, and theoretically sound type system that is sufficiently expressive to satisfy the combined needs of object orientation and database programming. This dissertation presents the design of a type system suitable for object-oriented database programming. The type system has a unique combination of uniformity, expressibility, verifiability, and theoretically proven soundness. It also possesses features that make it suitable for database programming, such as seamless integration of imperative types and features, precise query typing via union and intersection types, separation among three abstraction layers providing a high degree of code reuse, parametric polymorphism, extensibility, and dynamic type analysis capabilities. In the process of type system development, a theoretical framework for dealing with type systems that combine parametric and inclusion polymorphism is established. Due to its modular construction, this framework can be easily extended and used beyond the scope of this dissertation. Another contribution of this work is an extensive analysis of existing and proposed type systems from the point of view of the set of requirements related to object orientation and database programming. This research leads to the development of a uniform and theoretically sound OODBPL that can successfully utilize the power inherent in both object orientation and database programming paradigms. This will eventually lead to the development and implementation of a uniform object-oriented database system that will use the OODBPL as its main programming and query engine.
Date created
1999
DOI
doi:10.7939/R3NC5SK12
License information
Creative Commons Attribution 3.0 Unported
Rights

Citation for previous publication

Source
Link to related item

File Details

Date Uploaded
Date Modified
2014-05-01T02:12:46.616+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 3708482
Last modified: 2015:10:12 21:26:12-06:00
Filename: TR99-02.pdf
Original checksum: 2b627e7708a9984943c9e5bf1e8258c1
Well formed: true
Valid: true
Status message: Too many fonts to report; some fonts omitted. Total fonts = 1762
Page count: 247
Activity of users you follow
User Activity Date