Foundations of aggregation in deductive databases

This publication has 11 references indexed in Scilit:

• Safety and translation of calculus queries with scalar functions
  Published by Association for Computing Machinery (ACM) ,1993
• Monotonic aggregation in deductive databases
  Published by Association for Computing Machinery (ACM) ,1992
• The valid model semantics for logic programs
  Published by Association for Computing Machinery (ACM) ,1992
• Naturally embedded query languages
  Published by Springer Nature ,1992
• The well-founded semantics of aggregation
  Published by Association for Computing Machinery (ACM) ,1992
• Minimum and maximum predicates in logic programming
  Published by Association for Computing Machinery (ACM) ,1991
• Automatic verification of database transaction safety
  ACM Transactions on Database Systems, 1989
• Safety of recursive Horn clauses with infinite relations
  Published by Association for Computing Machinery (ACM) ,1987
• Specification and verification of abstract database types
  Published by Association for Computing Machinery (ACM) ,1984
• A Course in Universal Algebra
  Published by Springer Nature ,1981