Đưa ra điều kiện cần và đủ để một quan hệ bất kỳ là quan hệ Armstrong của một sơ đồ mạnh. Một thuật toán hữu hiệu tìm một quan hệ Armstrong của một sơ đồ mạnh cho trước G=(U, S) cũng được đưa ra (nghĩa là Sr= S+, ở đây Sr là họ đầy đủ của các phụ thuộc mạnh của r, cả S+ là tập tất cả các phụ thuộc mạnh được suy dẫn từ S bởi hệ tiên đề, tiếp đó đánh giá thuật toán này. Độ phức tạp của thuật toán này là đa thức theo /U/ và /S/.