Qual é a estrutura de dados mais adequada para implementar a funcionalidade de verificação em tempo real da disponibilidade de produtos em um sistema de gerenciamento de estoque de produtos de informática adquiridos pelo Tribunal de Justiça do Estado do Maranhão?