1. Abiteboul, S., Hull, R., and Vianu, V., Foundations of Databases, Addison-Wesley, 1995.
2. Apt, K., Blair, H., and Walker, A., Towards a theory of declarative knowledge, in J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan-Kaufmann, 1988.
3. Barker, S., Security policy specification in logic, International Conference on Artificial Intelligence, 2000.
4. Barker, S., Protecting deductive databases from unauthorized retrievals, To Appear.
5. Bertino, E., Bettini, C., Ferrari, E., and Samarati, P., A temporal access control mechanism for database systems, IEEE Trans. on KDE, 8(1), 1996.