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.

Bibliographic Details
Main Author:	Ashraf, Karima
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.

id	ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.4086
record_format	oai_dc
spelling	ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.40862013-10-22T03:43:27Z Recursive query optimization in deductive databases via proof-tree transformations Ashraf, Karima Uses the proof-tree transformation technique to study two different recursive query optimization problems: 1-boundedness, and, stage preserving linearizability. 1996 Thesis NonPeerReviewed application/pdf 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. http://spectrum.library.concordia.ca/4086/
collection	NDLTD
format	Others
sources	NDLTD
description	Uses the proof-tree transformation technique to study two different recursive query optimization problems: 1-boundedness, and, stage preserving linearizability.
author	Ashraf, Karima
spellingShingle	Ashraf, Karima Recursive query optimization in deductive databases via proof-tree transformations
author_facet	Ashraf, Karima
author_sort	Ashraf, Karima
title	Recursive query optimization in deductive databases via proof-tree transformations
title_short	Recursive query optimization in deductive databases via proof-tree transformations
title_full	Recursive query optimization in deductive databases via proof-tree transformations
title_fullStr	Recursive query optimization in deductive databases via proof-tree transformations
title_full_unstemmed	Recursive query optimization in deductive databases via proof-tree transformations
title_sort	recursive query optimization in deductive databases via proof-tree transformations
publishDate	1996
url	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.
work_keys_str_mv	AT ashrafkarima recursivequeryoptimizationindeductivedatabasesviaprooftreetransformations
_version_	1716606362804289536

Recursive query optimization in deductive databases via proof-tree transformations

Similar Items