J92-2002 querying as subsumption ; the relational programming approach , which offers declarativity
hide detail