On the efficient computation of the difference between consecutive database states

This publication has 21 references indexed in Scilit:

• Logic Programming and Databases
  Published by Springer Nature ,1990
• Drawing updates from derivations
  Published by Springer Nature ,1990
• Signed data dependencies in logic programs
  The Journal of Logic Programming, 1989
• A path finding method for constraint checking in deductive databases
  Data & Knowledge Engineering, 1989
• A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
  Published by Springer Nature ,1988
• Integrity constraint checking in stratified databases
  The Journal of Logic Programming, 1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• The BANG file: A new kind of grid file
  Published by Association for Computing Machinery (ACM) ,1987
• Making prolog more expressive
  The Journal of Logic Programming, 1984
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984