Abstract
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as data conditions/constraints by rules and triggers. However, the specification and management of temporal rules in active OODBs has not been investigated. This paper deals with the specification and management of temporal requirements and constraints of real-world applications. We present a temporal knowledge model in which temporal rules are defined as part of the semantic specifications of object instances and object classes. We also present a temporal specification language which is characterized by its validity time specification, its trigger specification that involves time and system/user-defined operations, and the inclusion of temporal conditions and association patterns in temporal rules. Two general types of temporal rules are distinguished: constraint rules for specifying the legitimate or illegitimate states of a temporal knowledge base and deductive rules for deducing objects’ data values and object associations which are not explicitly stored. Activations of temporal rules are controlled by triggers which specify the various times and conditions for rule evaluation. Rules can be updated resulting in historical rules. Rules can be inherited in a superclass-subclass hierarchy or a lattice as the inheritance of attributes and operations in the object-oriented paradigm. Temporal rules are modeled as first class objects and thus can be managed uniformly as temporal data by a temporal knowledge base management system. The methods for updating, retrieving, triggering, and evaluating temporal rules are also presented.
Acknowledgment: This research is supported by the National Science Foundation grant CCR-9200756. The implementation effort is supported by the Florida High Technology and Industry Council grant #UPN 90090708.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alashqur A.M., Su S.Y.W, and Lam H., “OQL-An Object-oriented Query Language”, Proc. of the Int’l Conf. on VLDB, 1989, pp. 433–442.
Alashqur A.M., Su S.Y.W, and Lam H., “A Rule-based Language for Deductive Object-oriented Databases,” Proc. of the sixth Int’l Conf. on Data Engineering, L.A., Calif., 1990, pp.58–67.
Arroyo-Figueroa J., “The Design and Implementation of K.1: A Third Generation Database Programming Language,” Master’s Thesis, Electrical Eng. Dept., Univ. of Florida, 1992.
Barr A. and Davidson J., “Representation of Knowledge” in Handbook of AI, Barr A. and Feigenbaum E., (eds), William Kaufman, Los Altos, CA, 1981.
Beeri C. and Milo T., “A Model for Active Object-oriented Databases,” Proc. of the Int’l Conf. on VLDB, 1991, pp. 337–349.
Cercone N. and McCalla G., “What Is Knowledge Representation?,” Chapter 1 in The Knowledge Frontier: Essays in the Representation of Knowledge, Nick Cercone and Gordon McCalla (eds), Springer-Verlag, 1983.
Charkravarthy U.S. and Nesson S., “Making an Object-oriented DBMS Active: Design, Implementation, and Evaluation of a Prototype,” in Proc. of the Int’l Conf. on Extended Data Base Technology, March 1990.
Dayal U., Blaustein B., Buchmann A., Carey M., Charkravarthy U.S. et al., “Active Database Management System,” Proc. of Int’l Conf. on Data and Knowledge Bases, 1988.
Dayal U., Buchmann A. and McCarthy D., “Rules are Objects Too: A Knowledge Model for an Active, Object-oriented Database Management System,” Proc. 2nd Int’l Workshop on Object-oriented Database Systems, Sept 1988.
Dittrich K.R., Kotz A.M. and Mulle J.A., “An Event/Trigger Mecchanism to Enforce Complex Consistency Constraints in Design Databases,” ACM SIGMOD Record 15, No. 3, 1986, pp. 22–36.
Elmasri R. and Wuu G.T.J., “A Temporal Model and Query Language for ER Databases,” Proc. of the Int’l Conf. on Data Eng., 1990, pp. 76–83.
Elmasri R., El-Assal I. and Kouramajian V., “Semantics of Temporal Data in An Extended ER Model,” Proc. of the ER Conf., 1990.
Hsu M., Ladin R. and McCarthy D., “An Execution Model for Active Database Management Systems,” Proc. of the Int’l Conf. on Data and Knowledge Bases, 1988, pp. 171–179.
Jensen C.S. and Snodgrass R.T., “Temporal Specification,” Proc. of the Int’l Conf. on Data Eng., Tempe, Arizona, 1992, pp.594–603.
Levesque H.J., “A View of Knowledge Representation,” in On Knowledge Base Management Systems, M.L. Brodie and J. Mylopoulos (eds), Springer-Verlag, 1987.
Lorenitzos N.A. and Johnson R.G., “Extending Relational Algebra to Manipulate Temporal Data,” Information Systems, Vol.13, No.3, 1988, pp.289–296.
Lum V., Dadam P., Erbe R., Guenauer J. and Pistor P., “Designing DBMS Support for The Temporal Dimension,” Proc. of the ACM SIGMOD Int’l Conf., 1984, pp.115–130.
Maier D. and Stein J., “Development of an Object-oriented DBMS,” Proc. of the OOPSLA Conf., 1986, pp. 472–482.
Morgenstern M., “Active Databases as a Paradigm for Enhanced Computing Environments,” Proc. of the Int’l Conf. on VLDB, 1983, pp. 34–42.
Moss J.E.B., “Nested Transactions: An Approach to Reliable Distributed Computing,” Ph.D. Dissertation, MIT, 1985.
Mylopoulos J. and Levesque H., “An Overview of Knowledge Representation,” in On Conceptual Modeling: Perspectives From Artificial Intelligence, Databases and Programming Languages, Brodie, M., Mylopoulos, J., and Schmidt, J. (eds), Springer-Verlag, 1984.
Navathe S.B. and Ahmed R., “A Temporal Relational Model and A Query Language,” An International Journal of Information Sciences, Vol.48, No.2, 1989, pp. 57–73.
Newell A., “The Knowledge Level,” Presidential Address, American Association for Artificial Intelligence, AAAI80, Stanford University, Stanford, CA (19 August 1980), in AI Magazine, Vol. 2, summer 1981, pp.1–20.
Raschid L. and Su S.Y.W., “A Transaction-oriented Mechanism to Control Processing in a Knowledge Base Management System,” Proc. of Int’l Conf. on Expert Database Systems, Tysen’s Corner, VA, April 1988, pp. 353–373.
Rose E. and Segev A, “TOODM — A Temporal Object-oriented Data Model with Temporal Constraints,” Proc. of the ER Conf., 1991, pp. 205–229.
Segev A. and Shoshani A, “Logical Modeling of Temporal Data,” Proc. of the ACM SIGMOD Int’l Conf, 1987, pp. 454–466.
Shyy Y.M. and Su S.Y.W, “K: A High-level Knowledge Base Programming Language for Advanced Database Applications,” ACM SIGMOD, Denver, CO., May 1991, pp.338–347.
Snodgrass R. and Ahn I, “A Taxonomy of Time in Database,” Proc. of the ACM SIGMOD Int’l Conf, 1985, pp. 236–246.
Snodgrass R., “Research Concerning Time in Databases: Project Summaries,” ACM SIGMOD Record, Vol.15, No.4, 1986, pp. 19–39.
Snodgrass R, “Temporal Databases Status and Research Directions,” ACM SIGMOD Record, Vol. 19, No. 4, Dec. 1990, pp.83–89.
Stonebraker M., “Triggers and Inference in Database Systems,” in On Knowledge Base Management Systems (Brodie and Mylopoulos, eds) Springer-Verlag, 1985.
Su S.Y.W, Lam H. and Krishnamurthy V., “An Object-oriented Semantic Association Model (OSAM*),” Chapter 17 in Artificial Intelligence: Manufacturing Theory and Practice, edited by S.T. Kumara, A.L. Soyster, and R.L. Kashyap, Published by the Institute of Industrial Engineers, Industrial Engineering and Management Press, Norcross, GA, 1989.
Su S.Y.W. and Chen H.H.M, “A Temporal Knowledge Representation Model OSAM*/T And Its Query Language OQL/T,” Proc. of the Int’l Conf. on VLDB, 1991.
Woods W.A., “What’s Important about Knowledge Representation?,” IEEE Computer, Vol. 16, No. 10, October 1983, pp. 22–27.
Yaseen R., Su S.Y.W, and Lam H., “An Extensible Kernel Object Management System,” Proc. of the OOPSLA Conf, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Su, S.Y.W., Chen, HH.M. (1994). Temporal Rule Specification and Management in Object-oriented Knowledge Bases. In: Paton, N.W., Williams, M.H. (eds) Rules in Database Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3225-7_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3225-7_5
Publisher Name: Springer, London
Print ISBN: 978-3-540-19846-8
Online ISBN: 978-1-4471-3225-7
eBook Packages: Springer Book Archive