Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Incremental Database Design using UML-B and Event-B   Correct operation of many critical systems is dependent on the data
consistency and integrity properties of underlying databases. Therefore, a
verifiable and rigorous database design process is highly desirable. This
research aims to investigate and deliver a comprehensive and practical approach
for modelling databases in formal methods through layered refinements. The
methodology is being guided by a number of case studies, using abstraction and
refinement in UML-B and verification with the Rodin tool. UML-B is a graphical
representation of the Event-B formalism and the Rodin tool supports
verification for Event-B and UML-B. Our method guides developers to model
relational databases in UML-B through layered refinement and to specify the
necessary constraints and operations on the database.

37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin