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        = {http://dx.doi.org/10.1007/3-540-19074-0_68},
  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)

[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)

[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

[Blaustein, 1981]

...

[Borgida, 1985]

...

[Butler, 1987]

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

[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

[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)

[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

[Chung, 1984]

...

[Christodoulakis, 1981]

...

[Eswaran, 1976]

...

[Ferrari, 1983]

...

[Florentin, 1974]

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

[Goldberg, 1983]

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

[Hammer, 1975]

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

[Hammer, 1976]

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

[Hammer, 1978]

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

[Hewitt, 1973]

...

[Hoare, 1978]

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

[Hsu, 1985]

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

[Hull, 1987]

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

[Lafue, 1982]

...

[Liskov, 1979]

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

[Lochovsky, 1985]

...

[Melo, 1979]

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

[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)

[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

[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)

[Sevcik, 1981]

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

[Smith, 1977]

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

[Smith, 1983]

...

[Stonebraker, 1975]

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

[Stonebraker, 1986]

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

[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

[Vilain, 1986]

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

[Wasserman, 1977]

...

[Weddell, 1987]

...

[Wong, 1981]

...

[Zaniolo, 1983]

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

[Zisman, 1978]

...