human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Deductive databases for computing certain and consistent answers from mediated data integration systems"):
  Abstract: We address the problem of retrieving certain and consistent answers to queries posed to a mediated data integration system under the local-as-view paradigm with open sources and conjunctive and disjunctive view definitions. For obtaining certain answers a query program is run under the cautious stable model semantics on top of a normal deductive database with choice operator that specifies the class of minimal legal instances of the integration system. This methodology works for all monotone Datalog queries. To compute answers to queries that are consistent with respect to given global integrity constraints, the specification of minimal legal instances is combined with another disjunctive deductive database that specifies the repairs of those legal instances. This allows to retrieve the answers to any Datalog ¬ query that are consistent with respect to global universal and referential integrity constraints.

Includes members:
  Member "Security analysis of cryptographically controlled access to XML documents":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Entropy based nearest neighbor search in high dimensions")
  Member "Consistent query answering in databases":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Declarative entity resolution via matching dependencies and answer set programs")

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science