Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism (1992)
by
Alexander Aiken
,
Jennifer Widom
,
Joseph M. Hellerstein
| Venue: | In Proceedings of the ACM SIGMOD International Conference on Management of Data |
| Citations: | 69 - 8 self |
BibTeX
@INPROCEEDINGS{Aiken92behaviorof,
author = {Alexander Aiken and Jennifer Widom and Joseph M. Hellerstein},
title = {Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism},
booktitle = {In Proceedings of the ACM SIGMOD International Conference on Management of Data},
year = {1992},
pages = {59--68},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. Static analysis methods are given for determining whether arbitrary sets of database production rules are (1) guaranteed to terminate
