This volume constitutes the proceedings of the 12th British National Conference on Databases (BNCOD-12), held at Surrey, Guildford in July 1994. they are organized in chapters on temporal databases, formal approaches, parallel databases, object-oriented databases, and distributed databases.

Managing open systems now that the glass-house has gone.- Knowledge reuse through networks of large KBS.- Expressing temporal behaviour with extended ECA rules.- Temporal databases: an event oriented approach.- Object comprehensions: A query notation for object-oriented databases.- Expressivity of typed logic paradigms for object-oriented databases.- Algebraic computation of the weak well-founded model for general deductive databases.- Benchmarking parallel SQL database machines.- Branching Transactions: A transaction model for parallel database systems.- A strategy for semantic integrity enforcement in a parallel database machine.- On interface objects in object-oriented databases.- Efficient access to FDM objects stored in a relational database.- A conceptual language for querying object oriented data.- The Jupiter system: A prototype for multidatabase interoperability.- A model for heterogeneous distributed database systems.