human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "barql collaborating through change"):
  Abstract: Applications such as Google Docs, Office 365, and Dropbox show a growing trend towards incorporating multi-user collaboration functionality into web applications. These collaborative applications share a need to efficiently express shared state, typically through a shared log abstraction. Extensive research efforts on log abstractions by the database, programming languages, and distributed systems communities have identified a variety of analysis techniques based on the algebraic properties of updates (i.e., pairwise commutativity, subsumption, and idempotence). Although these techniques have been applied to specific application domains, to the best of our knowledge, no attempt has been made to create a general framework for such analyses in the context of a non-trivial update language. In this paper, we introduce monadic logs, a semantically rich state abstraction that provides a powerful, expressive framework for reasoning about a variety of application state properties. We also define BarQL, a general purpose state-update language, and show how the monadic log abstraction allows us to reason about the properties of updates expressed in BarQL. Finally, we show how such analyses can be expressed declaratively using the SPARQL graph query language.

Includes members:
  Member "designing a commutative replicated data type":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "real differences between ot and crdt in correctness and complexity for consistency maintenance in co editors")
  Member "on the complexity of nonrecursive xquery and functional query languages on complex values":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "incremental view maintenance for collection programming")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.DB(Databases)