Checking functional consistency in deductive databases
From MaRDI portal
Publication:911816
DOI10.1016/0020-0190(90)90059-7zbMath0697.68096MaRDI QIDQ911816
Peter Peelman, Letizia Tanca, Jan Paredaens, Erik Lambrichts, Peter Nees
Publication date: 1990
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(90)90059-7
68T99: Artificial intelligence
68P20: Information storage and retrieval of data
68N01: General topics in the theory of software
Related Items
Uses Software
Cites Work