Safety and Correct Translation of Relational Calculus Formulas
Summary: Simplifies definitions and proofs for the evaluable and allowed decidable subclasses of domain-independent relational calculus, with treatment of equality. Introduces a relational-algebra normal form and Dom-free transforms evaluable→allowed→RANF for correct translations, arguing evaluable may be the largest efficiently recognizable decidable subclass. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,189 | Independence of Logic Database Queries and Updates | 1990 | PODS | 0.00013441514 |
| 1,979 | Logic Programming as Constructivism: A Formalization and its Application to Databases | 1989 | PODS | 9.8794371e-05 |
| 3,010 | A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) | 1988 | SIGMOD | 7.7205569e-05 |
| 6,090 | Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited | 1989 | SIGMOD | 5.2148332e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 0 of 0 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,741 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010714223 |
| 8,954 | Understanding Queries by Conditional Instances | 2022 | SIGMOD | 4.4221863e-05 |
| 12,861 | Interpreting a Reconstructed Relational Calculus: Extended Abstract | 1993 | SIGMOD | 4.1945683e-05 |
| 172 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038808816 |
| 6,090 | Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited | 1989 | SIGMOD | 5.2148332e-05 |
| 4,881 | Translation And Optimization Of Logic Queries: The Algebraic Approach | 1986 | VLDB | 5.8567721e-05 |
| 6,382 | Finite Queries do not Have Effective Syntax | 1995 | PODS | 5.0890445e-05 |
| 4,379 | Safe Constraint Queries | 1998 | PODS | 6.2397591e-05 |
| 5,943 | Safety and Translation of Calculus Queries with Scalar Functions (Extended Abstract) | 1993 | PODS | 5.2629428e-05 |
| 4,346 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2725564e-05 |