Simple Epistemic Logic for Relational Database

Authors:
Guillermo Morales-Luna
Affiliations:
-
Venue:
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Year:
2002

Citing 5
Cited 1

Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Security-control methods for statistical databases: a comparative study

ACM Computing Surveys (CSUR)
Database management: concepts, design, and practice

Database management: concepts, design, and practice
Simple conditions for guaranteeing higher normal forms in relational databases

ACM Transactions on Database Systems (TODS)
A Logical Model for Privacy Protection

ISC '01 Proceedings of the 4th International Conference on Information Security

Properties of a relational framework synthesized over a set of semantically atomic predicates

Cybernetics and Systems Analysis

Quantified Score

Hi-index	0.00

Visualization

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.