Items where Subject is "Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences"

Article

Chagrov, A.V. and Zakharyaschev, Michael (1992) Modal companions of intermediate propositional logics. Studia Logica 51 (1), pp. 49-82. ISSN 0039-3215.

Johnson, Roger and Lorentzos, N.A. (1992) Comments on 'extensions to SQL for historical databases'. IEEE Transactions on Knowledge and Data Engineering 4 (4), ISSN 1041-4347.

Levene, Mark and Loizou, G. (1992) Inferring null join dependencies in relational databases. BIT Numerical Mathematics 32 (3), pp. 413-429. ISSN 0006-3835.

Zakharyaschev, Michael (1992) Canonical formulas for K4, part 1: basic results. The journal of Symbolic Logic 57 (4), pp. 1377-1402. ISSN 0022-4812.

Book Section

Sutton, D.R. and King, Peter J.H. (1992) Integration of modal logic and the functional data model. In: Gray, P.M.D. and Lucas, R.J. (eds.) Advanced Database Systems, 10th British National Conference on Databases: BNCOD 10. Lecture Notes in Computer Science 618. Springer, pp. 156-174. ISBN 9783540556930.

Tuv, E. and Poulovassilis, Alex and Levene, Mark (1992) A storage manager for the hypernode model. In: Gray, P.M.D. and Lucas, R.J. (eds.) Advanced Database Systems: 10th British National Conference on Databases. Lecture Notes in Computer Science 618. Springer, pp. 59-77. ISBN 9783540556930.

Book

Levene, Mark (1992) The nested universal relation database model. Lecture Notes in Computer Science 595. Springer. ISBN 9783540554936.