Process Management and Assertion Enforcement for a Semantic Data Model.

@inproceedings{DBLP:conf/edbt/ChungRNM88,
  author    = {Lawrence Chung and
               Daniel Rios-Zertuche and
               Brian A. Nixon and
               John Mylopoulos},
  editor    = {Joachim W. Schmidt and
               Stefano Ceri and
               Michele Missikoff},
  title     = {Process Management and Assertion Enforcement for a Semantic Data
               Model},
  booktitle = {Advances in Database Technology - EDBT'88, Proceedings of the
               International Conference on Extending Database Technology, Venice,
               Italy, March 14-18, 1988},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {303},
  year      = {1988},
  isbn      = {3-540-19074-0},
  pages     = {469-487},
  ee        = {db/conf/edbt/ChungRNM88.html},
  crossref  = {DBLP:conf/edbt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

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

References

[Albano, 1985a]

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

[Albano, 1985b]

...

[Albano, 1985c]

...

[Astrahan 1976, 1976]

Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Kapali P. Eswaran, Jim Gray, Patricia P. Griffiths, W. Frank King III, Raymond A. Lorie, Paul R. McJones, James W. Mehl, Gianfranco R. Putzolu, Irving L. Traiger, Bradford W. Wade, Vera Watson: System R: Relational Approach to Database Management. ACM Trans. Database Syst. 1(2): 97-137(1976) BibTeX

[Barron, 1982]

...

[Bernstein, 1980]

Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136 BibTeX

[Blaustein, 1981]

...

[Borgida, 1985]

...

[Butler, 1987]

Margaret H. Butler: Storage Reclamation in Object Oriented Database Systems. SIGMOD Conference 1987: 410-425 BibTeX

[Chakravarthy, 1984]

Upen S. Chakravarthy, Daniel H. Fishman, Jack Minker: Semantic Query Optimization in Expert Systems and Database Systems. Expert Database Workshop 1984: 659-674 BibTeX

[Chamberlin, 1981]

Donald D. Chamberlin, Morton M. Astrahan, Mike W. Blasgen, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Patricia G. Selinger, Mario Schkolnick, Donald R. Slutz, Irving L. Traiger, Bradford W. Wade, Robert A. Yost: A History and Evaluation of System R. Commun. ACM 24(10): 632-646(1981) BibTeX

[Chan, 1982]

Arvola Chan, Sy Danberg, Stephen Fox, Wen-Te K. Lin, Anil Nori, Daniel R. Ries: Storage and Access Structures to Support a Semantic Data Model. VLDB 1982: 122-130 BibTeX

[Chung, 1984]

...

[Christodoulakis, 1981]

...

[Eswaran, 1976]

...

[Ferrari, 1983]

...

[Florentin, 1974]

J. J. Florentin: Consistency Auditing of Databases. Comput. J. 17(1): 52-58(1974) BibTeX

[Goldberg, 1983]

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

[Hammer, 1975]

Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47 BibTeX

[Hammer, 1976]

Michael Hammer, Dennis McLeod: A Framework for Data Base Semantic Integrity. ICSE 1976: 498-504 BibTeX

[Hammer, 1978]

Michael Hammer, Sunil K. Sarin: Efficient Monitoring of Database Assertions (Abstract). SIGMOD Conference 1978: 159 BibTeX

[Hewitt, 1973]

...

[Hoare, 1978]

C. A. R. Hoare: Communicating Sequential Processes. Commun. ACM 21(8): 666-677(1978) BibTeX

[Hsu, 1985]

Arding Hsu, Tomasz Imielinski: Integrity Checking for Multiple Updates. SIGMOD Conference 1985: 152-168 BibTeX

[Hull, 1987]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX

[Lafue, 1982]

...

[Liskov, 1979]

Barbara Liskov, Alan Snyder: Exception Handling in CLU. IEEE Trans. Software Eng. 5(6): 546-558(1979) BibTeX

[Lochovsky, 1985]

...

[Melo, 1979]

Rubens N. Melo: Monitoring Integrity Constraints in a CODASYL-Like DBMS. VLDB 1979: 209-218 BibTeX

[Mylopoulos, 1980]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX

[Mylopoulos, 1986]

...

[Nierstrasz, 1987]

...

[Nixon, 1983]

...

[Nixon, 1987]

Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley: Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. SIGMOD Conference 1987: 118-131 BibTeX

[Nixon, forthcoming]

...

[O'Brien, 1982]

...

[O'Brien, 1983]

...

[Park, 1985]

...

[Ribeiro, 1978]

...

[Rios-Zertuche, forthcoming]

...

[Sarin, 1977]

...

[Schmidt, 1977]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX

[Sevcik, 1981]

Kenneth C. Sevcik: Data Base System Performance Prediction Using an Analytical Model (Invited Paper). VLDB 1981: 182-198 BibTeX

[Smith, 1977]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[Smith, 1983]

...

[Stonebraker, 1975]

Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 BibTeX

[Stonebraker, 1986]

Michael Stonebraker, Lawrence A. Rowe: The Design of Postgres. SIGMOD Conference 1986: 340-355 BibTeX

[Tsichritzis, 1982]

...

[Tsur, 1984]

Shalom Tsur, Carlo Zaniolo: An Implementation of GEM - Supporting a Semantic Data Model on a Relational Back-End. SIGMOD Conference 1984: 286-295 BibTeX

[Vilain, 1986]

Marc B. Vilain, Henry A. Kautz: Constraint Propagation Algorithms for Temporal Reasoning. AAAI 1986: 377-382 BibTeX

[Wasserman, 1977]

...

[Weddell, 1987]

...

[Wong, 1981]

...

[Zaniolo, 1983]

Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983: 207-218 BibTeX

[Zisman, 1978]

...

Referenced by

1. Brian A. Nixon: Representing and Using Performance Requirements During the Development of Information Systems. EDBT 1994: 187-200
2. Brian A. Nixon: Implementation of Information System Design Specifications: A Performance Perspective. DBPL 1991: 149-168
3. Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
4. Peter Peinl, Andreas Reuter, Harald Sammer: High Contention in a Stock Trading Database: A Case Study. SIGMOD Conference 1988: 260-268
5. Brian A. Nixon, John Mylopoulos: Integration Issues in Implementing Semantic Data Models. DBPL 1987: 187-217