A Functional Programming Approach to Deductive Databases

Summary: Introduces PFL, a persistent functional language for deductive databases, combining higher-order functions, static typing, lazy evaluation, and user-defined types. Incrementally stored equations and updateable, invertible selectors support nested values, derivation rules, and database updates. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 8230
Venue: VLDB
Year: 1991
Pagerank: 5.8914773e-05
Overall Rank: 6,383 | 56.21%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Alexandra Poulovassilis (University College London)
2. Carol Small (Birkbeck College)

BibTeX Citation

@article{poulovassilis_vldb91,
        title = {{A Functional Programming Approach to Deductive Databases}},
        author = {Poulovassilis, Alexandra and Small, Carol},
        journal = {PVLDB},
        series = {{VLDB} '91},
        pages = {491},
        year = {1991}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,422	Functional and Predicative programming in OODB's	1992	PODS	6.7128479e-05
13,041	An Effective Deductive Object-Oriented Database Through Language Integration	1994	VLDB	5.093636e-05
13,071	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
15	The Functional Data Model and the Data Language DAPLEX	1979	SIGMOD	0.00061144858
355	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00020351749
702	PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract)	1988	PODS	0.00014855299
782	FAD, a Powerful and Simple Database Language	1987	VLDB	0.00014080876

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,105	A Non-deterministic Deductive Database Language	1991	SIGMOD
2	702	PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract)	1988	PODS
3	7,885	IDLOG: Extending the Expressive Power of Deductive Database Languages	1990	SIGMOD
4	4,203	An Expressive Language for Linear Spatial Database Queries (extended abstract)	1998	PODS
5	8,380	OFL: A Functional Execution Model for Object Query Languages	1995	SIGMOD
6	6,752	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB
7	2,783	Making Deductive Database a Practical Technology: a step forward	1990	SIGMOD
8	13,040	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
9	6,563	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS
10	13,071	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB