摘要: Logic and databases have gone a long way together since the advent of relational databases. Already first basic query languages for beside algebra — tuple calculus domain are actually subset order predicate logic. Furthermore logic proved to be very adequate establishing sound theory
springer.com
core.ac.uk
uni-klu.ac.at 参考文章(29)
J. Eder, A. Rudloff, F. Matthes, J. W. Schmidt, Data construction with recursive set expressions International East/West Database Workshop. pp. 271- 293 ,(1990) , 10.1007/3-540-54141-1_15
Stefano Ceri, Letizia Tanca, Georg Gottlob, Logic programming and databases ,(1990)
Yehoshua Sagiv, On testing effective computability of magic programs international conference on deductive and object-oriented databases. pp. 244- 262 ,(1991) , 10.1007/3-540-55015-1_13
F. Cuppens, R. Demolombe, A Prolog-Relational DBMS Interface Using Delayed Evaluation. Proceedings of the Third International Conference on Data and Knowledge Bases#R##N#Improving Usability and Responsiveness. pp. 135- 148 ,(1988) , 10.1016/B978-1-4832-1313-2.50018-4
C L Chang, A Walker, PROSQL: a Prolog programming interface with SQL/DS Proceedings from the first international workshop on Expert database systems. pp. 233- 246 ,(1986)
S. Naqvi, S. Tsur, A logical language for data and knowledge bases Computer Science Press, Inc.. ,(1989)
Yehoshua Sagiv, François Bancilhon, David Maier, Jeffrey D. Ullman, Magic Sets and Other Strange Ways to Implement Logic Programs. symposium on principles of database systems. pp. 1- 15 ,(1986)
Francois Bancilhon, Raghu Ramakrishnan, Performance evaluation of data intensive logic programs Foundations of deductive databases and logic programming. pp. 439- 517 ,(1988) , 10.1016/B978-0-934613-40-8.50016-6
Michael Kifer, Eliezer L. Lozinskii, Filtering Data Flow in Deductive Databases international conference on database theory. pp. 186- 202 ,(1986) , 10.1007/3-540-17187-8_37
Jiawei Han, Ghassen Qadah, Chinying Chaou, The Processing and Evaluation of Transitive Closure Queries extending database technology. pp. 49- 75 ,(1988) , 10.1007/3-540-19074-0_47