Abstract
Roughly, we define a redundant relation in a database instance (dbi) as a k-ary relation R such that there is a first-order query which evaluated in the reduced dbi, gives us R. So, we can eliminate that relation R as long as the equivalence classes of the relation of equality of the first-order types for all k-tuples in the dbi are not altered. It turns out that in a fixed dbi, the problem of deciding whether a given relation in the dbi is redundant is decidable, though intractable. We then study redundant relations with a restricted notion of equivalence so that the problem becomes tractable.
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
Abiteboul, S., Papadimitriou, C., Vianu, V.: Reflective Relational Machines. Information and Computation 143, 110–136 (1998)
Babai, L., Erdös, P., Selkow, S.: Random Graph Isomorphism. SIAM Journal on Computing 9, 628–635 (1980)
Chandra, A.K., Harel, D.: Computable Queries for Relational Data Bases. Journal of Computer and System Sciences 21(2), 156–178 (1980)
Dawar, A.: Feasible Computation Through Model Theory. Ph.D. thesis, University of Pennsylvania, Philadelphia (1993)
Ebbinghaus, H.D., Flum, J.: Finite Model Theory, 2nd edn. Springer, Heidelberg (1999)
Grohe, M., Mariño, J.: Definability and Descriptive Complexity on Databases of Bounded Tree-Width. In: Beeri, C., Bruneman, P. (eds.) ICDT 1999. LNCS, vol. 1540, pp. 70–82. Springer, Heidelberg (1998)
Grohe, M.: Equivalence in Finite Variable Logics is Complete for Polynomial Time. In: Proceedings of 37th IEEE Symposium on Foundations of Computer Science, pp. 264–273 (1996)
Hella, L., Kolaitis, P., Luosto, K.: Almost Everywhere Equivalence of Logics in Finite Model Theory. The Bulletin of Symbolic Logic 2(4), 422–443 (1996)
Immerman, N., Lander, E.: Describing Graphs: A First Order Approach to Graph Canonization. In: Selman, A. (ed.) Complexity Theory Retrospective, pp. 59–81. Springer, Heidelberg (1990)
Otto, M.: The Expressive Power of Fixed Point Logic with Counting. Journal of Symbolic Logic 61(1), 147–176 (1996)
Otto, M.: Bounded Variable Logics and Counting. Springer, Heidelberg (1997)
Turull Torres, J.M.: A Study of Homogeneity in Relational Databases. Annals of Mathematics and Artificial Intelligence 33(2), 379–414 (2001); Erratum in Annals of Mathematics and Artificial Intelligence 42, 443–444 (2004)
Turull Torres, J.M.: Relational Databases and Homogeneity in Logics with Counting. Acta Cybernetica 17(3), 485–511 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferrarotti, F.A., Paoletti, A.L., Turull Torres, J.M. (2009). First-Order Types and Redundant Relations in Relational Databases. In: Heuser, C.A., Pernul, G. (eds) Advances in Conceptual Modeling - Challenging Perspectives. ER 2009. Lecture Notes in Computer Science, vol 5833. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04947-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-04947-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04946-0
Online ISBN: 978-3-642-04947-7
eBook Packages: Computer ScienceComputer Science (R0)