See this document in CiteSeerX!

On Type Systems for Object-Oriented Database Programming Languages (2002)  (Make Corrections)  (1 citation)
Yuri Leontiev, M. Tamer Özsu, Duane Szafron



  Home/Search   Context   Related

 
View or download:
cs.ualberta.ca/~duane/pdf...2002acm.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.ualberta.ca/~duane/pdf/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: properties in the ODMG Object Model include abstract state and abstract relationships (two-way mappings). Relationships can only be defined between classes. Abstract behavior is specified as a set of operations. Behavior specifications are novariant in both their argument and return types. The ODMG Object Model supports single dispatch. Several system-defined parametric container classes are present in the object model, but the user is not allowed to define new ones. Type parameters can only be ... (Update)

Context of citations to this paper:   More

.... type systems include Machiavelli [171, 37] Fibonacci [4] Tycoon [147] PM3 [101] Theta [141] BETA [144, 131] VML [130] Leontiev [134] has recently made progress with such type systems. These all seek to achieve both persistence and a comprehensive type system covering...

Cited by:   More
A Review of the Rationale and Architectures of PJama: a.. - Atkinson, Jordan (2000)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Modular Statically Typed Multimethods - Millstein, Chambers (1999)   (Correct)
0.5:   Semantic optimization of OQL queries - Trigoni (2002)   (Correct)
0.5:   Type System of an Object-Oriented Database Programming.. - Leontiev, Özsu, Szafron (1999)   (Correct)

Similar documents based on text:   More   All
1.1:   On Type Systems for Object-Oriented Database Programming.. - Leontiev, Özsu, Szafron (1999)   (Correct)
0.6:   A Uniform Behavioral Temporal Object Model - Goralwalla, Leontiev, Özsu.. (1995)   (Correct)
0.5:   Temporal Granularity: Completing the Puzzle - Goralwalla, Leontiev, Özsu.. (2001)   (Correct)

Related documents from co-citation:   More   All
2:   Department of Computing Science (context) - Printezis, Atkinson et al. - 1998
2:   Working with objects: To swizzle or not to swizzle (context) - Eliot, Moss - 1990
2:   Design and Implementation of a Genetics Database using Java and Orthogonal Persi.. (context) - Hunt, Atkinson - 1998

BibTeX entry:   (Update)

Y. Leontiev. Type System for an Object-Oriented Database Programming Language. PhD thesis, University of Alberta, Department of Computing Science, 1999. http://citeseer.ist.psu.edu/article/leontiev02type.html   More

@misc{ leontiev99type,
  author = "Y. Leontiev",
  title = "Type System for an Object-Oriented Database Programming Language",
  text = "Y. Leontiev. Type System for an Object-Oriented Database Programming Language.
    PhD thesis, University of Alberta, Department of Computing Science, 1999.",
  year = "1999",
  url = "citeseer.ist.psu.edu/article/leontiev02type.html" }
Citations (may not include all citations):
862   The Java Language Specification - ARNOLD, AND - 1996
298   The object-oriented database system manifesto - ATKINSON, BANCHILON et al. - 1992
242   Concurrent Programming in Erlang - ARMSTRONG, VIRDING et al. - 1996
187   Type inclusion constraints and type inference - AIKEN, AND - 1993
157   Soft typing with conditional types - AIKEN, WIMMERS et al. - 1994
111   Common LISP Object System specification (context) - BOBROW, DEMICHIEL et al. - 1988
91   object database and environment): The language and the data .. (context) - AGRAWAL, AND - 1989
50   Orthogonally persistent object systems - ATKINSON, AND - 1987
46   Simula Begin (context) - BIRTWISTLE, DAHL et al. - 1979
28   Fibonacci: A programming language for object databases (context) - ALBANO, GHELLI et al. - 1995
22   Interaction of object-oriented design patterns and programmi.. - BAUMGARTNER, AUFER et al. - 1996
10   Dylan Interim Reference Manual (context) - COMPUTER - 1994
5   Type-checking OQL queries in the ODMG type systems (context) - ALAGI - 1999
3   The ODMG object model: Does it make sense (context) - ALAGI - 1997
3   Galileo: A strongly-typed (context) - ALBANO, CARDELLI et al. - 1985
3   Foundations of object-oriented languages (context) - BLACK, AND - 1994
2   Adding type parametrization to the Java language (context) - AGESEN, FREUND et al. - 1997
1   The TM Manual (context) - Comput, June et al. - 1993

Documents on the same site (http://www.cs.ualberta.ca/~duane/pdf/):   More
A Framework for Inheritance Management and Method Dispatch - Holst, Szafron (1999)   (Correct)
Interactive Story Writing in the Classroom: Using Computer Games - Carbonaro, al. (2005)   (Correct)
Performance Debugging in the Enterprise Parallel Programming.. - David Woloschuk (1995)   (Correct)

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