### Abstract

A semantics of propositional logic is given to describe functional dependencies (FDs) and boolean dependencies (BDs). Armstrong relations are characterized for both FDs and BDs. In the case of FDs propositional logic is applied to find Armstrong relations and keys. BDs are not Armstrong dependencies. The problem to decide if a given BD has an Armstrong relation is shown to be an NP-hard problem. For BDs keys and covers are viewed as keysets. An algorithm to find keysets is given.

Original language | English |
---|---|

Title of host publication | MFDBS 1991 - 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Proceedings |

Publisher | Springer Verlag |

Pages | 230-242 |

Number of pages | 13 |

ISBN (Print) | 9783540540090 |

DOIs | |

Publication status | Published - Jan 1 1991 |

Event | 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, MFDBS 1991 - Rostock, Germany Duration: May 6 1991 → May 9 1991 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 495 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Other

Other | 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, MFDBS 1991 |
---|---|

Country | Germany |

City | Rostock |

Period | 5/6/91 → 5/9/91 |

### Fingerprint

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

### Cite this

*MFDBS 1991 - 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Proceedings*(pp. 230-242). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 495 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-54009-1_17

**On the representation of dependencies by propositional logic.** / Demetrovics, J.; Rónyai, L.; Son, Hua Nam.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*MFDBS 1991 - 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Proceedings.*Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 495 LNCS, Springer Verlag, pp. 230-242, 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, MFDBS 1991, Rostock, Germany, 5/6/91. https://doi.org/10.1007/3-540-54009-1_17

}

TY - GEN

T1 - On the representation of dependencies by propositional logic

AU - Demetrovics, J.

AU - Rónyai, L.

AU - Son, Hua Nam

PY - 1991/1/1

Y1 - 1991/1/1

N2 - A semantics of propositional logic is given to describe functional dependencies (FDs) and boolean dependencies (BDs). Armstrong relations are characterized for both FDs and BDs. In the case of FDs propositional logic is applied to find Armstrong relations and keys. BDs are not Armstrong dependencies. The problem to decide if a given BD has an Armstrong relation is shown to be an NP-hard problem. For BDs keys and covers are viewed as keysets. An algorithm to find keysets is given.

AB - A semantics of propositional logic is given to describe functional dependencies (FDs) and boolean dependencies (BDs). Armstrong relations are characterized for both FDs and BDs. In the case of FDs propositional logic is applied to find Armstrong relations and keys. BDs are not Armstrong dependencies. The problem to decide if a given BD has an Armstrong relation is shown to be an NP-hard problem. For BDs keys and covers are viewed as keysets. An algorithm to find keysets is given.

UR - http://www.scopus.com/inward/record.url?scp=0242563368&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0242563368&partnerID=8YFLogxK

U2 - 10.1007/3-540-54009-1_17

DO - 10.1007/3-540-54009-1_17

M3 - Conference contribution

AN - SCOPUS:0242563368

SN - 9783540540090

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 230

EP - 242

BT - MFDBS 1991 - 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Proceedings

PB - Springer Verlag

ER -