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.0001342924 |
| 1,983 | Logic Programming as Constructivism: A Formalization and its Application to Databases | 1989 | PODS | 9.8694826e-05 |
| 3,012 | A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) | 1988 | SIGMOD | 7.7129076e-05 |
| 6,094 | Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited | 1989 | SIGMOD | 5.2099705e-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,738 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010704219 |
| 8,958 | Understanding Queries by Conditional Instances | 2022 | SIGMOD | 4.417947e-05 |
| 173 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038731283 |
| 12,871 | Interpreting a Reconstructed Relational Calculus: Extended Abstract | 1993 | SIGMOD | 4.1905499e-05 |
| 6,094 | Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited | 1989 | SIGMOD | 5.2099705e-05 |
| 4,884 | Translation And Optimization Of Logic Queries: The Algebraic Approach | 1986 | VLDB | 5.8511369e-05 |
| 6,380 | Finite Queries do not Have Effective Syntax | 1995 | PODS | 5.0841675e-05 |
| 4,376 | Safe Constraint Queries | 1998 | PODS | 6.233754e-05 |
| 5,946 | Safety and Translation of Calculus Queries with Scalar Functions (Extended Abstract) | 1993 | PODS | 5.2578843e-05 |
| 4,343 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2665123e-05 |