A theory for rule triggering systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 416 LNCS, Issue , 1990, Pages 407-421

  Zhou, Yuli ^a   Hsu, Meichun ^a  

^a HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

CONCURRENT PROCESS; FIRING RULES; FIXED POINTS; ONE-RULE; OPERATIONAL SEMANTICS; RELATIONAL DATABASE; SIMPLE MODELING; TRIGGERING SYSTEMS;

COMPUTATION THEORY;

EID: 84976689116     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0022186     Document Type: Conference Paper

References (17)

1. J. A. Blakeley et al. Efficiently Updating Materialized Views. Proc. 1986 ACM SIGMOD Conference on Management of Data, 61-71.
2. P. Buneman, E. Clemons, Efficiently Monitoring Relational Databases. ACM Trans, on Database Systems vol. 4 No. 3 (Sept. 1979), 368-382.
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).
4. D. Cohen, Automatic Compilation of Logical Specifications into Efficient Programs. In Proc. 5th National Conference on Artificial Intelligence, August 1986.
5. C. J. Date, An Introduction to Database Systems, Volume II. Addison-Wesley, Reading, Mass. 1983.
6. K. P. Eswaran. Specifications, Implementations, and Interactions of a Trigger Subsystem in an Integrated Data Base System. IBM Research Report RJ1820 (August 1976).
7. C. L. Forgy, Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence 19 (1982) 17-37.
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.
9. M. Hsu, T. E. Cheatham, Rule Execution in CPLEX: A Persistent Objectbase. Proc. 2nd International Workshop on Object Oriented Database Systems, September, 1988.
10. Gerard Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems. JACM, Vol. 27, No. 4, 1980, 797-821.
11. J. Moss, Nested Transactions: An Approach To Reliable Distributed Computing. MIT Laboratory for Computer Science, MIT/LCS/TR-260 (1981).
12. J. M. Nicolas, K. Yaadanian, Integrity Checking in Deductive Databases. In H. Gallaire, J. Minker (ed.) Logic and Data Bases, 325-344. Plenum Press, 1978.
13. D. A. Schmidt, Denotational Semantics: a Methodology for Language Development. Allyn and Bacon, Newton, Mass., 1986.
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).
15. Sybase, Inc. Transact-SQL User’s Guide. (1987).
16. Jeffrey. D. Ullman, Principles of Database Systems. 2nd ed.. Computer Science Press, 1982.
17. M. H. Van Emden, R. A. Kowalski, The Semantics of Predicate Logic as a Programming Language. J. ACM 23:4, 1976, 733-742.