Abstract
The existence of Armstrong-instances of bounded domains is investigated for specific key systems. This leads to the concept of Armstrong(q,k,n)-codes. These are q-ary codes of length n, minimum distance n − k + 1 and have the property that for any possible k − 1 coordinate positions there are two codewords that agree exactly there. We derive upper and lower bounds on the length of the code as function of q and k. The upper bounds use geometric arguments and bounds on spherical codes, the lower bounds are probabilistic.
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., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
Alon, N., Spencer, J.: The Probabilistic Method. John Wiley and Sons, Chichester (2002)
Armstrong, W.W.: Dependency structures of database relationships. Information Processing, 580–583 (1974)
Demetrovics, J.: On the equivalence of candidate keys with Sperner systems. Acta Cybernetica 4, 247–252 (1979)
Demetrovics, J., Füredi, Z., Katona, G.O.H.: Minimum matrix reperesentation of closure operetions. Discrete Applied Mathematics 11, 115–128 (1985)
Demetrovics, J., Gyepesi, G.: A note on minimum matrix reperesentation of closure operetions. Combinatorica 3, 177–180 (1983)
Demetrovics, J., Katona, G.: Extremal combinatorial problems in relational data base. In: Gecseg, F. (ed.) FCT 1981. LNCS, vol. 117, pp. 110–119. Springer, Heidelberg (1981)
Demetrovics, J., Katona, G., Sali, A.: The characterization of branching dependencies. Discrete Applied Mathematics 40, 139–153 (1992)
Demetrovics, J., Katona, G., Sali, A.: Design type problems motivated by database theory. Journal of Statistical Planning and Inference 72, 149–164 (1998)
Demetrovics, J., Katona, G.O.H.: A survey of some combinatorial results concerning functional dependencies in databases. Annals of Mathematics and Artificial Intelligence 7, 63–82 (1993)
Fagin, R.: Horn clauses and database dependencies. Journal of the Association for Computing Machinery 29(4), 952–985 (1982)
Füredi, Z.: Perfect error-correcting databases. Discrete Applied Mathematics 28, 171–176 (1990)
Katona, G.O.H., Sali, A., and Schewe, K.-D.: Codes that attain minimum distance in all possible directions. Central European J. Math. (2007)
Hartmann, S., Link, S., Schewe, K.-D.: Weak functional dependencies in higher-order datamodels. In: Seipel, D., Turull-Torres, J.M. (eds.) FoIKS 2004. LNCS, vol. 2942. Springer, Heidelberg (2004)
Rankin, R.: The closest packing of spherical caps in n dimensions. Proceedings of the Glagow Mathematical Society 2, 145–146 (1955)
Sali, A.: Minimal keys in higher-order datamodels. In: Seipel, D., Turull-Torres, J.M.a (eds.) FoIKS 2004. LNCS, vol. 2942. Springer, Heidelberg (2004)
Sali, A., Schewe, K.-D.: Counter-free keys and functional dependencies in higher-order datamodels. Fundamenta Informaticae 70, 277–301 (2006)
Sali, A., Schewe, K.-D.: Keys and Armstrong databases in trees with restructuring. Acta Cybernetica (2007)
Silva, A., Melkanoff, M.: A method for helping discover the dependencies of a relation. In: Gallaire, H., Minker, J., Nicolas, J.-M. (eds.) Advances in Data Base Theory, vol. 1. Plenum Publishing, New York (1981)
Thalheim, B.: The number of keys in relational and nested relational databases. Discrete Applied Mathematics 40, 265–282 (1992)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sali, A., Székely, L. (2008). On the Existence of Armstrong Instances with Bounded Domains. In: Hartmann, S., Kern-Isberner, G. (eds) Foundations of Information and Knowledge Systems. FoIKS 2008. Lecture Notes in Computer Science, vol 4932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77684-0_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-77684-0_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77683-3
Online ISBN: 978-3-540-77684-0
eBook Packages: Computer ScienceComputer Science (R0)