A Problem of Domain Restriction in Data Bases a Logical Approach

Article type: Research Article

Authors: Jankowski, Andrzej W. | Rauszer, Cecylia

Affiliations: Institute of Mathematics, University of Warsaw

Abstract: The paper deals with the mathematical description of information systems with a limited access to a data base. Similarly as in [1] an area to which the user has access is called his priority. The information systems introduced in the paper are mathematical models for an intermediate logic with logical constants that corresponds to the priorities. The principles for operating this language are described, as well as a complete semantics is formulated.

Keywords: data base, formal language, completeness

DOI: 10.3233/FI-1985-8102

Journal: Fundamenta Informaticae, vol. 8, no. 1, pp. 1-25, 1985