Author:
Rodríguez-Corvea Laureano,Rodríguez Ida,González-González Luisa,Pérez-Vásquez Ramiro,Silverio-Castro Rogelio
Abstract
En el trabajo hacemos un estudio de las limitaciones de los sistemas de gestión de base de datos (SGBD) y de los conceptos fundamentales de la teoría de las demostraciones, la cual constituye la base teórica de los SGBD deductivos, que son los que superan en cierta forma las limitantes de los SGBD tradicionales. Además se describe la herramienta que se diseñó e implementó para poder hacer consultas deductivas utilizando una estrategia de acoplamiento débil, en los SGBD de la familia xBase.
Reference21 articles.
1. ABRIAL, J. R: "Data semantica·. In Klimbie, J, W. K. and Koffeman, K.L. Data Management Systems. Amsterdam; North Holland. 1974.
2. AGRAWAL Rakezh: "Alpha An Extension of Regional Algebra to Express a Class of Recursive Queries·. IEEE Trans. on Software Eng. Vol. 14. No. 7, 1988.
3. Arity Corporation. Arity/Prolog. Interprete and Complier. Donirno Drive. Concord M.A .. Development Corporation. 1988.
4. Arity Corporation. The Arity/Prolog. Language Reference Manual. Donirno Orive. Concord M.A. Development Corporation. 1987.
5. Base de Datos y Sistemas Expertos. La Habana. 1991.