Database Theory

Modality and Databases, Automated Reasoning with Analytic Tableaux and Related Methods, Springer Lecture Notes in Artificial Intelligence 1847, Roy Dyckhoff (ed), pp 19--39, 2000. Available electronically from Springer at http://dx.doi.org/10.1007/10722086_2

Databases and Higher Types, Computational Logic --- CL2000, Springer Lecture Notes in Artificial Intelligence 1861, John Lloyd et. al. (ed), pp 41--52, 2000. [© Springer-Verlag, URL: http://www.springer.de/comp/lncs/index.html]