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)
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,021 | Querying and Updating the File | 1993 | VLDB | 0.0001243944 |
| 2,515 | Towards Tractable Algebras for Bags (Extended Abstract) | 1993 | PODS | 8.3644485e-05 |
| 4,166 | Similarity-Based Queries | 1995 | PODS | 6.7666324e-05 |
| 4,426 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.6038751e-05 |
| 6,286 | Safety and Translation of Calculus Queries with Scalar Functions (Extended Abstract) | 1993 | PODS | 5.8229958e-05 |
| 7,411 | On the Power of Algebras with Recursion | 1993 | SIGMOD | 5.534276e-05 |
| 8,729 | New Data Models and Languages - the Challenge | 1992 | PODS | 5.2905577e-05 |
| 13,314 | Object Migration | 1994 | PODS | 4.9793485e-05 |
| 13,330 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.9793485e-05 |
| 13,342 | A Logical Semantics for Object-Oriented Databases | 1993 | SIGMOD | 4.9793485e-05 |
Previous
Page 1 / 1
Next
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,919 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 9.3781849e-05 |
| 2,825 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS | 7.9679646e-05 |
| 3,046 | Tractable Query Languages for Complex Object Databases | 1991 | PODS | 7.7144804e-05 |
| 4,227 | Object-Oriented Specification of Databases: An Algebraic Approach | 1987 | VLDB | 6.7166275e-05 |
| 6,514 | A Functional Programming Approach to Deductive Databases | 1991 | VLDB | 5.7592884e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 13,330 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB |
| 2 | 2,349 | Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract) | 1992 | PODS |
| 3 | 2,150 | Theory of Database Queries (Extended Abstract) | 1988 | PODS |
| 4 | 5,053 | The Expressive Power of Structured Values in Pure OODB's (extended abstract) | 1991 | PODS |
| 5 | 13,331 | An Effective Deductive Object-Oriented Database Through Language Integration | 1994 | VLDB |
| 6 | 2,887 | Towards an Effective Calculus for Object Query Languages | 1995 | SIGMOD |
| 7 | 6,689 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) | 1994 | PODS |
| 8 | 14,595 | Procedures in Object-Oriented Query Languages | 1995 | VLDB |
| 9 | 8,300 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD |
| 10 | 3,183 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD |