Integrity constraints in logic databases

DOI10.1016/0743-1066(85)90020-2zbMath0583.68057OpenAlexW2006838440MaRDI QIDQ3706527

Maurizio Martelli, P. Asirelli, Michele de Santis

Publication date: 1985

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(85)90020-2

zbMATH Keywords

Horn clauseslogic programming

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20)

Related Items

Improved exact algorithms for MAX-SAT, An operator for composing deductive data bases with theories of constraints, Active integrity constraints for general-purpose knowledge bases, Algorithms for the maximum satisfiability problem