ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Temporal Specifications of Object Behavior.

Constantin Arapis: Temporal Specifications of Object Behavior. MFDBS 1991: 308-324
@inproceedings{DBLP:conf/mfdbs/Arapis91,
  author    = {Constantin Arapis},
  editor    = {Bernhard Thalheim and
               J{\'a}nos Demetrovics and
               Hans-Detlef Gerhardt},
  title     = {Temporal Specifications of Object Behavior},
  booktitle = {MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database
               and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991,
               Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {495},
  year      = {1991},
  isbn      = {3-540-54009-1},
  pages     = {308-324},
  ee        = {db/conf/mfdbs/Arapis91.html},
  crossref  = {DBLP:conf/mfdbs/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

References

[Ara89]
...
[Ara90]
...
[Ban88]
François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 BibTeX
[Ban87]
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) BibTeX
[Care88]
Michael J. Carey, David J. DeWitt, Scott L. Vandenberg: A Data Model and Query Language for EXODUS. SIGMOD Conference 1988: 413-423 BibTeX
[Cas88]
...
[Eme89]
E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Reasoning. POPL 1989: 166-178 BibTeX
[Fis87]
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) BibTeX
[Gab80]
Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi: On the Temporal Basis of Fairness. POPL 1980: 163-173 BibTeX
[Guy86]
...
[Hen86]
...
[Kho86]
Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416 BibTeX
[Kun85]
David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179 BibTeX
[Lam83]
Leslie Lamport: Specifying Concurrent Program Modules. ACM Trans. Program. Lang. Syst. 5(2): 190-222(1983) BibTeX
[Lec88]
Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433 BibTeX
[Lip86]
Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397 BibTeX
[Lip87]
Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX
[Mai87]
David Maier, Jacob Stein, Allen Otis, Alan Purdy: Development of an Object-Oriented DBMS. OOPSLA 1986: 472-482 BibTeX
[Man84]
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984) BibTeX
[Per90]
...
[Pnu86]
...
[Obe86]
...
[Ser80]
Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) BibTeX
[Sol85]
Arne Sølvberg, David Chenho Kung: On Structural and Behavioral Modeling of Reality. DS-1 1985: 205-221 BibTeX
[Tsi87]
Dennis Tsichritzis, Eugene Fiume, Simon J. Gibbs, Oscar Nierstrasz: KNOs: KNowledge Acquisition, Dissemination, and Manipulation Objects. ACM Trans. Inf. Syst. 5(1): 96-112(1987) BibTeX
[Tsi88]
Dennis Tsichritzis, Oscar Nierstrasz: Directions in Object-Oriented Research. Object-Oriented Concepts, Databases, and Applications 1989: 523-536 BibTeX
[Wei89]
Stephen P. Weiser, Frederick H. Lochovsky: OZ+: An Object-Oriented Database System. Object-Oriented Concepts, Databases, and Applications 1989: 309-337 BibTeX
[Wol87]
...

Referenced by

  1. Jef Wijsen: Temporal FDs on Complex Objects. ACM Trans. Database Syst. 24(1): 127-176(1999)
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:29:40 2009