On denotational semantics of data bases Conference

Rishe, N. (1986). On denotational semantics of data bases . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 239 LNCS 249-274. 10.1007/3-540-16816-8_36

cited authors

  • Rishe, N



  • A method of denotational formalization of data bases, of data base management systems, and of related structures is proposed, aiming to improve their understanding, specification and rigorous investigation. The method provides a uniform treatment of different information layers: from instantaneous data bases (the first layer), via schemata and integrity rules, to classes of data base models. It unifies in one mathematical notion the apparently different notions of the semantics of stored data, semantics of data base processes, conceptual semantics of data bases, integrity semantics of data bases and denotational semantics of languages. The unification is based on hierarchies of domains of continuous mappings between different representations of information (from "less semantic" representations into "more semantic" ones).

publication date

  • January 1, 1986

published in

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

start page

  • 249

end page

  • 274


  • 239 LNCS