UTILIZING FIRST-ORDER LOGIC IN QUERY PROCESSING.

Djamshid Asgari*, Lawrence Henschen

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The purpose of this research is to improve on the current membership algorithms and their applications in relational database model and information retrieval. A new technique is proposed which makes up for deficiencies in existing methods. This membership algorithm is based on full first-order logic, extending Sagiv's propositional calculus approach. Our technique does not assign one relation name (association) to all database dependencies like the representation of Nicolas. Finally, it may be used to improve relation schema design. Furthermore, we can utilize our technique to derive data retrieval programs for answering queries, an idea that has not previously appeared in the literature.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherACM
Pages147-154
Number of pages8
ISBN (Print)089791127X, 9780897911276
DOIs
StatePublished - Jan 1 1984

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'UTILIZING FIRST-ORDER LOGIC IN QUERY PROCESSING.'. Together they form a unique fingerprint.

Cite this