Process management and assertion enforcement for a semantic data model

  • K. Lawrence Chung
  • Daniel Rios-Zertuche
  • Brian A. Nixon
  • John Mylopoulos
Data Types And Data Semantics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)


The Taxis design language offers an entity-based framework for designing interactive information systems and a data model which supports generalisation, classification and aggregation as abstraction mechanisms. With the aim of balancing expressiveness and performance, this paper describes and discusses design, implementation and performance analysis of the closely related issues of management of long-term activities for Taxis and enforcement of semantic integrity constraints.


Full Time Employee Integrity Constraint Fireable Transition Process Queue Assertion Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Albano, 1985a]
    Antonio Albano, Luca Cardelli and Renzo Orsini, Galileo: A Strongly Typed, Interactive Conceptual Language. ACM TODS, Vol. 10, No. 2, Aug. 1985Google Scholar
  2. [Albano, 1985b]
    Antonio Albano, Conceptual Languages: A Comparison of ADAPLEX, Galileo and Taxis. Proceedings of the Workshop on Knowledge Base Management Systems, Crete, June 1985, pp. 343–356.Google Scholar
  3. [Albano, 1985c]
    A. Albano, V. De Antonellis and A. Di Leva, Computer-Aided Database Design: The DATAID Approach. In A. Albano and V. Antonellis (editors), Computer-Aided Database Design: The DATAID Project. Amsterdam: North-Holland, 1986, pp. 1–13.Google Scholar
  4. [Astrahan, 1976]
    M. M. Astrahan, M. W. Blasgen, D. D. Chamberlin, K. P. Eswaran, J. N. Gray, P. P. Griffiths, W. F. King, R. A. Lorie, P. R. McJones, J. W. Mehl, G. R. Putzolu, I. L. Traiger, B. W. Wade and V. Watson, System R: Relational Approach to Database Management. ACM TODS, Vol. 1, No. 2, June 1976, pp. 97–137.Google Scholar
  5. [Barron, 1982]
    John Barron, Dialogue and Process Design for Interactive Information Systems Using Taxis. Proceedings, SIGOA Conference on Office Information Systems, Philadelphia, PA, 21–23 June 1982, SIGOA Newsletter, Vol. 3, Nos. 1 and 2, pp. 12–20.Google Scholar
  6. [Bernstein, 1980]
    Philip A. Bernstein, Barbara T. Blaustein and Edmund M. Clarke, Fast Maintenance of Semantic Integrity Assertions using Redundant Aggregate Data. Sixth International Conference on Very Large Data Bases, Proceedings, Montreal, October 1980, pp. 126–136.Google Scholar
  7. [Blaustein, 1981]
    Barbara T. Blaustein, Enforcing Database Applications: Techniques and Applications. TR-21-81, Center for Research in Computing Technology, Aiken Computation Laboratory, Harvard University, Cambridge, Massachusetts, 1981.Google Scholar
  8. [Borgida, 1985]
    Alexander Borgida, Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software, Vol. 2, No. 1, January 1985, pp. 63–73.Google Scholar
  9. [Butler, 1987]
    Margaret H. Butler, Storage Reclamation in Object Oriented Database Systems. In Umeshwar Dayal and Irv Traiger (editors), Proceedings of ACM SIGMOD 1987 Annual Conference. San Francisco, CA, May 27–29, 1987, pp. 410–425.Google Scholar
  10. [Chakravarthy, 1984]
    U. S. Chakravarthy, D. H. Fishman and J. Minker, Semantic Query Optimization in Expert Systems and Database Systems. In Larry Kerschberg (editor), Expert Database Systems. Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, SC, Oct 24–27, 1984, pp. 326–341.Google Scholar
  11. [Chamberlin, 1981]
    Donald D. Chamberlin, Morton M. Astrahan, Michael W. Blasgen, James N. Gray, W. Frank King, Bruce G. Lindsay, Raymond Lorie, James W. Mehl, Thomas G. Price, Franco Putzolu, Patricia Griffiths Selinger, Mario Schkolnick, Donald R. Slutz, Irving L. Traiger, Bradford W. Wade and Robert A. Yost, A History and Evaluation of System R. CACM, Vol. 24, No. 10, Oct. 1981, pp. 632–646.Google Scholar
  12. [Chan, 1982]
    Arvola Chan, Sy Danberg, Stephen Fox, Wen-Te K. Lin, Anil Nori and Daniel Ries, Storage and Access Structures to Support a Semantic Data Model. Proceedings, Eighth International Conference on Very Large Data Bases, Mexico City, Sept. 8–10, 1982, pp. 122–130.Google Scholar
  13. [Chung, 1984]
    Kyungwha Lawrence Chung, An Extended Taxis Compiler. M.Sc. Thesis, Dept. of Computer Science, University of Toronto, January, 1984. Also CSRG Technical Note 37, 1984.Google Scholar
  14. [Christodoulakis, 1981]
    S. Christodoulakis, Estimating Selectivities in Data Base Systems. Ph.D. Thesis, Dept of Computer Science, University of Toronto, 1981. Also Technical Report CSRG-136.Google Scholar
  15. [Eswaran, 1976]
    K. P. Eswaran, Specifications, Implementations, and Interactions of a Trigger Subsystem in a Relational Database System, IBM Research Report RJ1820, San Jose CA, Aug 1976.Google Scholar
  16. [Ferrari, 1983]
    Domenico Ferrari, Measurement and Tuning of Computer Systems. Englewood Cliffs, NJ: Prentice-Hall, 1983.Google Scholar
  17. [Florentin, 1974]
    J. J. Florentin, Consistency Auditing of Databases. Computing Journal, Vol. 17, No. 1, 1974.Google Scholar
  18. [Goldberg, 1983]
    Adele Goldberg and David Robson, SMALLTALK-80: The Language and its Implementation. Reading, MA: Addison Wesley, 1983.Google Scholar
  19. [Hammer, 1975]
    M. M. Hammer and D. J. McLeod, Semantic Integrity in a Relational Data Base System. Proceedings of the International Conference on Very Large Data Bases, Framingham MA, 22–24 Sep. 1975.Google Scholar
  20. [Hammer, 1976]
    M. M. Hammer and D. J. McLeod, A Framework for Data Base Semantic Integrity. Proceedings, Second International Conference on Software Engineering San Francisco, CA, 13–15 Oct. 1976.Google Scholar
  21. [Hammer, 1978]
    M. M. Hammer and S. K. Sarin, Efficient Monitoring of Database Assertions. International Conference on Management of Data, ACM SIGMOD, 1978.Google Scholar
  22. [Hewitt, 1973]
    C. Hewitt, P. Bishop and R. Steiger, A Universal Modular Actor Formalism for Artificial Intelligence. Proceedings, International Joint Conference on Artificial Intelligence, Stanford, CA, 1973.Google Scholar
  23. [Hoare, 1978]
    C. A. R. Hoare, Communicating Sequential Processes. CACM, Vol. 21, No. 8, Aug. 1978, pp. 666–677.Google Scholar
  24. [Hsu, 1985]
    Arding Hsu and Tomasz Imielinski, Integrity Checking for Multiple Updates (Preliminary Version). Proceedings of ACM-SIGMOD 1985, International Conference on Management of Data, Austin, TX, May 1985, pp. 152–168.Google Scholar
  25. [Hull, 1987]
    Richard Hull and Roger King, Semantic Database Modeling: Survey, Applications, and Research Issues. Manuscript, March 1987.Google Scholar
  26. [Lafue, 1982]
    G. M. E. Lafue, Management of Database Semantic Integrity: A Survey. Draft, Rutgers University, Oct. 1982.Google Scholar
  27. [Liskov, 1979]
    Barbara H. Liskov and Alan Snyder, Exception Handling in CLU. IEEE Transactions on Software Engineering, Vol. SE-5, No. 6, Nov. 1979, pp. 546–558.Google Scholar
  28. [Lochovsky, 1985]
    Fred Lochovsky (editor), Special Issue on Object-Oriented Systems. IEEE Database Engineering, Vol. 8, No. 4, Dec. 1985.Google Scholar
  29. [Melo, 1979]
    R. N. Melo, Monitoring Integrity Constraints in a Codasyl-like DBMS. Fifth International Conference on Very Large Data Bases, 1979.Google Scholar
  30. [Mylopoulos, 1980]
    John Mylopoulos, Philip A. Bernstein and Harry K. T. Wong, A Language Facility for Designing Database-Intensive Applications. ACM TODS, Vol. 5, No. 2, June 1980, pp. 185–207.CrossRefGoogle Scholar
  31. [Mylopoulos, 1986]
    John Mylopoulos, Alex Borgida, Sol Greenspan, Carlo Meghini and Brian Nixon, Knowledge Representation in the Software Development Process: A Case Study. In H. Winter (Ed.), Artificial Intelligence and Man-Machine Systems, Lecture Notes in Control and Information Sciences, No. 80. Berlin: Springer-Verlag, 1986, pp. 23–44.Google Scholar
  32. [Nierstrasz, 1987]
    O. M. Nierstrasz, Hybrid — A Language for Programming with Active Objects. In D. Tsichritzis (editor), Objects and Things, Centre Universitaire d'Informatique. Université de Genève, 1987, pp. 15–42Google Scholar
  33. [Nixon, 1983]
    Brian Andrew Nixon, A Taxis Compiler. M.Sc. Thesis, Dept. of Computer Science, University of Toronto, April 1983. Also CSRG Technical Note 33, May 1983.Google Scholar
  34. [Nixon, 1987]
    Brian Nixon, Lawrence Chung, David Lanzon, Alex Borgida, John Mylopoulos and Martin Stanley, Impleméntation of a Compiler for a Semantic Data Model: Experiences with Taxis. In Umeshwar Dayal and Irv Traiger (editors), ACM SIGMOD '87, Proceedings of Association for Computing Machinery Special Interest Group on Management of Data, 1987 Annual Conference, San Francisco, CA, May 27–29, 1987, pp. 118–131.Google Scholar
  35. [Nixon, forthcoming]
    Brian A. Nixon, K. Lawrence Chung, David Lauzon, Alex Borgida, John Mylopoulos and Martin Stanley, Design of a Compiler for a Semantic Data Model. In J. W. Schmidt and C. Thanos (editors), Foundations of Knowledge Base Management. Springer-Verlag, forthcoming. Also Technical Note CSRI-44, Computer Systems Research Institute, University of Toronto, May 1987.Google Scholar
  36. [O'Brien, 1982]
    Patrick O'Brien, Taxied: An Integrated Interactive Design Environment for Taxis, M.Sc. Thesis, Department of Computer Science, University of Toronto, 1982.Google Scholar
  37. [O'Brien, 1983]
    Patrick D. O'Brien, An Integrated Interactive Design Environment for Taxis. Proceedings, SOFTFAIR: A Conference on Software Development Tools, Techniques, and Alternatives, Arlington, VA, July 25–28, 1983. Silver Spring, MD: IEEE Computer Society Press, 1983, pp. 298–306.Google Scholar
  38. [Park, 1985]
    Sun G. Park, TAXIED-e: Automation of Scripts and User Interface in an Integrated Interactive Design Environment for Taxis. M.Sc. Thesis, Department of Computer Science, University of Toronto, 1985. Also Technical Note CSRI-39, 1985.Google Scholar
  39. [Ribeiro, 1978]
    J. S. Ribeiro, A Database Interface to Wand for the Network Alerter Service. M. Sc. Thesis, Dept. of Decision Sciences, The Wharton School, Univ. of Pennsylvania, PA, Nov. 1978.Google Scholar
  40. [Rios-Zertuche, forthcoming]
    Daniel Rios-Zertuche, M.Sc. thesis, Dept. of Computer Science, University of Toronto, forthcoming.Google Scholar
  41. [Sarin, 1977]
    S. K. Sarin, Automatic Synthesis of Efficient Procedures for Database Integrity Checking. M. Sc. Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Sep. 1977.Google Scholar
  42. [Schmidt, 1977]
    Joachim W. Schmidt, Some High Level Language Constructs for Data of Type Relation. ACM TODS, Vol. 2, No. 3, September 1977, pp. 247–261.Google Scholar
  43. [Sevcik, 1981]
    K. C. Sevcik, Database Performance Prediction using an Analytic Model. Proceedings, Seventh International Conference on Very Large Data Bases, Cannes, France, Sept. 1981, pp. 182–189.Google Scholar
  44. [Smith, 1977]
    John Miles Smith and Diane C. P. Smith, Database Abstractions: Aggregation and Generalization. ACM TODS, Vol. 2, No. 2, June 1977, pp. 105–133.Google Scholar
  45. [Smith, 1983]
    John M. Smith, Stephen A. Fox and Terry Landers, ADAPLEX: Rationale and Reference Manual, Technical Report CCA-83-08, Computer Corporation of America, Cambridge, MA, May 1983.Google Scholar
  46. [Stonebraker, 1975]
    M. Stonebraker, Implementation of Integrity Constraints and Views by Query Modification. ACM SIGMOD International Conference on the Management of Data, Proceedings, San Jose CA, 14–16 May 1975.Google Scholar
  47. [Stonebraker, 1986]
    Michael Stonebraker and Lawrence A. Rowe, The Design of POSTGRES. In Carlo Zaniolo (Ed.), Proceedings of ACM SIGMOD '86 International Conference on Management of Data, Washington, DC, May 28–30, 1986, SIGMOD Record, Vol. 15, No. 2, June 1986, pp. 340–355.Google Scholar
  48. [Tsichritzis, 1982]
    D. C. Tsichritzis and F. H. Lochovsky, Data Models. Englewood Cliffs, NJ: Prentice-Hall, 1982.Google Scholar
  49. [Tsur, 1984]
    Shalom Tsur and Carlo Zaniolo, An Implementation of GEM — Supporting a Semantic Data Model on a Relational Back-end. In Beatrice Yormark (editor), SIGMOD '84 Proceedings, Boston, MA, June 18–21, 1984, SIGMOD Record, Vol. 14, No. 2, pp. 286–295.Google Scholar
  50. [Vilain, 1986]
    M. Vilain and H. Kautz, Constraint Propagating Algorithms for Temporal Reasoning. Proceedings, American Association for Artificial Intelligence, Philadelphia, 1986.Google Scholar
  51. [Wasserman, 1977]
    Anthony Wasserman, Procedure-Oriented Exception Handling. Technical Report 27, Medical Information Science, University of California, San Francisco, Feb. 1977.Google Scholar
  52. [Weddell, 1987]
    Grant E. Weddell, Physical Design and Query Compilation for a Semantic Data Model (assuming memory residence). Ph.D. Thesis, Dept. of Computer Science, University of Toronto, 1987.Google Scholar
  53. [Wong, 1981]
    Harry K. T. Wong, Design and Verification of Interactive Information Systems Using TAXIS. Technical Report CSRG-129, Computer Systems Research Group, University of Toronto, April 1981. Also Ph.D. Thesis, Department of Computer Science, 1983.Google Scholar
  54. [Zaniolo, 1983]
    C. Zaniolo, The Database Language GEM. Proceedings, 1983 ACM SIGMOD Conference on Management of Data, May 1983, pp. 207–218.Google Scholar
  55. [Zisman, 1978]
    Michael D. Zisman, Use of Production Systems for Modeling Concurrent Processes. In D. A. Waterman and Frederick Hayes-Roth (Eds.), Pattern-Directed Inference Systems. New York: Academic Press, 1978, pp. 53–68.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • K. Lawrence Chung
    • 1
  • Daniel Rios-Zertuche
    • 1
  • Brian A. Nixon
    • 1
  • John Mylopoulos
    • 1
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada

Personalised recommendations