Semantics and properties of existential quantifiers in deductive databases

Sang Ho Lee*, Lawrence Joseph Henschen

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Scopus citations
Original languageEnglish (US)
Pages (from-to)101-108
Number of pages8
JournalInformation Processing Letters
Issue number2
StatePublished - Aug 20 1993


  • Databases
  • automatic theorem proving
  • database systems
  • deductive databases

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Cite this