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

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/1501

Type:	Relatório
Title:	Implementando uma máquina de inferências acoplada a bancos de dados extensionais
Author(s)/Inventor(s):	Silveira, Pedro Manoel da
Abstract:	Este artigo descreve uma implementação experimental experimental onde uma máquina de inferências, acoplada a um banco de dados extensional, foi utilizada na verificação de esquemas e reformulação de consultas. São apresentadas as motivações de tal experiência, a fundamentação teórica e uma descrição lógica da implementação.
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.
Keywords:	Inferência (Lógica) Banco de dados
Subject CNPq:	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS
Production unit:	Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais
In:	Relatório Técnico NCE
Issue:	0587
Issue Date:	30-Apr-1987
Publisher country:	Brasil
Language:	por
Right access:	Acesso Aberto
Citation:	SILVEIRA, P. M. Implementando uma máquina de inferências acoplada a bancos de dados extensionais. Rio de Janeiro: NCE, UFRJ, 1987. 19 p. (Relatório Técnico, 05/87)
Appears in Collections:	Relatórios

Files in This Item:

File	Description	Size	Format
05_87_000040331.pdf		1.26 MB	Adobe PDF	View/Open

Pantheon Institutional repository