W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21467| Tytuł: | Armstrong’s Axioms |
| Autorzy: | Armstrong, William W. Nakamura, Yatsuka Rudnicki, Piotr |
| Data wydania: | 2003 |
| Data dodania: | 9-lis-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 11, Issue 1, Pages 39-51 |
| Abstrakt: | We present a formalization of the seminal paper by W. W. Armstrong [1] on functional dependencies in relational data bases. The paper is formalized in its entirety including examples and applications. The formalization was done with a routine effort albeit some new notions were defined which simplified formulation of some theorems and proofs. The definitive reference to the theory of relational databases is [15], where saturated sets are called closed sets. Armstrong’s “axioms” for functional dependencies are still widely taught at all levels of database design, see for instance [13]. |
| Afiliacja: | William W. Armstrong - Dendronic Decisions Ltd Edmonton Yatsuka Nakamura - Shinshu University Nagano Piotr Rudnicki - University of Alberta Edmonton |
| Sponsorzy: | This work has been supported by NSERC Grant OGP9207 and Shinshu Endowment Fund. |
| URI: | http://hdl.handle.net/11320/21467 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2003 University of Białystok This work is licensed under the Creative Commons License. |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2003, Volume 11, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Armstrong’s_Axioms.pdf | 106,74 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
