Datalog++: A Basis for Active Object-Oriented Databases.
DOOD '97: Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases(1997)
关键词
Stable Model, Predicate Symbol, Active Rule, Deductive Database, Choice Goal
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络