Formalising the network and hierarchical data models — an application of categorical Logic

Publisher Website

1 January 1986

book chapter
Published by Springer Nature

p. 466-492
https://doi.org/10.1007/3-540-17162-2_138

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Generalised algebraic theories and contextual categories
Published by Elsevier ,2003
An implementation technique for database query languages
ACM Transactions on Database Systems, 1982
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems, 1981
A relational model of data for large shared data banks
Communications of the ACM, 1970
Data structure diagrams
ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 1969
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
Proceedings of the National Academy of Sciences, 1963