Аксиомы Алджорна (Armstrongs axioms)

<?xml version="1.0" encoding="UTF-8"?> <svg width="800px" height="800px" viewBox="0 0 73 73" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> <title>databases-and-servers/databases/armstrongs-axioms</title> <desc>Created with Sketch.</desc> <defs> </defs> <g id="databases-and-servers/databases/armstrongs-axioms" stroke="none" stroke-width="1" fill="none" fill-rule="evenodd"> <g id="container" transform="translate(2.000000, 2.000000)" fill="#FFFFFF" fill-rule="nonzero" stroke="#0C314A" stroke-width="2"> <rect id="mask" x="-1" y="-1" width="71" height="71" rx="14"> </rect> </g> <g id="gym" transform="translate(12.000000, 12.000000)" fill-rule="nonzero"> <path d="M23.6551724,11.8275862 C23.6551724,18.359737 18.359737,23.6551724 11.8275862,23.6551724 C5.29543539,23.6551724 0,18.359737 0,11.8275862 C0,5.29543539 5.29543539,0 11.8275862,0 C18.359737,0 23.6551724,5.29543539 23.6551724,11.8275862 Z" id="Shape" fill="#337EB0"> </path> <path d="M47.575591,25.3448276 C41.4555412,25.3448276 35.5862995,27.776182 31.2586207,32.1034483 C26.5926808,27.4375084 19.0280088,27.4375084 14.362069,32.1034483 L14.362069,19.4310345 L16.2113669,18.6088952 C17.640726,17.9732118 18.7169736,16.7393841 19.1530005,15.2365975 C19.5886147,13.7342235 19.339869,12.1159331 18.4731783,10.8136282 C17.4885086,9.33641734 15.8306169,8.44868835 14.0555714,8.44827586 C11.6893942,8.44786338 9.56164974,9.88836041 8.682996,12.0854071 L0,30.4137931 L0,38.0172414 L11.8275862,49 L49,49 L49,25.3448276 L47.575591,25.3448276 Z" id="Shape" fill="#FEC9A3"> </path> <path d="M0,32.9482759 L0,38.0172414 L11.8275862,49 L49,49 L49,43.9310345 L14.4821104,43.9310345 C12.7763672,43.930622 11.1341511,43.2854509 9.88464771,42.124638 L0,32.9482759 Z" id="Shape" fill="#FAC39B"> </path> <polygon id="Shape" fill="#F7BB8F" points="28.1268184 34.0406115 30.6613012 31.5061288 31.8559402 32.7007678 29.3214574 35.235663"> </polygon> <polygon id="Shape" fill="#FEDAC1" points="4.28807755 29.2439049 7.10595698 22.4852842 8.665258 23.1358179 5.84779095 29.8940261"> </polygon> <polygon id="Shape" fill="#FEDAC1" points="7.80887993 20.795629 8.51345304 19.1059739 10.0727539 19.7560951 9.36818095 21.4457503"> </polygon> <path d="M49,25.3448276 L47.575591,25.3448276 C42.6093413,25.3452401 37.775921,26.947855 33.7931034,29.9146519 L33.7931034,49 L49,49 L49,25.3448276 Z" id="Shape" fill="#F05D46"> </path> <path d="M49,49 L33.7931034,49 L33.7931034,43.9310345 C33.7931034,43.9310345 39.7068966,44.3534483 43.0862069,43.0862069 C45.2151889,42.2615924 47.208454,41.1226428 49,39.7068966 L49,49 Z" id="Shape" fill="#E3523B"> </path> <path d="M37.1724138,11.8275862 C37.1724138,18.359737 31.8769784,23.6551724 25.3448276,23.6551724 C18.8126768,23.6551724 13.5172414,18.359737 13.5172414,11.8275862 C13.5172414,5.29543539 18.8126768,0 25.3448276,0 C31.8769784,0 37.1724138,5.29543539 37.1724138,11.8275862 Z" id="Shape" fill="#388BC2"> </path> <path d="M32.9482759,11.8275862 C32.9482759,16.0269733 29.5442147,19.4310345 25.3448276,19.4310345 C21.1454405,19.4310345 17.7413793,16.0269733 17.7413793,11.8275862 C17.7413793,7.62819908 21.1454405,4.22413793 25.3448276,4.22413793 C29.5442147,4.22413793 32.9482759,7.62819908 32.9482759,11.8275862 Z" id="Shape" fill="#4398D1"> </path> <path d="M28.7241379,11.8275862 C28.7241379,13.6937971 27.2110385,15.2068966 25.3448276,15.2068966 C23.4786166,15.2068966 21.9655172,13.6937971 21.9655172,11.8275862 C21.9655172,9.96137527 23.4786166,8.44827586 25.3448276,8.44827586 C27.2110385,8.44827586 28.7241379,9.96137527 28.7241379,11.8275862 Z" id="Shape" fill="#CFCFCD"> </path> </g> </g> </svg>