Supporting semantic rules by a generalized event/trigger mechanism
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.
KeywordsAccess Structure Rule Violation Semantic Rule Derivation Rule Consistency Rule
Unable to display preview. Download preview PDF.
- [Cha76]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
- [Che86]Q. Chen: A Rule-Based Object/Task Modelling Approach. Proc. ACM SIGMOD 1986, pp.281–292.Google Scholar
- [DD86]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
- [DKM85]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
- [EL82]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
- [Esw76]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
- [Hew71]C.E. Hewitt: PLANNAR: A Language for Proving Theorems in Robots. Proc. Int. Joint Conf. on Artificial Intelligence, London, Aug.1971.Google Scholar
- [HK86]S.E. Hudson; R. King: CACTIS: A Database System for Specifying Functionally-Defined Data. in [DD86], pp.26–37.Google Scholar
- [Kot88]A.M. Kotz: Triggermechanimen zur Wahrung der Konsistenz von Entwurfsdaten in Datenbanksystemen. Dissertation, University of Karlsruhe, to appear 1988.Google Scholar
- [KE83]A.R. Kutay; C.M. Eastman: Transaction Management in Engineering Databases. Proc. Database Week 1983, IEEE Computer Society Press, pp.73–80.Google Scholar
- [MC83]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
- [Neu83]T. Neumann: On Representing the Design Information in a Common Database. Proc. Database Week 1983, IEEE Computer Society Press, pp.81–87.Google Scholar
- [RR82]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
- [Sto86]M. Stonebraker: Object Management in POSTGRES using Procedures. in [DD86], pp.66–72.Google Scholar
- [Sto86a]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
- [Zdo85]S.B. Zdonik: Object Management Systems for Design Environments. IEEE Database Engineering, Vol.8, No.4, 1985, pp.23–30.Google Scholar