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: 7903
Venue: VLDB
Year: 1985
Pagerank: 5.5869408e-05
Overall Rank: 7,599 | 47.87%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Alberto O. Mendelzon (Computer Systems Research Institute; University of Toronto)

BibTeX Citation

@article{mendelzon_vldb85,
        title = {{Functional Dependencies in Logic Programs}},
        author = {Mendelzon, Alberto O.},
        journal = {PVLDB},
        series = {{VLDB} '85},
        pages = {324},
        year = {1985}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,307	Optimizing Existential Datalog Queries	1988	PODS	5.9196585e-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
357	An Optimizing Prolog Front-End to a Relational Query System	1984	SIGMOD	0.00020283734

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,634	Translation and Optimization of Logic Queries: The Algebraic Approach	1986	VLDB
2	3,527	Functional Dependencies on Cyclic Database Schemes	1983	SIGMOD
3	6,639	Propagating Functional Dependencies with Conditions	2008	VLDB
4	2,054	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD
5	13,259	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS
6	4,487	Reasoning about Nested Functional Dependencies	1999	PODS
7	13,071	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
8	203	Dependency Inference	1987	VLDB
9	544	A New Approach to Database Logic	1984	PODS
10	3,529	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD