Specifying dynamic and deontic integrity constraints
In the dominant view of knowledge bases (KB's), a KB is a set of facts (atomic sentences) and integrity...
Extracting generalization hierarchies from relational databases: A reverse engineering approach
Relational Data Base Management Systems (RDBMS) are currently the most popular database management systems. The relational model is a...
The XML Tree Model – toward an XML conceptual schema reversed from XML Schema...
XML Schema Definition (XSD) is the logical schemas of an XML model, but there is no standard format for...
Knowledge Engineering: Principles and methods
This paper gives an overview of the development of the field of Knowledge Engineering over the last 15 years....
Consistency of the static and dynamic components of object-oriented specifications
Object-oriented (OO) modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp...
Data schema design as a schema evolution process
In an information system a key role is played by the underlying data schema. This article starts out from...
Reasoning about ER models in a deductive environment
In this paper we present an approach to represent schema information, application data and integrity constraints as a logic...
A formalization of the Binary Object-Role Model based on logic
This paper proposes a formalization of the Binary Object-Role Model (B-ORM) based on a general logical formalism for data...
The intentional relationship of representation between the constructs of a language and reality
Specifications of conceptualisations (ontologies) are often employed for representing reality, both in knowledge representation and software engineering. While languages...
Consistency in model integration
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers...
