On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases

This publication has 11 references indexed in Scilit:

• Datalog++: A basis for active object-oriented databases
  Published by Springer Nature ,1997
• On the partial semantics for disjunctive deductive databases
  Annals of Mathematics and Artificial Intelligence, 1997
• ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS
  Published by Springer Nature ,1995
• Active database rules with transaction-conscious stable-model semantics
  Published by Springer Nature ,1995
• Modular stratification and magic sets for Datalog programs with negation
  Journal of the ACM, 1994
• Efficient bottom-up computation of queries on stratified databases
  The Journal of Logic Programming, 1991
• Non-determinism in deductive databases
  Published by Springer Nature ,1991
• Every logic program has a natural stratification and an iterated least fixed point model
  Published by Association for Computing Machinery (ACM) ,1989
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Non-Deterministic Choice in Datalog
  Published by Elsevier ,1988