ON ALGEBRAIC QUERY PROCESSING IN LOGICAL DATABASES.

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

6 Scopus citations

Abstract

The advantages of two possible logical interpretations of databases - the so-called proof theoretic and model theoretic approaches. These advantages are: computability of the answer for queries by means of relational algebra in the model theoretic approach and generality of the proof theoretic approach. A new general notion of an answer to a query is defined, and two types of tables (extended relations), previously introduced in order to represent incomplete information are examined from the point of view of their application for algebratization of the query answering process.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherPlenum Press
Pages285-318
Number of pages34
ISBN (Print)0306416360, 9780306416361
DOIs
StatePublished - 1984
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint

Dive into the research topics of 'ON ALGEBRAIC QUERY PROCESSING IN LOGICAL DATABASES.'. Together they form a unique fingerprint.

Cite this