Banco de dados em grafos : uma conversão para restrições pseudo-booleanas

Abstract

Com o avanço da tecnologia e da necessidade de aramazenamento de dados, é imprescindível para empresas a utilização de bancos de dados. Os bancos de dados (BDs) possuem diversas abordagens, como, por exemplo o modelo relacional. Dentre as abordagens, destaca-se a orientada a grafos, usada em empresas de grande porte, como o LinkeIn. O BD orientado a grafos possui uma vantagem de utilização para a empresa LinkedIn, pois tem o modelo de armazenamento em um formato único, o qual permite atualizações em tempo constante, bem como possibilita a realização de consultas específicas, de muito interesse e com maior facilidade. Tendo em vista tal sistema, o objetivo desse trabalho é transcrever um grafo, bem como suas consultas, para um modelo de restrições pseudo-Booleanas e, após aplicado em um resolvedor, verificar o desempenho e consistência do modelo proposto.