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)

Paper ID: h354823019f5f69c8
Venue: PODS
Year: 1993
Pagerank: 5.8229958e-05
Overall Rank: 6,286 | 57.74%
DOI: 10.1145/153850.153909

Incoming Non-self Citations Over Time

Authors

1. Martha Escobar-Molano (University of Southern California)
2. Richard Hull (University of Southern California)
3. Dean Jacobs (University of Southern California)

BibTeX Citation

@inproceedings{escobarmolano_pods93,
        address = {New York, NY, USA},
        series = {{PODS} '93},
        title = {{Safety and Translation of Calculus Queries with Scalar Functions (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/153850.153909},
        doi = {10.1145/153850.153909},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Escobar-Molano, Martha and Hull, Richard and Jacobs, Dean},
        year = {1993}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,426	Languages for Relational Databases over Interpreted Structures	1997	PODS	6.6038751e-05
9,504	Semantic Assumptions and Query Evaluation in Temporal Databases	1995	SIGMOD	5.1708619e-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
263	Some High-level Language Constructs for Data of Type Relation	1977	SIGMOD	0.00022811354
1,534	Safety of Recursive Horn Clauses With Infinite Relations	1987	PODS	0.00010331296
3,185	Language Constructs for Programming Active Databases	1991	VLDB	7.556677e-05
3,864	On Implementing a Language for Specifying Active Database Execution Models	1993	VLDB	6.9626898e-05
4,523	Functional and Predicative programming in OODB's	1992	PODS	6.56223e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	8,726	Towards Practical Constraint Databases (Extended Abstract)	1996	PODS
2	13,330	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
3	3,046	Tractable Query Languages for Complex Object Databases	1991	PODS
4	13,147	String Operations in Query Languages	2001	PODS
5	8,982	Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability	2015	PODS
6	6,409	Finite Queries do not Have Effective Syntax	1995	PODS
7	6,055	Translating and Optimizing SQL Queries Having Aggregates	1987	VLDB
8	13,345	Interpreting a Reconstructed Relational Calculus: Extended Abstract	1993	SIGMOD
9	4,317	Safe Constraint Queries	1998	PODS
10	3,817	Safety and Correct Translation of Relational Calculus Formulas	1987	PODS