The relational model of data and cylindric algebras
- 1 February 1984
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 28 (1) , 80-102
- https://doi.org/10.1016/0022-0000(84)90077-1
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Cylindric Set AlgebrasLecture Notes in Mathematics, 1981
- The equational theory of CA3 is undecidableThe Journal of Symbolic Logic, 1980
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979
- Equivalences among Relational ExpressionsSIAM Journal on Computing, 1979
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- Optimization of Single Expressions in a Relational Data Base SystemIBM Journal of Research and Development, 1976
- A relational model of data for large shared data banksCommunications of the ACM, 1970
- Nonfinitizability of classes of representable polyadic algebrasThe Journal of Symbolic Logic, 1969
- Nonfinitizability of classes of representable cylindric algebrasThe Journal of Symbolic Logic, 1969
- Undecidability of the homogeneous formulas of degree 3 of the predicate calculusStudia Logica, 1968