Skip to main content
SpringerLink
Log in

Supporting semantic rules by a generalized event/trigger mechanism

  • Expert System Approaches To Databases
  • 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

Non-standard applications like CAD/CAM, image processing and AI require database systems with facilities to handle sophisticated semantics. Advanced data models supporting complexly structured objects, abstract data types and the like have been developed to this end. However, any data model remains necessarily restricted to rather static and global semantics, not taking into account individual and dynamically changing issues. It is therefore necessary to formulate additional semantic rules, which may be rather complex and pose a variety of checking as well as enforcement requirements.

In this paper we present a generalized event/trigger concept as a basic support mechanism for semantic rules, which allows for flexible checking times and arbitrary actions in case of rule violation. If necessary, the user is able to control the supervision of semantic rules dynamically. Several levels of local and global rules are supported, existing algorithms for rule checking/enforcement can be integrated, and specific rules governing complex engineering processes (so-called action plans) can be dealt with. The usefulness of the mechanism is demonstrated by a number of examples.

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.

Similar content being viewed by others

References

  1. D.D. Chamberlin et al.: SEQUEL 2: A Unified Approach to Data Definition, Manipulation and Control. IBM Journal of Research and Development, Nov.1976, pp.561–575.

    Google Scholar 

  2. Q. Chen: A Rule-Based Object/Task Modelling Approach. Proc. ACM SIGMOD 1986, pp.281–292.

    Google Scholar 

  3. K.R. Dittrich; U. Dayal (eds.): Proc. Int. Workshop on Object-Oriented Database Systems. Pacific Grove, Sept.1986. IEEE Computer Society Press 1986.

    Google Scholar 

  4. K.R. Dittrich; A.M. Kotz; J.A. Mulle: A Multilevel Approach to Design Database Systems and its Basic Mechanisms. Proc. IEEE COMPINT, Montreal 1985.

    Google Scholar 

  5. C. Eastman; G. Lafue: Semantic Integrity Transactions in Design Databases. in: J. Encarnacao, F.L. Krause (eds.): File Structures and Data Bases for CAD, North Holland Publ. Comp. 1982, pp.45–54.

    Google Scholar 

  6. K.P. Eswaran et al.: The Notions of Consistency and Predicate Locks in a Database System. Comm. of the ACM, Vol.9, No.11, Nov.1976, pp.624–633.

    Google Scholar 

  7. C.E. Hewitt: PLANNAR: A Language for Proving Theorems in Robots. Proc. Int. Joint Conf. on Artificial Intelligence, London, Aug.1971.

    Google Scholar 

  8. S.E. Hudson; R. King: CACTIS: A Database System for Specifying Functionally-Defined Data. in [DD86], pp.26–37.

    Google Scholar 

  9. A.M. Kotz: Triggermechanimen zur Wahrung der Konsistenz von Entwurfsdaten in Datenbanksystemen. Dissertation, University of Karlsruhe, to appear 1988.

    Google Scholar 

  10. A.R. Kutay; C.M. Eastman: Transaction Management in Engineering Databases. Proc. Database Week 1983, IEEE Computer Society Press, pp.73–80.

    Google Scholar 

  11. M.A. Melkanoff; Q. Chen: An Experimental Database which combines Static and Dynamic Capabilities. Engineering Design Applications, Proc. Data Base Week 1983, IEEE Computer Society Press, pp.53–61.

    Google Scholar 

  12. T. Neumann: On Representing the Design Information in a Common Database. Proc. Database Week 1983, IEEE Computer Society Press, pp.81–87.

    Google Scholar 

  13. C. Rolland, C. Richard: The REMORA Methodology for Information Systems Design and Management. in: T.W. Olle et al. (eds.): Information Systems Design Methodologies: A Comparative Review. North-Holland Publ.Comp. 1982, pp.369–426.

    Google Scholar 

  14. M. Stonebraker: Object Management in POSTGRES using Procedures. in [DD86], pp.66–72.

    Google Scholar 

  15. M. Stonebraker: Triggers and Inference in Database Systems. in: M.L. Brodie, J. Mylopoulos (eds.): On Knowledge Base Management Systems. Springer Verlag 1986, pp.297–314.

    Google Scholar 

  16. S.B. Zdonik: Object Management Systems for Design Environments. IEEE Database Engineering, Vol.8, No.4, 1985, pp.23–30.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Forschungszentrum Informatik an der Universität Karlsruhe, Haid-und-Neu-Str. 10–14, D-7500, Karlsruhe 1, West Germany

    Angelika M. Kotz, Klaus R. Dittrich & Jutta A. Mulle

Authors
  1. Angelika M. Kotz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Klaus R. Dittrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jutta A. Mulle
    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

Kotz, A.M., Dittrich, K.R., Mulle, J.A. (1988). Supporting semantic rules by a generalized event/trigger mechanism. 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_48

Download citation

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

  • 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