Logical Foundations for Similarity-Based Databases

  • Radim Belohlavek
  • Vilem Vychodil
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5667)


Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for development of solid foundations for such extensions, sometimes called similarity-based relational databases, has repeatedly been emphasized by leading database experts. This paper argues that, contrary to what may be perceived from the literature, solid foundations for similarity-based databases can be developed in a conceptually simple way. In this paper, we outline such foundations and develop in detail a part of the the facet related to similarity-based queries and relational algebra. The foundations are close in principle to Codd’s foundations for relational databases, yet they account for the main aspects of similarity-based data manipulation. A major implication of the paper is that similarity-based data manipulation can be made an integral part of an extended, similarity-based, relational model of data, rather than glued atop the classic relational model in an ad hoc manner.


Fuzzy Logic Relational Database Residuated Lattice Single Family Relational Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abiteboul, S., et al.: The Lowell database research self-assessment. Comm. ACM 48(5), 111–118 (2005)CrossRefGoogle Scholar
  2. 2.
    Bělohlávek, R., Vychodil, V.: Data tables with similarity relations: functional dependencies, complete rules and non-redundant bases. In: Li Lee, M., Tan, K.-L., Wuwongse, V. (eds.) DASFAA 2006. LNCS, vol. 3882, pp. 644–658. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Belohlavek, R., Opichal, S., Vychodil, V.: Relational algebra for ranked tables with similarities: properties and implementation. In: Berthold, M.R., Shawe-Taylor, J., Lavrač, N. (eds.) IDA 2007. LNCS, vol. 4723, pp. 140–151. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Belohlavek, R., Vychodil, V.: Codd’s relational model from the point of view of fuzzy logic. J. Logic and Computation (to appear)Google Scholar
  5. 5.
    Bosc, P., Kraft, D., Petry, F.: Fuzzy sets in database and information systems: status and opportunities. Fuzzy Sets and Syst. 156, 418–426 (2005)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Buckles, B.P., Petry, F.E.: Fuzzy databases in the new era. In: ACM SAC 1995, Nashville, TN, pp. 497–502 (1995)Google Scholar
  7. 7.
    Date, C.J.: Database Relational Model: A Retrospective Review and Analysis. Addison Wesley, Reading (2000)Google Scholar
  8. 8.
    Fagin, R.: Combining fuzzy information: an overview. ACM SIGMOD Record 31(2), 109–118 (2002)CrossRefGoogle Scholar
  9. 9.
    Gottwald, S.: Mathematical fuzzy logics. Bulletin for Symbolic Logic 14(2), 210–239 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)CrossRefzbMATHGoogle Scholar
  11. 11.
    Li, C., Chang, K.C.-C., Ilyas, I.F., Song, S.: RankSQL: Query Algebra and Optimization for Relational top-k queries. In: ACM SIGMOD 2005, pp. 131–142Google Scholar
  12. 12.
    Maier, D.: The Theory of Relational Databases. Computer Science Press, Rockville (1983)zbMATHGoogle Scholar
  13. 13.
    Prade, H., Testemale, C.: Generalizing database relational algebra for the treatment of incomplete or uncertain information and vague queries. Inf. Sci. 34, 115–143 (1984)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Raju, K.V.S.V.N., Majumdar, A.K.: Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems. ACM Trans. Database Systems 13(2), 129–166 (1988)CrossRefGoogle Scholar
  15. 15.
    Takahashi, Y.: Fuzzy database query languages and their relational completeness theorem. IEEE Trans. Knowledge and Data Engineering 5, 122–125 (1993)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Radim Belohlavek
    • 1
    • 2
  • Vilem Vychodil
    • 1
    • 2
  1. 1.T. J. Watson School of Engineering and Applied ScienceBinghamton University–SUNYBinghamtonUSA
  2. 2.Dept. Computer SciencePalacky University, OlomoucOlomoucCzech Republic

Personalised recommendations