Implementando uma máquina de inferências acoplada a bancos de dados extensionais

Abstract

This article describes an experimental implementation where an inference machine, coupled to an extensional database, was used for schema verification and query reformulation. We present the motivation behind such experience, it's theorical fundaments and logical description.