Mostra el registre d'ítem simple

Restriccions d'integritat en bases de dades deductives

dc.contributor.authorCostal Costa, Dolors
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2020-05-29T17:36:35Z
dc.date.available2020-05-29T17:36:35Z
dc.date.issued1988
dc.identifier.citationCostal, D. "Restriccions d'integritat en bases de dades deductives". 1988.
dc.identifier.urihttp://hdl.handle.net/2117/189560
dc.description.abstractThis work describes the theory and implementation of a general theorem-proving technique for checking integrity of deductive databases called "Consistency Method", and presents examples in order to study the aplicability, advantages and disadvantages of executing this technique directly in Prolog.
dc.format.extent30 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-88-27
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.lcshDeductive databases
dc.subject.otherConsistency method
dc.subject.otherBases de dades deductives
dc.titleRestriccions d'integritat en bases de dades deductives
dc.typeExternal research report
dc.subject.lemacBases de dades deductives
dc.contributor.groupUniversitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering
dc.rights.accessOpen Access
local.identifier.drac28572946
dc.description.versionPostprint (published version)
local.citation.authorCostal, D.


Fitxers d'aquest items

Thumbnail
Nom:
1400008482.pdf
Mida:
762,4Kb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple