The generalized counting method for recursive logic queries

DOI10.1016/0304-3975(86)90015-0MaRDI QIDQ1111779zbMATH OpenOpenAlexWikidataFDO

Authors Domenico Saccà, Carlo Zaniolo

Publication date 1988

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(86)90015-0

zbMATH Keywords

bindinglogic programmingfixed point computationHorn clauses queriesrecursive query

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Cites work

• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• A problem-oriented inferential database system
• Implementation of logical query languages for databases
• On compiling queries in recursive first-order databases
• The Semantics of Predicate Logic as a Programming Language

Cited in

(5)

• Inherent complexity of recursive queries
• Well-founded semantics and stratification for ordered logic programs
• A counting algorithm for a cyclic binary query
• Testing logic programs for local stratification
• The pushdown method to optimize chain logic programs

This page was built for publication: The generalized counting method for recursive logic queries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1111779)