Semantics and properties of existential quantifiers in deductive databases

DOI10.1016/0020-0190(93)90232-XzbMath0778.68031OpenAlexW2090414536MaRDI QIDQ685471

Lawrence J. Henschen, Sang-Ho Lee

Publication date: 9 January 1994

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(93)90232-x

zbMATH Keywords

deductive databasesacceptable ruleexistential quantifiersextended rulenull value

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Introduction to mathematical logic. Translated from the German by Diana Schmidt
• Unit Refutations and Horn Sets
• The Specialization of Programs by Theorem Proving

This page was built for publication: Semantics and properties of existential quantifiers in deductive databases