Skip to main content
SpringerLink
Log in

Process management and assertion enforcement for a semantic data model

  • Data Types And Data Semantics
  • Conference paper
  • First Online:
Advances in Database Technology—EDBT '88 (EDBT 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 303))

Included in the following conference series:

Abstract

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.

Parts of this paper are a revision and extension of a forthcoming book chapter [Nixon, forthcoming].

Senior Fellow, Canadian Institute for Advanced Research

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Antonio Albano, Luca Cardelli and Renzo Orsini, Galileo: A Strongly Typed, Interactive Conceptual Language. ACM TODS, Vol. 10, No. 2, Aug. 1985

    Google Scholar 

  2. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Domenico Ferrari, Measurement and Tuning of Computer Systems. Englewood Cliffs, NJ: Prentice-Hall, 1983.

    Google Scholar 

  17. J. J. Florentin, Consistency Auditing of Databases. Computing Journal, Vol. 17, No. 1, 1974.

    Google Scholar 

  18. Adele Goldberg and David Robson, SMALLTALK-80: The Language and its Implementation. Reading, MA: Addison Wesley, 1983.

    Google Scholar 

  19. 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. 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. M. M. Hammer and S. K. Sarin, Efficient Monitoring of Database Assertions. International Conference on Management of Data, ACM SIGMOD, 1978.

    Google Scholar 

  22. 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. C. A. R. Hoare, Communicating Sequential Processes. CACM, Vol. 21, No. 8, Aug. 1978, pp. 666–677.

    Google Scholar 

  24. 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. Richard Hull and Roger King, Semantic Database Modeling: Survey, Applications, and Research Issues. Manuscript, March 1987.

    Google Scholar 

  26. G. M. E. Lafue, Management of Database Semantic Integrity: A Survey. Draft, Rutgers University, Oct. 1982.

    Google Scholar 

  27. 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. Fred Lochovsky (editor), Special Issue on Object-Oriented Systems. IEEE Database Engineering, Vol. 8, No. 4, Dec. 1985.

    Google Scholar 

  29. R. N. Melo, Monitoring Integrity Constraints in a Codasyl-like DBMS. Fifth International Conference on Very Large Data Bases, 1979.

    Google Scholar 

  30. 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.

    Article  Google Scholar 

  31. 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. 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–42

    Google Scholar 

  33. 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. 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. 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. 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. 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. 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. 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. Daniel Rios-Zertuche, M.Sc. thesis, Dept. of Computer Science, University of Toronto, forthcoming.

    Google Scholar 

  41. 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. 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. 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. 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. 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. 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. 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. D. C. Tsichritzis and F. H. Lochovsky, Data Models. Englewood Cliffs, NJ: Prentice-Hall, 1982.

    Google Scholar 

  49. 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. M. Vilain and H. Kautz, Constraint Propagating Algorithms for Temporal Reasoning. Proceedings, American Association for Artificial Intelligence, Philadelphia, 1986.

    Google Scholar 

  51. Anthony Wasserman, Procedure-Oriented Exception Handling. Technical Report 27, Medical Information Science, University of California, San Francisco, Feb. 1977.

    Google Scholar 

  52. 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. 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. C. Zaniolo, The Database Language GEM. Proceedings, 1983 ACM SIGMOD Conference on Management of Data, May 1983, pp. 207–218.

    Google Scholar 

  55. 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 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Toronto, M5S 1A4, Toronto, Ontario, Canada

    K. Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon & John Mylopoulos

Authors
  1. K. Lawrence Chung
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Rios-Zertuche
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Brian A. Nixon
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John Mylopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. Schmidt S. Ceri M. Missikoff

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chung, K.L., Rios-Zertuche, D., Nixon, B.A., Mylopoulos, J. (1988). Process management and assertion enforcement for a semantic data model. In: Schmidt, J.W., Ceri, S., Missikoff, M. (eds) Advances in Database Technology—EDBT '88. EDBT 1988. Lecture Notes in Computer Science, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19074-0_68

Download citation

  • DOI: https://doi.org/10.1007/3-540-19074-0_68

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19074-5

  • Online ISBN: 978-3-540-39095-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation