A theory for rule triggering systems
We define and study the family of RTS's, each appearing in the form of a relational database extended with a set of production-like rules with forward-chained operational semantics.
The syntax and operational semantics of RTS's are first defined, which provide a simple model for rule triggering systems. Operationally rules behave like concurrent processes which update the database's state. A computation of a RTS is then a sequence of states induced by firing rules in some order, which terminates in a fixed point. When a RTS has more than one rule, there may be multiple computations from the same state, and they may terminate in different fixed points.
The RTS's that have determinate computational behavior are identified as those computing unique fixed points. We give an easy-to-check sufficient condition that detects RTS's that may fail to belong to this class.
KeywordsRule Base Transition Relation Operational Semantic Transition Sequence Horn Clause
Unable to display preview. Download preview PDF.
- 1.J. A. Blakeley et al, Efficiently Updating Materialized Views. Proc. 1986 ACM SIGMOD Conference on Management of Data, 61–71.Google Scholar
- 3.D. D. Chamberlain et al, SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control. IBM Journal of Research and Development, Vol. 20, No. 6 (November 1976).Google Scholar
- 4.D. Cohen, Automatic Compilation of Logical Specifications into Efficient Programs. In Proc. 5th National Conference on Artificial Intelligence, August 1986.Google Scholar
- 5.C. J. Date, An Introduction to Database Systems, Volume II. Addison-Wesley, Reading, Mass. 1983.Google Scholar
- 6.K. P. Eswaran. Specifications, Implementations, and Interactions of a Trigger Subsystem in an Integrated Data Base System. IBM Research Report RJ1820 (August 1976).Google Scholar
- 8.M. Hsu, R. Ladin and D. McCarthy, An Execution Model for Active Data Base Management Systems. Proc. 3rd International Conference on Data and Knowledge Bases, June 1988.Google Scholar
- 9.M. Hsu, T. E. Cheatham, Rule Execution in CPLEX: A Persistent Objectbase. Proc. 2nd International Workshop on Object Oriented Database Systems, September, 1988.Google Scholar
- 11.J. Moss, Nested Transactions: An Approach To Reliable Distributed Computing. MIT Laboratory for Computer Science, MIT/LCS/TR-260 (1981).Google Scholar
- 12.J. M. Nicolas, K. Yazdanian, Integrity Checking in Deductive Databases. In H. Gallaire, J. Minker (ed.) Logic and Data Bases, 325–344. Plenum Press, 1978.Google Scholar
- 13.D. A. Schmidt, Denotational Semantics: a Methodology for Language Development. Allyn and Bacon, Newton, Mass., 1986.Google Scholar
- 14.M. Stonebraker et al, A Rule Manager For Relational Database Systems. The POSTGRES Papers, Univ. of California, Berkeley, Ca. Electronics Research Lab, Memo No. UCB/ERL M86/85 (1986).Google Scholar
- 15.Sybase, Inc. Transact-SQL User's Guide. (1987).Google Scholar
- 16.Jeffrey. D. Ullman, Principles of Database Systems. 2nd ed., Computer Science Press, 1982.Google Scholar