Fixpoint strategies for deductive databases

DOI10.1016/0166-218X(92)90278-IzbMath0681.68121OpenAlexW2046965564MaRDI QIDQ1823737

Irène Guessarian

Publication date: 1989

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0166-218x(92)90278-i

zbMATH Keywords

deductive databasesevaluation of recursive queriesfixpoint strategies

Mathematics Subject Classification ID

Partial orders, general (06A06) Complete lattices, completions (06B23) Specification and verification (program logics, model checking, etc.) (68Q60) Information storage and retrieval of data (68P20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Translation of logic programs into functional fixpoint equations
• Structure and complexity of relational queries
• A lattice-theoretical fixpoint theorem and its applications
• On compiling queries in recursive first-order databases

This page was built for publication: Fixpoint strategies for deductive databases