Mètodes de validació d'esquemes de bases de dades deductives
Schema validation is becoming one of the most important problems in database engineering. By validation we mean the process of checking whether a database schema correctly and adequately describes the users' intended needs and requirements. In this paper we present and discuss six different met...
| Autor: | |
|---|---|
| Formato: | informe técnico |
| Fecha de publicación: | 1996 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | catalán |
| OAI Identifier: | oai:upcommons.upc.edu:2117/97108 |
| Acesso em linha: | https://hdl.handle.net/2117/97108 |
| Access Level: | acceso abierto |
| Palavra-chave: | Schema validation Database schema Schema satisfiability Predicate liveliness Reachability Redundancy Integrity constraint specifications Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació::Bases de dades |
| Resumo: | Schema validation is becoming one of the most important problems in database engineering. By validation we mean the process of checking whether a database schema correctly and adequately describes the users' intended needs and requirements. In this paper we present and discuss six different methods handling schema validation in the deductive database field. All these methods define and check some desirable/undesirable properties that a database schema should/should not satisfy: schema satisfiability, liveliness of a predicate, satisfy: schema satisfiability, liveliness of a predicate, reachability of a formula and redundancy of integrity constraint specifications. |
|---|