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: 7712
Venue: VLDB
Year: 1985
Pagerank: 4.8270439e-05
Overall Rank: 7,115 | 50.51%
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,417	Optimizing Existential Datalog Queries	1988	PODS	5.0717071e-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.00040645847

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
4,881	Translation And Optimization Of Logic Queries: The Algebraic Approach	1986	VLDB	5.8567721e-05
3,361	Functional Dependencies on Cyclic Database Schemes	1983	SIGMOD	7.1735665e-05
6,385	Propagating Functional Dependencies with Conditions	2008	VLDB	5.0875028e-05
1,529	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD	0.00011496686
13,059	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS	4.1945683e-05
4,169	Reasoning about Nested Functional Dependencies	1999	PODS	6.3905263e-05
12,877	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB	4.1945683e-05
25	Dependency Inference (Extended Abstract)	1987	VLDB	0.00083101742
485	A New Approach to Database Logic	1984	PODS	0.00022085103
2,279	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD	9.1162095e-05