Functional Dependencies in Logic Programs

Summary: Automates cut-based backtracking in logic-programmed database access by inferring from functional dependencies. Uses data-flow analysis to determine bound variables at query time, enabling safer, faster backtracking without extra-logical operators. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7713
Venue: VLDB
Year: 1985
Pagerank: 4.8224118e-05
Overall Rank: 7,114 | 50.56%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Alberto O. Mendelzon

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,412	Optimizing Existential Datalog Queries	1988	PODS	5.0668361e-05

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
154	An Optimizing Prolog Front-End to a Relational Query System	1984	SIGMOD	0.00040747653

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
4,884	Translation And Optimization Of Logic Queries: The Algebraic Approach	1986	VLDB	5.8511369e-05
3,367	Functional Dependencies on Cyclic Database Schemes	1983	SIGMOD	7.1665323e-05
6,385	Propagating Functional Dependencies with Conditions	2008	VLDB	5.0826969e-05
1,552	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD	0.00011393892
13,071	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS	4.1905499e-05
4,166	Reasoning about Nested Functional Dependencies	1999	PODS	6.3843679e-05
12,887	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB	4.1905499e-05
485	A New Approach to Database Logic	1984	PODS	0.00022061287
25	Dependency Inference (Extended Abstract)	1987	VLDB	0.00083070519
2,512	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD	8.6162269e-05