Inference of monotonicity constraints in Datalog programs

DOI10.1023/A:1018994409271zbMATH Open0942.03040OpenAlexW1559764429MaRDI QIDQ1978016FDOQ1978016

Authors Alexander Brodsky, Yehoshua Sagiv

Publication date 7 June 2000

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018994409271

zbMATH Keywords

Datalogdecision algorithmfunction-free logic programsentailment of monotonicity constraints

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• Preservation of integrity constraints in definite DATALOG programs
• scientific article; zbMATH DE number 1926634
• Monotonic aggregation in deductive databases
• Datafun: a functional Datalog

Cited in

(9)

• scientific article; zbMATH DE number 1926634 (Why is no real title available?)
• Datalog with Negation and Monotonicity.
• Monotonic aggregation in deductive databases
• Order-consistent programs are cautiously monotonic
• Type inference for Datalog with complex type hierarchies
• Checking functional consistency in deductive databases
• Monadic Datalog Containment
• Mapping monotonic restrictions in inductive inference
• Preservation of integrity constraints in definite DATALOG programs

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Inference of monotonicity constraints in Datalog programs

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