An equivalence between indiscernibility relations in information systems and a fragment of intuitionistic logic

  • Cecylia M. Rauszer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 208)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    W.W. Armstrong, Dependency structures of database relationships, Proc. IFIP 74, North-Holland Publ. Co., Amsterdam, 1974, pp.580–583Google Scholar
  2. [2]
    E.F. Codd, A relational model of data for large shared data banks, Commun. ACM 13, 6 (June 1970), pp.377–387Google Scholar
  3. [3]
    A.Diego, Les algèbres de Hilbert, Paris (1966)Google Scholar
  4. [4]
    R. Fagin, Horn clauses and database dependencies, Journal of the ACM, Vol.29, No 4, (Oct. 1982), pp.952–985Google Scholar
  5. [5]
    G. Gentzen, Untersuchungen über das logische Schliessen I, II, Mathematische Zeitschrift, Vol. 39(1935), pp.176–210, 405–443.Google Scholar
  6. [6]
    W. Marek, Z. Pawlak, On information storage and retrieval systems, Theoretical Computer Science 1(1976), pp.331–354Google Scholar
  7. [7]
    Z. Pawlak, Information system theoretical foundations, Inform. Systems, Vol.6, No 3 (1981), pp.205–218Google Scholar
  8. [8]
    Z.Pawlak, Rough classification, CC PAS Reports, No 506, Warszawa 1983Google Scholar
  9. [9]
    Z.Pawlak, C.Rauszer, Dependency of attributes in information systems (to appear)Google Scholar
  10. [10]
    C.Rauszer, Algebraic properties of functional dependencies (to appear)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Cecylia M. Rauszer
    • 1
  1. 1.Department of MathematicsUniversity of WarsawWarsaw, PKiN IX p.Poland

Personalised recommendations