Like any software artifact, conceptual schemas of information systems can be tested. Testing conceptual schemas has some similarities with testing programs, but there are important differences. We present a list of six kinds of tests that can be applied to conceptual schemas. Some of them require complete schemas comprising both the structural and the behavioral parts, but we show that it is us...

AbstrAct: Schema matching is a basic problem in many database application domains, such as data integration. The problem of schema matching can be formulated as follows, " given two schemas, S i and S j , find the most plausible correspondences between the elements of S i and S j , exploiting all available information, such as the schemas, instance data, and auxiliary sources " [24]. Given the ...

Extended Abstract 1 Introduction A program schema is an abstraction of a class of actual programs, in the sense that it represents their data-ow and control-ow, but does not contain (all) their actual computations or (all) their actual data structures. Program schemas have been shown to be useful in a variety of applications, such as proving properties of programs, teaching programming to novic...

An interesting topic on designing entity relationship (ER) schemas is how to transform ER schemas into knowledge bases (KBs) in description logics (DLs). It is significance in translations that one can use automated DL reasoning services to support the development and maintenance of correct ER schemas. This paper proposed a faithful translation, which translates ER schemas and ER models into KB...

Cognitive Flexibility and Coronavirus Anxiety: Mediating Role of Emotion Regulation Maladaptive Schemas