Restriccions d'integritat en bases de dades deductives
This 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...
| Autor: | |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 1988 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/189560 |
| Acceso en línea: | https://hdl.handle.net/2117/189560 |
| Access Level: | acceso abierto |
| Palabra clave: | Deductive databases Consistency method Bases de dades deductives Àrees temàtiques de la UPC::Informàtica |
| Sumario: | This 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. |
|---|