参考文章(15)
David S. Warren, Terrance Swift, An abstract machine for SLG resolution: definite programs international conference on logic programming. pp. 633- 652 ,(1994)
S. Sudarshan, Praveen Seshadri, Raghu Ramakrishnan, Divesh Srivastava, Coral++: Adding Object-Orientation to a Logic Database Language very large data bases. pp. 158- 170 ,(1993)
S. Naqvi, S. Tsur, A logical language for data and knowledge bases Computer Science Press, Inc.. ,(1989)
Inderpal Singh Mumick, Kenneth A. Ross, Noodle: A language for declarative querying in an object-oriented database international conference on deductive and object-oriented databases. pp. 360- 378 ,(1993) , 10.1007/3-540-57530-8_24
Georg Lausen, Heinz Uphoff, Juergen Frohn, Access to Objects by Path Expressions and Rules very large data bases. pp. 273- 284 ,(1994)
Anthony J. Bonner, Michael Kifer, An overview of transaction logic Theoretical Computer Science. ,vol. 133, pp. 205- 265 ,(1994) , 10.1016/0304-3975(94)90190-2
Raghu Ramakrishnan, Jeffrey D. Ullman, A survey of deductive database systems Journal of Logic Programming. ,vol. 23, pp. 125- 149 ,(1995) , 10.1016/0743-1066(94)00039-9
Jayen Vaghanl, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland, The aditi deductive database system very large data bases. ,vol. 3, pp. 245- 288 ,(1994) , 10.1007/BF01228882
Michael Kifer, Georg Lausen, James Wu, Logical foundations of object-oriented and frame-based languages Journal of the ACM. ,vol. 42, pp. 741- 843 ,(1995) , 10.1145/210332.210335
Konstantinos Sagonas, Terrance Swift, David S. Warren, XSB as an efficient deductive database engine Proceedings of the 1994 ACM SIGMOD international conference on Management of data - SIGMOD '94. ,vol. 23, pp. 442- 453 ,(1994) , 10.1145/191839.191927