A sound and complete query evaluation for implicit predicate which is a semantic descriptor of unknown values

DOI10.1016/0020-0190(91)90029-HzbMath0749.68028OpenAlexW2028291095MaRDI QIDQ1183411

Yoon Joon Lee, Jae Dong Yang

Publication date: 28 June 1992

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

Full work available at URL: https://doi.org/10.1016/0020-0190(91)90029-h

zbMATH Keywords

information retrievaldeductive databasesunknown values

Mathematics Subject Classification ID

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

Related Items (1)

A uniform framework for deductive processing of fuzzy information

Cites Work

• The Specialization of Programs by Theorem Proving

This page was built for publication: A sound and complete query evaluation for implicit predicate which is a semantic descriptor of unknown values