Dense-order constraint databases (extended abstract)

This publication has 18 references indexed in Scilit:

• The LyriC language
  Published by Association for Computing Machinery (ACM) ,1995
• Algebraic and calculus query languages for recursively typed complex objects
  Journal of Computer and System Sciences, 1993
• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
  Theoretical Computer Science, 1993
• On the expressive power of database queries with intermediate types
  Journal of Computer and System Sciences, 1991
• Constraint query languages (preliminary report)
  Published by Association for Computing Machinery (ACM) ,1990
• Extended algebra and calculus for nested relational databases
  ACM Transactions on Database Systems, 1988
• Fixed-point extensions of first-order logic
  Annals of Pure and Applied Logic, 1986
• Relational queries computable in polynomial time
  Information and Control, 1986
• Parity, circuits, and the polynomial-time hierarchy
  Theory of Computing Systems, 1984
• Computable queries for relational data bases
  Journal of Computer and System Sciences, 1980