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

Article

Chagrov, A.V. and Zakharyaschev, Michael (1991) The disjunction property of intermediate propositional logics. Studia Logica 50 (2), pp. 189-216. ISSN 0039-3215.

King, Peter J.H. and Small, C. (1991) Default databases and incomplete information. The Computer Journal 34 (3), pp. 239-244. ISSN 0010-4620.

Levene, Mark and Loizou, G. (1991) Correction to null values in nested relational databases by M.A. Roth, H.F. Korth, and A. Silberschatz. Acta Informatica 28 (6), pp. 603-605. ISSN 0001-5903.

Mendelzon, A.O. and Wood, Peter (1991) Functional dependencies in horn clause queries. ACM Transactions on Database Systems 16 (1), pp. 33-51. ISSN 0362-5915.

Book Section

Wood, Peter (1991) Syntactic characterizations of 1-bounded datalog. In: Delobel, C. and Kifer, M. and Masunaga, Y. (eds.) DOOD 91: Deductive and Object-Oriented Databases. Lecture Notes in Computer Science 566. Springer, pp. 208-225. ISBN 9783540550150.