Login / Signup

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.

Susana NievaJaime Sánchez-HernándezFernando Sáenz-Pérez
Published in: FLOPS (2008)
Keyphrases
  • database language
  • relational databases
  • programming language
  • data model
  • horn clauses
  • logic programs
  • database schema
  • normal form
  • domain specific
  • functional dependencies