Incremental evaluation of Datalog queries

This publication has 16 references indexed in Scilit:

• Datalog expressiveness of chain queries
  Published by Association for Computing Machinery (ACM) ,1992
• Partial evaluation in logic programming
  The Journal of Logic Programming, 1991
• On the efficient computation of the difference between consecutive database states
  Published by Springer Nature ,1991
• Expressiveness of restricted recursive queries
  Published by Association for Computing Machinery (ACM) ,1989
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• 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
• Maintenance of stratified databases viewed as a belief revision system
  Published by Association for Computing Machinery (ACM) ,1987
• Amortized efficiency of a path retrieval data structure
  Theoretical Computer Science, 1986
• On-line computation of transitive closures of graphs
  Information Processing Letters, 1983