Translation of logic programs into functional fixpoint equations
type: Item
instance of: scholarly article
title: Translation of logic programs into functional fixpoint equations
zbMATH Open document ID: 0681.68108
DOI: 10.1016/0304-3975(89)90009-1
author: Georges Gardarin
author: Christophe de Maindreville
author: Irène Guessarian
published in: Theoretical Computer Science
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68P20
zbMATH DE Number: 4116012
zbMATH Keywords: magic function method
zbMATH Keywords: connection graph
zbMATH Keywords: fixpoint equation
zbMATH Keywords: Tarski's theorem
zbMATH Keywords: recursive queries
MaRDI profile type: Publication
full work available at URL: 0304-3975(89)90009-1
OpenAlex ID: W2045499073
cites work: The theory of languages
cites work: Q5615282
cites work: Q3340205
cites work: Q3773309
cites work: On compiling queries in recursive first-order databases
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Implementation of logical query languages for databases
Recommended article: A program transformation from equational programs into logic programs
Recommended article: Transformations of logic programs
Recommended article: An Equational Approach to Logic Programming
Recommended article: From Logic to Functional Logic Programs
Recommended article: Derivation of logic programs by functional methods
Recommended article: Foundations of equational logic programming
Recommended article: Transformation and Debugging of Functional Logic Programs
Recommended article: Q3727354
Recommended article: Q4940938
description: scientific article; zbMATH DE number 4116012