A FORMAL SYSTEM FOR PRODUCING DEMONS FROM RULES IN AN OBJECT-ORIENTED DATABASE

This publication has 8 references indexed in Scilit:

• A logic for object-oriented logic programming
  Published by Association for Computing Machinery (ACM) ,1989
• A model for a reflective object-oriented language
  Published by Association for Computing Machinery (ACM) ,1988
• Col: A logic-based language for complex objects
  Published by Springer Nature ,1988
• An amateur's introduction to recursive query processing strategies
  Published by Association for Computing Machinery (ACM) ,1986
• A New Approach to Database Logic.
  Published by Defense Technical Information Center (DTIC) ,1984
• Rete: A fast algorithm for the many pattern/many object pattern match problem
  Artificial Intelligence, 1982
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955