Semantics and properties of existential quantifiers in deductive databases

DOI10.1016/0020-0190(93)90232-XMaRDI QIDQ685471zbMATH OpenOpenAlexFDO

Authors Sang-Ho Lee, Lawrence Henschen

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

acceptable ruledeductive databasesexistential quantifiersextended rulenull value

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 3917748
• Semantics and expressive power of nondeterministic constructs in deductive databases
• Universal (and existential) nulls
• Publication:3484349
• Conceptual schemas applied to deductive databases

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• Introduction to mathematical logic. Translated from the German by Diana Schmidt
• The Specialization of Programs by Theorem Proving
• Unit Refutations and Horn Sets

Cited in

(2)

• scientific article; zbMATH DE number 1378578 (Why is no real title available?)
• scientific article; zbMATH DE number 870410 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685471)