Safety and Translation of Calculus Queries with Scalar Functions (Extended Abstract)
Summary: Presents a calculus framework allowing scalar functions in relational-calculus queries via embedded (bounded-depth) domain independence and finiteness dependencies (FinDs) that express how function-bearing subformulas bound variable ranges. Translates pointwise scalar-function queries to a Heraclitus-subset algebra, proves safety/domain-independence by adapting a van Gelder–Topor algorithm, and introduces succinct reduced covers for FinDs to streamline translation and integration. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Martha Escobar-Molano
- 2. Richard Hull
- 3. Dean Jacobs
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,343 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2665123e-05 |
| 9,169 | Semantic Assumptions and Query Evaluation in Temporal Databases | 1995 | SIGMOD | 4.380727e-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 |
|---|---|---|---|---|
| 163 | Some High-level Language Constructs for Data of Type Relation | 1977 | SIGMOD | 0.0003980026 |
| 1,049 | Safety of Recursive Horn Clauses With Infinite Relations | 1987 | PODS | 0.00014426218 |
| 2,534 | Language Constructs for Programming Active Databases | 1991 | VLDB | 8.5864964e-05 |
| 2,748 | On Implementing a Language for Specifying Active Database Execution Models | 1993 | VLDB | 8.180685e-05 |
| 4,378 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.2329359e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 8,317 | Towards Practical Constraint Databases (Extended Abstract) | 1996 | PODS | 4.5392079e-05 |
| 12,856 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1905499e-05 |
| 3,043 | Tractable Query Languages for Complex Object Databases | 1991 | PODS | 7.6632326e-05 |
| 12,673 | String Operations in Query Languages | 2001 | PODS | 4.1905499e-05 |
| 8,816 | Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability | 2015 | PODS | 4.438964e-05 |
| 6,380 | Finite Queries do not Have Effective Syntax | 1995 | PODS | 5.0841675e-05 |
| 5,509 | Translating and Optimizing SQL Queries Having Aggregates | 1987 | VLDB | 5.4706803e-05 |
| 12,871 | Interpreting a Reconstructed Relational Calculus: Extended Abstract | 1993 | SIGMOD | 4.1905499e-05 |
| 4,376 | Safe Constraint Queries | 1998 | PODS | 6.233754e-05 |
| 3,242 | Safety and Correct Translation of Relational Calculus Formulas | 1987 | PODS | 7.3273992e-05 |