A Polymorphic Calculus for Views and Object Sharing.

@inproceedings{DBLP:conf/pods/OhoriT94,
  author    = {Atsushi Ohori and
               Keishi Tajima},
  title     = {A Polymorphic Calculus for Views and Object Sharing},
  booktitle = {Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, May 24-26, 1994, Minneapolis,
               Minnesota},
  publisher = {ACM Press},
  year      = {1994},
  isbn      = {0-89791-642-5},
  pages     = {255-266},
  ee        = {http://doi.acm.org/10.1145/182591.182623, db/conf/pods/pods94-255.html},
  crossref  = {DBLP:conf/pods/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion specifications of objects from other classes. Each such specification consists of a predicate determining the subset of objects to be included and a viewing function under which those included objects are manipulated. Both predicates and viewing functions can be any type consistent programs definable in the polymorphic calculus. Inclusion specifications among classes can be cyclic, allowing mutually recursive class definitions. These features achieve flexible view definitions and wide range of class organizations in a compact and elegant way. Moreover, the calculus provide a suitable set of operations for views and classes so that the programmer can manipulate views and classes just the same way as one deals with ordinary records and sets.

The proposed calculus uniformly integrates views and classes in a polymorphic type system of a database programming language similar to Machiavelli. The calculus has a type inference algorithm that relieves the programmer from complicated type declarations of views and classes. The polymorphic type system of the calculus is also shown to be sound, which guarantees a complete static check of type consistency of programs involving classes and views. Through these properties, the programmer can enjoy full advantages of polymorphism and type inference when writing object-oriented database programs.

Copyright © 1994 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Online Edition: ACM Digital Library

References

[AB91]

Serge Abiteboul, Anthony J. Bonner: Objects and Views. SIGMOD Conference 1991: 238-247 BibTeX

[ABD+89]

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240 BibTeX

[ABGO93]

Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini: An Object Data Model with Roles. VLDB 1993: 39-51 BibTeX

[ACO85]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX

[ALUW93]

Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41 BibTeX

[BBKV88]

François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105 BibTeX

[BDK92]

François Bancilhon, Claude Delobel, Paris C. Kanellakis (Eds.): Building an Object-Oriented Database System, The Story of O2. Morgan Kaufmann 1992, ISBN 1-55860-169-4
Contents BibTeX

[BO91]

Peter Buneman, Atsushi Ohori: A Type System that Reconsiles Classes and Extents. DBPL 1991: 191-202 BibTeX

[BO92]

Peter Buneman, Atsushi Ohori: Polymorphism and Type Inference in Database Programming. ACM Trans. Database Syst. 21(1): 30-76(1996) BibTeX

[BTBO91]

Val Tannen, Peter Buneman, Atsushi Ohori: Data Structures and Data Types for Object-Oriented Databases. IEEE Data Eng. Bull. 14(2): 23-27(1991) BibTeX

[BSKW91]

Thierry Barsalou, Arthur M. Keller, Niki Siambela, Gio Wiederhold: Updating Relational Databases through Object-Based Views. SIGMOD Conference 1991: 248-257 BibTeX

[CDMB90]

Richard C. H. Connor, Alan Dearle, Ronald Morrison, Fred Brown: Existentially Quantified Typed as a Database Viewing Mechanism. EDBT 1990: 301-315 BibTeX

[GR83]

Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983
BibTeX

[GPZ88]

Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524(1988) BibTeX

[HZ90]

Sandra Heiler, Stanley B. Zdonik: Object Views: Extending the Vision. ICDE 1990: 86-93 BibTeX

[JM88]

...

[KLW90]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) BibTeX

[Mil78]

Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978) BibTeX

[OB88]

...

[OB89]

Atsushi Ohori, Peter Buneman: Static Type Inference for Parametric Classes. OOPSLA 1989: 445-456 BibTeX

[OBBT89]

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57 BibTeX

[Oho92]

Atsushi Ohori: A Compilation Method for ML-Style Polymorphic Record Calculi. POPL 1992: 154-165 BibTeX

[Rem89]

Didier Rémy: Typechecking Records and Variants in a Natural Extension of ML. POPL 1989: 77-88 BibTeX

[RS91]

Joel E. Richardson, Peter M. Schwarz: Aspects: Extending Objects to Support Multiple, Independent Roles. SIGMOD Conference 1991: 298-307 BibTeX

[SLT91]

Marc H. Scholl, Christian Laasch, Markus Tresch: Updatable Views in Object-Oriented Databases. DOOD 1991: 189-207 BibTeX

[Taj93]

...

[TYI88]

Katsumi Tanaka, Masatoshi Yoshikawa, Kozo Ishihara: Schema Virtualization in Object-Oriented Databases. ICDE 1988: 23-30 BibTeX

[Wan87]

Mitchell Wand: Complete Type Inference for Simple Objects. LICS 1987: 37-44 BibTeX

[Wie86]

Gio Wiederhold: Views, Objects, and Databases. IEEE Computer 19(12): 37-44(1986) BibTeX

Referenced by

1. Keishi Tajima: Static Detection of Security Flaws in Object-Oriented Databases. SIGMOD Conference 1996: 341-352