Functional dependencies in logic programs

Authors:
Alberto O. Mendelzon
Affiliations:
-
Venue:
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Year:
1985

Citing 6
Cited 1

Foundations of logic programming

Foundations of logic programming
On integrating logic programming and databases

Proceedings from the first international workshop on Expert database systems
Towards an integrated database-Prolog system

Proceedings from the first international workshop on Expert database systems
On database systems development through logic

ACM Transactions on Database Systems (TODS)
Implementation of logiclal query languages for databases (abstract only)

SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
An optimizing prolog front-end to a relational query system

SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data

Regular Article: Implication problems for functional constraints on databases supporting complex objects

Proceedings of the 30th IEEE symposium on Foundations of computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract

When logic programming is used for database access, there is a need to improve the backtracking behaviour of the interpreter. Rather than putting on the programmer the onus of using extra-logical operators such as cut to improve performance, we show that some uses of the cut can be automated by inferring them from functional dependencies. This requires some knowledge of which variables are guaranteed to be bound at query execution time; we give a method for deriving such information using data flow analysis.