Recursive query processing: The power of logic
type: Item
instance of: scholarly article
title: Recursive query processing: The power of logic
zbMATH Open document ID: 0685.68077
DOI: 10.1016/0304-3975(89)90088-1
author: Laurent Vieille
published in: Theoretical Computer Science
publication date: 1989-01-01T00:00:00Z
review text: This work describes various techniques for query answering procedures for deductive databases, based on the resolution principle. A special emphasis is put on the efficiency of these procedures with respect to the ability to focus on the data relevant to the query, to avoid redundant computations, and to software engineering issues. The developed techniques are used in a general purpose procedure for recursive query processing. The paper convincingly proves the possibility of the logic programming approach to database systems.
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4123330
zbMATH Keywords: query answering procedures
zbMATH Keywords: resolution
zbMATH Keywords: logic programming
reviewed by: Marius Zimand
MaRDI profile type: Publication
full work available at URL: 0304-3975(89)90088-1
OpenAlex ID: W2100264125
cites work: Equivalences among Relational Expressions
cites work: Contributions to the Theory of Logic Programming
cites work: Structure and complexity of relational queries
cites work: The Specialization of Programs by Theorem Proving
cites work: Q3339245
cites work: An efficient context-free parsing algorithm
cites work: Q3340205
cites work: On the efficiency of subsumption algorithms
cites work: On compiling queries in recursive first-order databases
cites work: A relational approach to logic programming: The extended Alexander method
cites work: Depth-first iterative-deepening: An optimal admissible tree search
cites work: Algorithm = logic + control
cites work: Linear resolution with selection function
cites work: Q4139711
cites work: Q5586197
cites work: On recursive axioms in deductive databases
cites work: Automating control for logic programs
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: The Alexander Method - a technique for the processing of recursive axioms in deductive databases
cites work: Q3786036
cites work: Q3746920
cites work: Implementation of logical query languages for databases
description: scientific article; zbMATH DE number 4123330