Login / Signup

Decidable Properties of Monadic Functional Schemas.

Edward A. AshcroftZohar MannaAmir Pnueli
Published in: J. ACM (1973)
Keyphrases
  • datalog programs
  • datalog queries
  • databases
  • deductive databases
  • database schema