The generalized counting method for recursive logic queries
type: Item
instance of: scholarly article
title: The generalized counting method for recursive logic queries
zbMATH Open document ID: 0658.68118
DOI: 10.1016/0304-3975(86)90015-0
author: Domenico Saccà
author: Carlo Zaniolo
published in: Theoretical Computer Science
publication date: 1988-01-01T00:00:00Z
review text: See the review of the preliminary version of this article [Database theory, Proc. Int. Conf., Rome/Italy 1986, Lect. Notes Comput. Sci. 243, 31-53 (1986; Zbl 0643.68163)].
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4076686
zbMATH Keywords: logic programming
zbMATH Keywords: Horn clauses queries
zbMATH Keywords: fixed point computation
zbMATH Keywords: recursive query
zbMATH Keywords: binding
MaRDI profile type: Publication
full work available at URL: 0304-3975(86)90015-0
OpenAlex ID: W2163810897
cites work: On compiling queries in recursive first-order databases
cites work: A problem-oriented inferential database system
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Q3347338
cites work: Implementation of logical query languages for databases
cites work: The Semantics of Predicate Logic as a Programming Language
Wikidata QID: Q127065482
description: scientific article; zbMATH DE number 4076686