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: 1004
Venue: PODS
Year: 1993
Pagerank: 5.9566466e-05
Overall Rank: 6,155 | 57.78%
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,336	Languages for Relational Databases over Interpreted Structures	1997	PODS	6.7554436e-05
9,325	Semantic Assumptions and Query Evaluation in Temporal Databases	1995	SIGMOD	5.289545e-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
247	Some High-level Language Constructs for Data of Type Relation	1977	SIGMOD	0.00023302214
1,498	Safety of Recursive Horn Clauses With Infinite Relations	1987	PODS	0.00010567892
3,130	Language Constructs for Programming Active Databases	1991	VLDB	7.7250012e-05
3,797	On Implementing a Language for Specifying Active Database Execution Models	1993	VLDB	7.1176817e-05
4,422	Functional and Predicative programming in OODB's	1992	PODS	6.7128479e-05

Semantically Similar Papers

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