Behavior of database production rules: Termination, confluence, and observable determinism

Proceedings of the ACM SIGMOD International Conference on Management of Data

Volumn Part F129624, Issue , 1992, Pages 59-68

  Aiken, Alexander ^a   Widom, Jennifer ^a   Hellerstein, Joseph M ^a,b  

^a IBM ALMADEN RESEARCH CENTER   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

STARS; STATIC ANALYSIS;

ANALYSIS METHOD; ARBITRARY SETS; INTERACTIVE DEVELOPMENT ENVIRONMENT; PRODUCTION RULES; RULE SYSTEMS; STARBURSTS; STATIC ANALYSIS METHOD;

DATABASE SYSTEMS;

EID: 84941152215     PISSN: 07308078     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/130283.130294     Document Type: Conference Paper

References (16)

1. S. Abiteboul and E. Simon. Fundamental proper- ties of deterministic and nondeterministic extensions of datalog. Theoretical Computer Science, 78:137-158, 1991.
2. A. Aiken, J. Widom, and J.M. Hellerstein. Behavior of database production rules: Termination, confluence, and observable determinism. IBM Research Report RJ 8562, IBM Almaden Research Center, San Jose, California, January 1992.
3. L. Brownston R. Farrell E. Kant N. Martin. Programming Expert Systems in 0PS5: An Introduction to Rule-Based Programming. Addison-Wesley, Reading, Massachusetts, 1985.
4. S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proc. 16th Intl. Conf. on Very Large Data Bases, pages 566-577, Brisbane, Australia, August 1990.
5. N. Gehani and H.V. Jagadish. Ode as an ac- tive database: Constraints and triggers. In Proc. 17th Intl. Conf. on Very Large Data Bases, pages 327-336, Barcelona, Spain, September 1991.
6. E.N. Hanson. An initial report on the design of Ariel: A DBMS with an integrated production rule system. SIGMOD Record, 18(3):12-19, September 1989.
7. L. Haas, W. Chang, G.M. Lohman, et al. Star-burst mid-flight: As the dust clears. IEEE Transactions on Knowledge and Data Engineering, 2(1):143-160, March 1990.
8. J.M. Hellerstein and M. Hsu. Determinism in partially ordered production systems. IBM Research Report RJ 8009, IBM Almaden Research Center, San Jose, California, March 1991.
9. G. Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM, 27(4):797-821, October 1980.
10. A.P. Karadimce and S.D. Urban. Diagnosing anomalous rule behavior in databases with integrity maintenance production rules. In 3rd Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, September 1991.
11. D.R. McCarthy and U. Dayal. The architecture of an active database management system. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 215-224, Portland, Oregon, May 1989.
12. L. Raschid. Maintaining consistency in a stratified production system. In Proc. AAAI National Conf. on Artificial Intelligence, 1990.
13. M. Stonebraker, A. Jhingran, J. Goh, and S. Po-tamianos. On rules, procedures, caching and views in data base systems. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 281-290, Atlantic City, New Jersey, May 1990.
14. J. Widom, R.J. Cochrane, and B.G. Lindsay. Implementing set-oriented production rules as an extension to Starburst. In Proc. 17th Int'l. Conf. on Very Large Data Bases, pages 275-285, Barcelona, Spain, September 1991.
15. J. Widom and S.J. Finkelstein. Set-oriented production rules in relational database systems. In Proc. ACM SIGMOD Int'l. Conf. on Management of Data, pages 259-270, Atlantic City, New Jersey, May 1990.
16. Y. Zhou and M. Hsu. A theory for rule triggering systems. In Advances in Database Technology- EDBT '90, LNCS 416, pages 407-421. Springer-Verlag, Berlin, March 1990.