Deductive databases

This publication has 14 references indexed in Scilit:

• Making deductive databases a practical technology: a step forward
  Published by Association for Computing Machinery (ACM) ,1990
• The LDL system prototype
  IEEE Transactions on Knowledge and Data Engineering, 1990
• Logic Programming and Databases
  Published by Springer Nature ,1990
• A logic for object-oriented logic programming
  Published by Association for Computing Machinery (ACM) ,1989
• F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
  Published by Association for Computing Machinery (ACM) ,1989
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• The generalized counting method for recursive logic queries
  Theoretical Computer Science, 1986
• On the evaluation strategy of EDUCE
  Published by Association for Computing Machinery (ACM) ,1986
• Magic sets and other strange ways to implement logic programs (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1985