Declarative testing of logic databases
From MaRDI portal
Publication:1192187
DOI10.1016/0898-1221(91)90032-YzbMath0800.68370OpenAlexW2013942406MaRDI QIDQ1192187
Publication date: 27 September 1992
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0898-1221(91)90032-y
Database theory (68P15) Logic programming (68N17) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Cites Work