Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/1501
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSilveira, Pedro Manoel da-
dc.date.accessioned2017-03-06T14:31:40Z-
dc.date.available2023-12-21T03:02:42Z-
dc.date.issued1987-04-30-
dc.identifier.citationSILVEIRA, 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)pt_BR
dc.identifier.urihttp://hdl.handle.net/11422/1501-
dc.description.abstractThis 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.en
dc.languageporpt_BR
dc.relation.ispartofRelatório Técnico NCEpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectInferência (Lógica)pt_BR
dc.subjectBanco de dadospt_BR
dc.titleImplementando uma máquina de inferências acoplada a bancos de dados extensionaispt_BR
dc.typeRelatóriopt_BR
dc.description.resumoEste 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.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionaispt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOSpt_BR
dc.citation.issue0587pt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Relatórios

Files in This Item:
File Description SizeFormat 
05_87_000040331.pdf1.26 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.