Logical query optimization by proof-tree transformation
type: Item
instance of: scholarly article
title: Logical query optimization by proof-tree transformation
zbMATH Open document ID: 0808.68057
DOI: 10.1016/0022-0000(93)90025-R
author: Moshe Y. Vardi
author: Raghu Ramakrishnan
author: Yehoshua Sagiv
author: Jeffrey D. Ullman
published in: Journal of Computer and System Sciences
publication date: 1993-10-10T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 428589
zbMATH Keywords: logical rules
zbMATH Keywords: proof tree
zbMATH Keywords: program optimization
MaRDI profile type: MaRDI publication profile
cites work: Undecidable optimization problems for database logic programs
cites work: Commutativity and its role in the processing of linear recursion
cites work: Q3477931
cites work: Q3725521
cites work: Parallel complexity of logical query programs
full work available at URL: 0022-0000(93)90025-r
OpenAlex ID: W2021790877
Recommended article: On the efficiency of transforming database logic programs
Recommended article: Basic transformation operations which preserve computed answer substitutions of logic programs
Recommended article: Transformations of logic programs
Recommended article: Representing proof transformations for program optimization
Recommended article: Query optimization using rewrite rules
description: scientific article; zbMATH DE number 428589