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)

Review text

Controlled occurrences of existential quantifiers can enhance the expressive power of deductive databases without introducing a null value though existential quantifiers have been generally proposed to represent the null value (exists but unknown). In order to extend the expressive power, the paper considers two types of IDB, namely an acceptable rule and an extended rule, which can have existential quantifiers in the IDB in a restricted way such that no null value is introduced. We present the precise semantics of existential quantifiers in the IDB, and peculiar consequences associated with these rules in deductive databases. Among others, we provide the necessary and sufficient condition under which Horn databases with acceptable rules become indefinite. Major contribution of the paper is to provide a theoretic basis to researches on existential quantifiers of the deductive database applications.

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)