Skip to main content
SpringerLink
Log in
Book cover

Mexican International Conference on Artificial Intelligence

MICAI 2002: MICAI 2002: Advances in Artificial Intelligence pp 234–241Cite as

Simple Epistemic Logic for Relational Database

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2313))

Abstract

We use a simple epistemic logic to pose problems related to relational database design. We use the notion of attribute dependencies, which is weaker than the notion of functional dependencies, to perform design tasks since it satisfies Armstrong axioms. We discuss also the application of the simple epistemic logic to privacy protection and to statistical disclosure.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. R. Adam, J.C. Wortmann, Security-Control Methods for Statistical Databases: A Comparative Study, ACM Computing Surveys, 21, 4, 515–556, 1989.

    Article  Google Scholar 

  2. C. Date, R. Fagin, Simple conditions for guaranteeing higher normal forms in relational database, ACM Trans. on Database System, vol. 17, no. 3, Sept. 1992.

    Google Scholar 

  3. Tsan-sheng Hsu, Churn-Jung Liau. A logical model for privacy protection. Lecture Notes in Computer Science, 2200: 110–124, 2001.

    Google Scholar 

  4. C. Meadows, Open issues in formal methods for cryptographic protocol analysis, In Proceedings of DISCEX 2000, pages 237–250. IEEE Comp. Society Press, 2000.

    Google Scholar 

  5. O. Ore, R.J. Wilson, Graphs and their uses, MAA, New Math Library, 1990.

    Google Scholar 

  6. E. Ozkarahan, Database management: Concepts, design and practice, Prentice Hall, 1990.

    Google Scholar 

  7. J. D. Ullman, Principles of database and knowledge-base systems, Computer Science Press, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programa de Ingeniería Molecular, Instituto Mexicano del Petróleo, on leave of absence from Computer Science Section, CINVESTAV-IPN, Av. I. P. N. 2508, 07300, Mexico City, Mexico

    Guillermo Morales-Luna

Authors
  1. Guillermo Morales-Luna
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Section, Electrical Engineering Department, CINVESTAV-IPN, Av. IPN 2508, Col. San Pedro Zacatenco, D.F. 07300, Mexico, Mexico

    Carlos A. Coello Coello

  2. Computer Science Department, ITESM-Mexico City, Calle del Puente 222, Tlalpan, D.F. 14380, Mexico, Mexico

    Alvaro de Albornoz

  3. Computer Science Department, ITESM-Cuernavaca, Reforma 182-A, Lomas de Cuernavaca, Temixco, 62589, Morelos, Mexico

    Luis Enrique Sucar

  4. Department of Computer Science, ITAM, Rio Hondo 1, Progreso Tizapan, D.F. 01000, Mexico, Mexico

    Osvaldo Cairó Battistutti

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Morales-Luna, G. (2002). Simple Epistemic Logic for Relational Database. In: Coello Coello, C.A., de Albornoz, A., Sucar, L.E., Battistutti, O.C. (eds) MICAI 2002: Advances in Artificial Intelligence. MICAI 2002. Lecture Notes in Computer Science(), vol 2313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46016-0_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-46016-0_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43475-7

  • Online ISBN: 978-3-540-46016-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation