A Pattern-Based Object Calculus.

Nabil Kamel, Ping Wu, Stanley Y. W. Su: A Pattern-Based Object Calculus. VLDB J. 3(1): 53-76(1994)

@article{DBLP:journals/vldb/KamelWS94,
  author    = {Nabil Kamel and
               Ping Wu and
               Stanley Y. W. Su},
  title     = {A Pattern-Based Object Calculus},
  journal   = {VLDB J.},
  volume    = {3},
  number    = {1},
  year      = {1994},
  pages     = {53-76},
  ee        = {db/journals/vldb/KamelWS94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Several object-oriented database management systems have been implemented without an accompanying theoretical foundation for constraint, query specification, and processing. The pattern-based object calculus presented in this article provides such a theoretical foundation for describing and processing object-oriented databases. We view an object-oriented database as a network of interrelated classes (i.e., the intension) and a collection of time-varying object association patterns (i.e., the extension). The object calculus is based on first-order logic. It provides the formalism for interpreting precisely and uniformly the semantics of queries and integrity constraints in object-oriented databases. The power of the object calculus is shown in four aspects. First, associations among objects are expressed explicitly in an object-oriented database. Second, the "nonassociation" operator is included in the object calculus. Third, set-operations can be performed on both homogeneous and heterogeneous object association patterns. Fourth, our approach does not assume a specific form of database schema. A proposed formalism is also applied to the design of high-level object-oriented query and constraint languages.

Copyright © 1994 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Key Words

Object-oriented databases, association patterns, semantic constraints.

Online Paper

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ...

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
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An4-1 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

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
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

References

[Alashqur et al. 1989]: A. M. Alashqur, Stanley Y. W. Su, Herman Lam: OQL: A Query Language for Manipulating Object-oriented Databases. VLDB 1989: 433-442
[Arroyo 1992]: ...
[Banerjee et al. 1987]: Jay Banerjee, Hong-Tai Chou, Jorge F. Garza, Won Kim, Darrell Woelk, Nat Ballou, Hyoung-Joo Kim: Data Model Issues for Object-Oriented Applications. ACM Trans. Inf. Syst. 5(1): 3-26(1987)
[Batory & Kim 1985]: Don S. Batory, Won Kim: Modeling Concepts for VLSI CAD Objects. ACM Trans. Database Syst. 10(3): 322-346(1985)
[Carey et al. 1988]: Michael J. Carey, David J. DeWitt, Scott L. Vandenberg: A Data Model and Query Language for EXODUS. SIGMOD Conference 1988: 413-423
[Chen & Warren 1989]: Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378
[Codd 1972]: E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972)
[Codd 1979]: E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979)
[Date 1981]: C. J. Date: Referential Integrity. VLDB 1981: 2-12
[Date 1982]: ...
[Fishman et al. 1987]: Daniel H. Fishman, David Beech, H. P. Cate, E. C. Chow, Tim Connors, J. W. Davis, Nigel Derrett, C. G. Hoch, William Kent, Peter Lyngbæk, Brom Mahbod, Marie-Anne Neimat, T. A. Ryan, Ming-Chien Shan: Iris: An Object-Oriented Database Management System. ACM Trans. Inf. Syst. 5(1): 48-69(1987)
[Guo et al. 1991]: Mingsen Guo, Stanley Y. W. Su, Herman Lam: An Association Algebra For Processing Object-Oriented Databases. ICDE 1991: 23-32
[Hull & King 1987]: Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987)
[Kifer & Lausen 1989]: Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146
[Kifer & Wu 1989]: Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393
[Lecluse et al. 1988]: Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433
[Maier 1986]: ...
[Maier et al. 1986]: David Maier, Jacob Stein, Allen Otis, Alan Purdy: Development of an Object-Oriented DBMS. OOPSLA 1986: 472-482
[Manola & Dayal 1986]: Frank Manola, Umeshwar Dayal: PDM: An Object-Oriented Data Model. OODBS 1986: 18-25
[Morgenstern 1984]: Matthew Morgenstern: Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement. VLDB 1984: 291-300
[Object Design Inc. 1990]: ...
[Ontologic Inc. 1988]: ...
[Osborn 1988]: Sylvia L. Osborn: Identity, Equality and Query Optimization. OODBS 1988: 346-351
[Osborn 1989]: ...
[Schaffert et al. 1986]: Craig Schaffert, Topher Cooper, Bruce Bullis, Mike Killian, Carrie Wilpolt: An Introduction to Trellis/Owl. OOPSLA 1986: 9-16
[Shaw & Zdonik 1989]: Gail M. Shaw, Stanley B. Zdonik: An Object-Oriented Query Algebra. IEEE Data Eng. Bull. 12(3): 29-36(1989)
[Shepherd & Kerschberg 1984]: Allan Shepherd, Larry Kerschberg: PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems. SIGMOD Conference 1984: 307-315
[Shipman 1981]: David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981)
[Shyy & Su 1991]: Yuh-Ming Shyy, Stanley Y. W. Su: K: A High-Level Knowledge Base Programming Language for Advanced Database Applications. SIGMOD Conference 1991: 338-347
[Stonebraker et al. 1987]: Michael Stonebraker, Eric N. Hanson, Chin-Heng Hong: The Design of the Postgres Rules System. ICDE 1987: 365-374
[Straube 1991]: ...
[Su & Alshqur 1991]: ...
[Su et al. 1989]: ...
[Su et al. 1993a]: Stanley Y. W. Su, Mingsen Guo, Herman Lam: Association Algebra: A Mathematical Foundation for Object-Oriented Databases. IEEE Trans. Knowl. Data Eng. 5(5): 775-798(1993)
[Su et al. 1993b]: Stanley Y. W. Su, Herman Lam, Srinivasa Eddula, Javier Arroyo, Neeta Prasad, Ronghao Zhuang: OSAM*KBMS: An Object-Oriented Knowledge Base Management System for Supporting Advanced Applications. SIGMOD Conference 1993: 540-541
[Ullman 1982]: Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
[Urban & Delcambre 1989]: Susan Darling Urban, Lois M. L. Delcambre: Constraint Analysis for Specifying Perspectives of Class Objects. ICDE 1989: 10-17
[Zaniolo 1983]: Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983: 207-218