Login | Register

Recursive query optimization in deductive databases via proof-tree transformations

Title:

Recursive query optimization in deductive databases via proof-tree transformations

Ashraf, Karima (1996) Recursive query optimization in deductive databases via proof-tree transformations. Masters thesis, Concordia University.

[img]
Preview
PDF
3MB

Abstract

Uses the proof-tree transformation technique to study two different recursive query optimization problems: 1-boundedness, and, stage preserving linearizability.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Ashraf, Karima
Pagination:ix, 85 leaves: ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Date:1996
Thesis Supervisor(s):Lakshmanan, V. S
ID Code:4086
Deposited By: Concordia University Libraries
Deposited On:27 Aug 2009 19:36
Last Modified:08 Dec 2010 15:36
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads

Downloads per month over past year

Back to top Back to top