Reasoning aspects in information systems and databases
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/375100
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
Deductive approaches are very impm·tant namely for reasoning and detecting inconsistencies in conceptual schema definition. Object-oriented approaches are very efficient in providing structuring mechanisms to conceptual schema development. We bring the two together adopting a logic framework for defining objects as well as their interactions and we presenta tableau system that allows the reasoning with objects as well as with object communities. This system is easy to use and is the basis of a theorem prover prototype.
CitacióGouveia, P.; Sernadas, C. Reasoning aspects in information systems and databases. 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. 201-223.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
4DAISD_10_Reasoning aspects in information.pdf | 1,097Mb | Visualitza/Obre |