Recursive query optimization in deductive databases via proof-tree transformations
Uses the proof-tree transformation technique to study two different recursive query optimization problems: 1-boundedness, and, stage preserving linearizability.
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1996
|
| Online Access: | http://spectrum.library.concordia.ca/4086/1/MM10819.pdf Ashraf, Karima <http://spectrum.library.concordia.ca/view/creators/Ashraf=3AKarima=3A=3A.html> (1996) Recursive query optimization in deductive databases via proof-tree transformations. Masters thesis, Concordia University. |