Functional dependencies in horn clause queries

Mendelzon, A.O. and Wood, Peter (1991) Functional dependencies in horn clause queries. ACM Transactions on Database Systems 16 (1), pp. 33-51. ISSN 0362-5915.

Full text not available from this repository.

Official URL: https://doi.org/10.1145/103140.103142

Abstract

When a database query is expressed as a set of Horn clauses whose execution is by top-down resolution of goals, there is a need to improve the backtracking behavior 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.

Metadata

Item Type:	Article
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	25 Oct 2021 14:22
Last Modified:	09 Aug 2023 12:52
URI:	https://eprints.bbk.ac.uk/id/eprint/46343

Statistics

Archive Staff Only (login required)

Edit/View Item