Inference of monotonicity constraints in Datalog programs
From MaRDI portal
Publication:1978016
DOI10.1023/A:1018994409271zbMath0942.03040MaRDI QIDQ1978016
Yehoshua Sagiv, Alexander Brodsky
Publication date: 7 June 2000
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Related Items
Monotonic aggregation in deductive databases, Checking functional consistency in deductive databases
Uses Software