Abstract
We consider two versions of the relational algebra: (a) the attribute relational algebra, based on the natural join and relations with columns corresponding to attributes, and (b) the positional relational algebra, based on the cross product and relation with an order on the columns, and with any column identified by its position in that order. For the attribute relational algebra, we show that both the equivalence and the finite equivalence (i.e., equivalence over finite relations only) of expressions involving just one ternary relation and the operators of projection, selection, join and difference, are undecidable. For the positional relational algebra, we show that both the equivalence and finite equivalence of expressions involving just one binary relation and the operators of projection, selection, cross product, restriction and difference, are undecidable.
On leave from the Institute of Computer Science, Polish Academy of Sciences.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aho, A. V., Sagiv, Y., and Ullman, J. D. [1979] “Equivalence among Relational Expressions”, SIAM Journal of Computing 8, 2 (1979) 218–246.
Church, A. [1936] “A Note on the Entscheidungs Problem”,J. Symbolic Logic 1 ,1 (1936) 40–41; correction, 1, 101–102.
Codd, E. F. [1972] “Relational Completeness of Data Base Sublanguages”. In: Data Base Systems (R. Rustin, Ed.), Prentice-Hall, Englewood Cliffs, New Jersey, 65–98.
Gurevich, Y. [1966] “The Word Problem for Certain Classes of Semigroups”, Algebra i Logika 5 (1966) 25–35 (in Russian).
Imielinski, T., and Lipski, W. [1982] “The Relational Model of Data and Cylindric Algebras,” ACM SIGACT-SIGMOD Symp. on Principles of Database Systems ,Los Angeles, March 1982. (Final version received too late to be included in the formal proceedings: see ICS PAS Report 446, Warsaw, Aug. 1981.)
Imielinski, T., and Lipski, W. [1982] “A Technique for Translating States between Database Schemata,” ACM SIGMOD Internat. Conf. on Management of Data ,Orlando, Florida, June 1982, 61–68.
Jaskowski, S. [1948] “Sur les Variables Propositionnelles Dependantes,” Studia Societatis Scientiarum Torunensis Sec. A 1 (1948) 17–21.
Kalmar, L. [1936] “Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären, Funktionsvariablen, Compositio Math. 4 ,1 (1936) 137–144.
Lewis, H.R., and Papadimitriou, C. H. [1981] Elements of the Theory of Computation ,Prentice-Hall, Inc., Englewood Cliffs, New Jersey.
Maddux, R. [1980] “The Equational Theory of CA3 is Undecidable,” J. Symbolic Logic 45 (1980) 311–316.
Monk, J. D. [1976] Mathematical Logic ,Springer-Verlag, N.Y.
Mortimer, M. [1975] “On Languages with Two Variables”, Zeitschritt Math. Logik Grundlag. Math. 21 (1975) 135–140.
Pieczkowski, A. [1968] Undecidability of the Homogeneous Formulas of Degree 3 of the Predicate Calculus, Studia Logica 22 (1968) 7–16.
Post, E.L. [1947] “Recursive Unsolvability of a Problem of Thue”, Journal Symbolic Logic 12 ,1 (1947) 1–11.
Scott, D. [1962] “A Decision Method for Validity of Sentences in Two Variables”, Journal of Symbolic Logic 27 ,4 (1962) 477.
Solomon, M.K. [1979] Some Properties of Relational Expressions, ACM South-East Regional Conference (April 1979) 111–116.
Trakhtenbrot, B.A. [1950] “Impossibility of an Algorithm for the Decision Problem in Finite Classes”, Doklady Akademii Nauk SSSR 70 (1950) 569–572; translated in: Amer. Math. Soc. Transl. Ser. 2 ,23 (1963) 1–5.
Turing, A.M. [1937] “On Computable Numbers, with an Application to the Entscheidungsproblem”, Proc. London Math. Soc. 42 ,1 (1937) 230–265; correction 43, 544–546.
Ullman, J.D. [1980] Principles of Database Systems ,Computer Science Press, Potomac, MD.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Plenum Press, New York
About this chapter
Cite this chapter
Imielinski, T., Lipski, W. (1984). On the Undecidability of Equivalence Problems for Relational Expressions. In: Gallaire, H., Minker, J., Nicolas, J.M. (eds) Advances in Data Base Theory. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-9385-0_13
Download citation
DOI: https://doi.org/10.1007/978-1-4615-9385-0_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4615-9387-4
Online ISBN: 978-1-4615-9385-0
eBook Packages: Springer Book Archive