Consistency verification of deductive database schemes
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/375252
Tipus de documentText en actes de congrés
Data publicació1993
EditorUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Abstract
A deductive database scheme consists of a set of base predicate schemes and a set of possibly non Horn clauses. A database can be considered as a particular instance of a given scheme. Clearly, a property that must be held by any scheme is logical consistency. We also propose other related properties (non-trivial consistency, strong consistency and P-consistency). These properties are requirements which are reasonable and meaningful in many practical cases. For verifying the various forms of consistency, we discuss a method whose centerpiece is a theorem prover which is an instance of a linear-resolution-based paradigm for first-order lheories, called SL* resolution.
CitacióMarqués, F.; Casamayor, J.C. Consistency verification of deductive database schemes. A: "Proceedings of the 4th International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993, p. 287-307.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
4DAISD_14_Conistency verification of deductive.pdf | 1,115Mb | Visualitza/Obre |