An algebraic evaluation method for deduction in incomplete data bases

DOI10.1016/0743-1066(88)90009-XzbMath0647.68111OpenAlexW2019751800MaRDI QIDQ3792287

Luis Fariñas del Cerro, Robert Demolombe

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0743-1066(88)90009-x

zbMATH Keywords

relational algebraincomplete databasesdeductive data basesHorn clause theoriesSkolem constants

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Information storage and retrieval of data (68P20)

Related Items

Intuitionistic interpretation of deductive databases with incomplete information