共 50 条
- [1] Tail recursion elimination in deductive databases [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1996, 21 (02): : 208 - 237
- [3] Reasoning About Data Provided By Federated Deductive Databases [J]. Journal of Intelligent Information Systems, 1998, 10 : 49 - 80
- [6] Clausal deductive databases and a general framework for semantics in disjunctive deductive databases [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, 2000, 1762 : 241 - 259
- [7] Using clausal deductive databases for defining semantics in disjunctive deductive databases [J]. Annals of Mathematics and Artificial Intelligence, 2001, 33 : 347 - 378
- [9] NONDETERMINISM IN DEDUCTIVE DATABASES [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 129 - 146