Inference of monotonicity constraints in Datalog programs

DOI10.1023/A:1018994409271zbMath0942.03040OpenAlexW1559764429MaRDI QIDQ1978016

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

zbMATH Keywords

Datalogdecision algorithmfunction-free logic programsentailment of monotonicity constraints

Mathematics Subject Classification ID

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

Related Items (2)

Checking functional consistency in deductive databases ⋮ Monotonic aggregation in deductive databases

Uses Software

• Datalog

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