Inference of monotonicity constraints in Datalog programs

DOI10.1023/A:1018994409271MaRDI QIDQ1978016zbMATH OpenOpenAlexFDO

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 algorithmentailment of monotonicity constraintsfunction-free logic programs

Mathematics Subject Classification ID

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

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

(10)

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

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)