bddbddb: BDD-Based Deductive Database
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 5.0/5 - 1 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre bddbddb: BDD-Based Deductive Database
Base de Dados Dedutivo Baseado em BDD, uma implementação do Datalog que utiliza diagramas de decisão binária como estrutura de dados subjacente. Isto permite-lhe representar relações de tamanho exponencial de forma eficiente.