Inference of monotonicity constraints in Datalog programs

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

Yehoshua Sagiv, Alexander Brodsky

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

Recommendations

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

zbMATH Keywords

Datalogdecision algorithmfunction-free logic programsentailment of monotonicity constraints

Mathematics Subject Classification ID

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

Cited In (8)

• Datalog with Negation and Monotonicity.
• Monotonic aggregation in deductive databases
• Monadic Datalog Containment
• Preservation of integrity constraints in definite DATALOG programs
• Title not available (Why is that?)
• Order-consistent programs are cautiously monotonic
• Checking functional consistency in deductive databases
• Mapping monotonic restrictions in inductive inference

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)