Métodos para la comprobación de la integridad en base de datos deductivas
La comprobación de la integridad es un problema clásico en bases de datos; los primeros métodos fueron propuestos para simplificar la comprobación de restricciones estáticas en bases de datos relacionales extendiéndose posteriormente a las bases de datos deductivas. Estos métodos se basan en la idea...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 1993 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | español |
| OAI Identifier: | oai:upcommons.upc.edu:2099/4032 |
| Acceso en línea: | https://hdl.handle.net/2099/4032 |
| Access Level: | acceso abierto |
| Palabra clave: | Computer systems Restricciones de integridad Bases de datos deducivas Ciències de la computació Classificació AMS::68 Computer science::68P Theory of data |
| Sumario: | La comprobación de la integridad es un problema clásico en bases de datos; los primeros métodos fueron propuestos para simplificar la comprobación de restricciones estáticas en bases de datos relacionales extendiéndose posteriormente a las bases de datos deductivas. Estos métodos se basan en la idea común de evaluar instancias de las restricciones, obtenidas a partir de actualizaciones inducidas por la transacción, y se diferencian entre sí en la estrategia seguida para la instanciación y evaluación de las restricciones. En este trabajo se presenta una clasificación de los métodos más importantes propuestos en la literatura haciendo un análisis de los mismos. |
|---|