Functional and Predicative programming in OODB's

Summary: Compares algebraic, calculus, and logic-programming query paradigms within a general object-oriented model supporting complex values and ADTs, and formalizes predicate-based vs functional database/query modes. Extends domain-independence and safety, proving expressive-power and equivalence results (domain-independent calculus vs a restricted algebra) to pinpoint the constraints required for language equivalence in OODBs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 964
Venue: PODS
Year: 1992
Pagerank: 6.7128479e-05
Overall Rank: 4,422 | 69.67%
DOI: 10.1145/137097.137863

Incoming Non-self Citations Over Time

Authors

1. Catriel Beeri (Hebrew University)
2. Tova Milo (Hebrew University)

BibTeX Citation

@inproceedings{beeri_pods92,
        address = {New York, NY, USA},
        series = {{PODS} '92},
        title = {{Functional and Predicative programming in OODB's}},
        url = {https://dl.acm.org/doi/10.1145/137097.137863},
        doi = {10.1145/137097.137863},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Beeri, Catriel and Milo, Tova},
        year = {1992}
}

Incoming Citations (Sorted by Pagerank)

Showing 10 of 10 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,001	Querying and Updating the File	1993	VLDB	0.00012714843
2,461	Towards Tractable Algebras for Bags (Extended Abstract)	1993	PODS	8.550394e-05
4,077	Similarity-Based Queries	1995	PODS	6.921027e-05
4,336	Languages for Relational Databases over Interpreted Structures	1997	PODS	6.7554436e-05
6,155	Safety and Translation of Calculus Queries with Scalar Functions (Extended Abstract)	1993	PODS	5.9566466e-05
7,260	On the Power of Algebras with Recursion	1993	SIGMOD	5.6612789e-05
8,562	New Data Models and Languages - the Challenge	1992	PODS	5.4119882e-05
13,024	Object Migration	1994	PODS	5.093636e-05
13,040	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB	5.093636e-05
13,052	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
1,864	The Expressiveness of a Family of Finite Set Languages	1991	PODS	9.5928463e-05
2,768	Modeling Complex Structures in Object-Oriented Databases	1989	PODS	8.1494361e-05
2,986	Tractable Query Languages for Complex Object Databases	1991	PODS	7.8912631e-05
4,149	Object-Oriented Specification of Databases: An Algebraic Approach	1987	VLDB	6.8707895e-05
6,383	A Functional Programming Approach to Deductive Databases	1991	VLDB	5.8914773e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,040	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
2	2,296	Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract)	1992	PODS
3	2,110	Theory of Database Queries (Extended Abstract)	1988	PODS
4	4,934	The Expressive Power of Structured Values in Pure OODB's (extended abstract)	1991	PODS
5	13,041	An Effective Deductive Object-Oriented Database Through Language Integration	1994	VLDB
6	2,825	Towards an Effective Calculus for Object Query Languages	1995	SIGMOD
7	6,563	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS
8	14,284	Procedures in Object-Oriented Query Languages	1995	VLDB
9	8,120	Formal Semantics and Analysis of Object Queries	2003	SIGMOD
10	3,128	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions	1989	SIGMOD