An enhanced inference mechanism for generating relational algebra queries

Yokota, Haruo; Kunifuji, Susumu; Kakuta, Takeo; Miyazaki, Nobuyoshi; Shibayama, Shigeki; Murakami, Kunio

doi:10.1145/588011.588045

Cited by 13 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, it should be possible to find such termination conditions, as only a finite number of tuples can be generated as answers to any query to a definite deductive database (function free, with a finite set of constants and consisting of only definite clauses). This problem has been studied by a number of authors [Chang 1981;Kunifuji and Yokota 1982;Minker and Nicolas 1982;Naqvi and Henschen 1984;Reiter 1978c;Shapiro and McKay 1980;Yokota et al 1983]. …”

Section: Inference Methods and Database Accessmentioning

confidence: 99%

“…Warren's approach to optimization is similar to the approach taken by Selinger et al [1979]. See Chakravarthy et al [1982] for a discussion of how a logic database may be interfaced with a relational database and related work by Kunifuji and Yokota [1982] and Yokota et al [1983]. Before leaving this extremely promising field, we note another use of constraints or general laws describing the domain of discourse in the query interpretation process.…”

Section: Query Optimizationmentioning

confidence: 99%

See 1 more Smart Citation

Logic and Databases: A Deductive Approach

1984

View full text Add to dashboard Cite

The purpose of this paper is to show that logic provides a convenient formalism for studying classical database problems. There are two main parts to the paper, devoted respectively to conventional databases and deductive databases. In the first part, we focus on query languages, integrity modeling and maintenance, query optimization, and data dependencies. The second part deals mainly with the representation and manipulation of deduced facts and incomplete information.

show abstract

Section: Inference Methods and Database Accessmentioning

confidence: 99%

Section: Query Optimizationmentioning

confidence: 99%