Show simple item record

dc.contributor.authorMota Herranz, Laura
dc.contributor.authorCelma Giménez, Matilde
dc.date.accessioned2007-12-05T17:47:22Z
dc.date.available2007-12-05T17:47:22Z
dc.date.issued1993
dc.identifier.citationMota Herranz, Laura; Celma Giménez, Matilde. "Métodos para la comprobación de la integridad en base de datos deductivas". Qüestiió. 1993, vol. 17, núm. 1
dc.identifier.issn0210-8054 (versió paper)
dc.identifier.urihttp://hdl.handle.net/2099/4032
dc.description.abstractLa 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.
dc.format.extent28 p.
dc.language.isospa
dc.publisherInstitut d'Estadística de Catalunya
dc.rightsAttribution-NonCommercial-NoDerivs 2.5 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/es/
dc.subject.lcshComputer systems
dc.subject.otherRestricciones de integridad
dc.subject.otherBases de datos deducivas
dc.titleMétodos para la comprobación de la integridad en base de datos deductivas
dc.typeArticle
dc.subject.lemacCiències de la computació
dc.subject.amsClassificació AMS::68 Computer science::68P Theory of data
dc.rights.accessOpen Access
upcommons.ordre2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Except where otherwise noted, content on this work is licensed under a Creative Commons license: Attribution-NonCommercial-NoDerivs 2.5 Spain