Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Prolog as a Querying Language for MongoDB   Today's database systems have shown to be capable of supporting AI
applications that demand a lot of data processing. To this end, these systems
incorporate powerful querying languages that go far beyond the mere retrieval
of data, and provide sophisticated facilities for data processing as well. In
the case of SQL, the language has been even demonstrated to be Turing-complete
in some implementations of the language. In the area of NoSQL databases, a
widely adopted one nowadays is the MongoDB database. Queries in MongoDB
databases are represented as sequential stages within an aggregation pipeline
where each stage defines a transformation of the input data, and passes the
transformed data to the next stage. But aggregation queries tend to become
rather large for more complex computational problems, lack organization into
re-usable pieces, and are thus hard to debug and maintain. We propose a new
database querying language called Mongolog which is syntactically a subset of
the Prolog language, and we define its operational semantics through
translations into aggregation pipelines. To this end, we make use of and extend
the formal framework of the MQuery language which characterizes the aggregation
framework set-theoretically.

2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th