An informal introduction to constraint database systems (extended abstract)

This publication has 76 references indexed in Scilit:

• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Query evaluation techniques for large databases
  ACM Computing Surveys, 1993
• Join processing in relational databases
  ACM Computing Surveys, 1992
• Magic templates: a spellbinding approach to logic programs
  The Journal of Logic Programming, 1991
• The GemStone object database management system
  Communications of the ACM, 1991
• A formal approach to object-oriented databases
  Data & Knowledge Engineering, 1990
• Third-generation database system manifesto
  ACM SIGMOD Record, 1990
• Embedding boolean expressions into logic programming
  Journal of Symbolic Computation, 1987
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984
• Query Optimization in Database Systems
  ACM Computing Surveys, 1984