Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems.

@article{DBLP:journals/jacm/Huet80,
  author    = {G{\'e}rard P. Huet},
  title     = {Confluent Reductions: Abstract Properties and Applications to
               Term Rewriting Systems: Abstract Properties and Applications
               to Term Rewriting Systems},
  journal   = {J. ACM},
  volume    = {27},
  number    = {4},
  year      = {1980},
  pages     = {797-821},
  ee        = {db/journals/jacm/Huet80.html, http://doi.acm.org/10.1145/322217.322230},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Online Edition

Referenced by

1. Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom: Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Trans. Database Syst. 20(1): 3-41(1995)
2. Alfons Kemper, Christoph Kilger, Guido Moerkotte: Function Materialization in Object Bases: Design, Realization, and Evaluation. IEEE Trans. Knowl. Data Eng. 6(4): 587-608(1994)
3. José Meseguer, Xiaolei Qian: A Logical Semantics for Object-Oriented Databases. SIGMOD Conference 1993: 89-98
4. Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68
5. HweeHwa Pang, Hongjun Lu, Beng Chin Ooi: Query Processing in OODB. DASFAA 1991: 1-10
6. Alfons Kemper, Guido Moerkotte: Advanced Query Processing in Object Bases Using Access Support Relations. VLDB 1990: 290-301
7. Edward Sciore, John Sieg Jr.: A Modular Query Optimizer Generator. ICDE 1990: 146-153
8. Yuli Zhou, Meichun Hsu: A Theory for Rule Triggering Systems. EDBT 1990: 407-421
9. Johann Christoph Freytag, Nathan Goodman: On the Translation of Relational Queries into Iterative Programs. ACM Trans. Database Syst. 14(1): 1-27(1989)
10. François Bry: Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. SIGMOD Conference 1989: 193-204
11. François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50
12. François Bry: Logical Rewritings for Improving the Evaluation of Quantified Queries. MFDBS 1989: 100-116
13. Johann Christoph Freytag: A Rule-Based View of Query Optimization. SIGMOD Conference 1987: 173-180
14. Johann Christoph Freytag, Nathan Goodman: Translating Aggregate Queries into Iterative Programs. VLDB 1986: 138-146
15. Johann Christoph Freytag, Nathan Goodman: Rule-Based Translation of Relational Queries into Iterative Programs. SIGMOD Conference 1986: 206-214