1. S. Abiteboul, R. Hull, 1988, Data functions, Datalog and negation, Proceedings of the ACM-SIGMOD International Conference on Management of Data
2. Towards a theory of declarative knowledge;Apt,1988
3. W. W. Armstrong, 1974, Dependency structures of data base relationships, Proceedings of the IFIP Congress
4. A. Brodsky, Y. Sagiv, 1990, On termination of datalog programs, Proceedings of the First International Conference on Deductive and Object-Oriented Databases, W. KimJ. M. NicolasS. Nishio, Elsevier, Amsterdam
5. Logic Programming and Databases;Ceri,1990