scientific article

zbMath0643.68163MaRDI QIDQ3786036

Carlo Zaniolo, Domenico Saccà

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic programmingbindingfixed point computationHorn clauses queriesrecursive query

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Related Items (10)

One-sided recursions ⋮ A graph-based decomposition approach for recursive query processing ⋮ A counting algorithm for a cyclic binary query ⋮ Argument reduction by factoring ⋮ Efficient bottom-up execution of logic programs using abstract interpretation ⋮ Characterization and processing of simple prefixed-chain recursion ⋮ A transformation system for deductive database modules with perfect model semantics ⋮ Recursive query processing: The power of logic ⋮ A relational approach to logic programming: The extended Alexander method ⋮ Well-founded semantics and stratification for ordered logic programs

This page was built for publication: