Information derivability analysis in logical information systems
- 1 November 1983
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 26 (11) , 933-938
- https://doi.org/10.1145/182.358450
Abstract
A method for performing derivability analysis of information sets is presented. The analysis is performed at a logical level, where only information sets and information processes are considered, abstracting from technical aspects. Our approach requires the definition of the system dictionary, which includes the conceptual schema of the information system and the precedence relationships. Information sets are defined in relation to the system dictionary. The method can be seen as a procedure that receives the system dictionary and the definition of inputs and outputs and, by means of a set of inference rules, gives as a result whether or not outputs are derivable from inputs. The basic approach of the method is inflependent of the data model and data manipulation language being used.Keywords
This publication has 6 references indexed in Scilit:
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979
- IAMPublished by Association for Computing Machinery (ACM) ,1977
- From information requirements to DBTG-data structuresPublished by Association for Computing Machinery (ACM) ,1976
- A methodology for the design and optimization of information processing systemsPublished by Association for Computing Machinery (ACM) ,1971
- A relational model of data for large shared data banksCommunications of the ACM, 1970
- An information algebraCommunications of the ACM, 1962